12115 search results - page 113 / 2423 » Bisimulation of Dynamical Systems |
125
Voted
KESAMSTA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
121
Voted
MCU
2004
15 years 5 months ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
134
Voted
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
128
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
113
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
We introduce the controlled predictive linearGaussian model (cPLG), a model that uses predictive state to model discrete-time dynamical systems with real-valued observations and v...