Continuity and invariance in hybrid automata

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2001, Pages 340-345

  Lygeros, John ^a   Johansson, Karl Henrik ^a   Simić, Slobodan N ^a   Zhang, Jun ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Continuity; Dynamical systems; Hybrid systems; LaSalle's Invariance Principle

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; HYBRID COMPUTERS; INVARIANCE; MATHEMATICAL MODELS;

HYBRID AUTOMATA;

AUTOMATA THEORY;

EID: 0035710572     PISSN: 01912216     EISSN: None     Source Type: Journal    
DOI: 10.1109/CDC.2001.980123     Document Type: Article

References (10)

1. On the existence of executions of hybrid automata
2. Zeno hybrid systems
3. Differential automata and their discrete simulators
4. Dynamical systems revisited: Hybrid systems with Zeno executions
5. Complementarity modeling of hybrid systems
6. Characterization of well-posedness of piecewise linear systems
7. Regularity of solutions and homotopy equivalence for hybrid systems
8. Stability theory for ordinary differential equations