824 search results - page 76 / 165 » Model-Based Monitoring of Dynamic Systems |
106
click to vote
ENTCS
2007
15 years 2 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
121
click to vote
EUMAS
2006
15 years 4 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
136
Voted
INFOCOM
1997
IEEE
15 years 7 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
119
click to vote
UAI
1998
15 years 4 months ago
1998
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...
139
click to vote
EVOW
2009
Springer
15 years 21 days ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...