231 search results - page 6 / 47 » Continuity controlled hybrid automata |
HYBRID
2001
Springer
15 years 1 months ago
2001
Springer
HYBRID
1995
Springer
15 years 1 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
ENTCS
2007
14 years 9 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...