12115 search results - page 113 / 2423 » Bisimulation of Dynamical Systems |
KESAMSTA
2010
Springer
14 years 19 hour 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...
MCU
2004
13 years 11 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...
CODES
1998
IEEE
14 years 2 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...
BMCBI
2007
13 years 10 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...
ICML
2006
IEEE
14 years 11 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...