4693 search results - page 8 / 939 » Verifying Hybrid Systems |
126
click to vote
HYBRID
1998
Springer
15 years 4 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....
104
Voted
MSIW
1989
15 years 4 months ago
1989
147
click to vote
KI
2010
Springer
14 years 7 months 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...
98
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
87
Voted
AUTOMATICA
2007
15 years 7 days ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...