172 search results - page 15 / 35 » Controllers for Discrete Event Systems via Morphisms |
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper proposes a method for the stabilization of vehicle formations in the plane under a fixed, but not necessarily complete, sensing graph. In this method each agent acts to ...
115
click to vote
ISCAS
1999
IEEE
15 years 4 months ago
1999
IEEE
The subject of controlling an integrator via a communication network finds many applications in modern control systems. Stability conditions in closed form are derived for the ari...
GI
2007
Springer
15 years 5 months ago
2007
Springer
: This paper gives a short overview of the multiagent-based simulation system PlaSMA. The system provides distributed discrete event simulation with conservative synchronisation. P...
DEDS
2007
14 years 11 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
115
click to vote
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...