4689 search results - page 98 / 938 » Analysis and modeling of control tasks in dynamic systems |
220
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
158
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
151
click to vote
HCW
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
172
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
153
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a distributed version of our previous work, called SAFDetection, which is a sensor analysisbased fault detection approach that is used to monitor tightlycou...