Hybrid Systems II
Towards a stability theory of general hybrid dynamical systems
Automatica (Journal of IFAC)
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Towards Computing Phase Portraits of Polygonal Differential Inclusions
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Denotational semantics of hybrid automata
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Static analysis for state-space reduction of polygonal hybrid systems
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
A homology theory for hybrid systems: hybrid homology
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
| Hi-index | 0.01 |
The main purpose of this paper is to introduce a new framework for a global, geometric study of hybrid systems, and demonstrate its usefulness through its application to the analysis of the Zeno phenomenon and stability of hybrid equilibria.