4434 search results - page 13 / 887 » On the Composition of Hybrid Systems |
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
218
click to vote
KI
2010
Springer
15 years 25 days ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
187
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
180
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...