Modeling and verification of hybrid systems with clocked and unclocked events

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2001, Pages 762-767

  Silva, B Izaias ^a   Krogh, Bruce H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL METHODS; JITTER; SAMPLED DATA CONTROL SYSTEMS; SWITCHING;

HYBRID SYSTEMS;

COMPUTER CONTROL SYSTEMS;

EID: 0035709088     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. The theory of hybrid automata
2. Modeling and verification of sampled-data hybrid systems
3. A calculus for hybrid sampled data systems, formal techniques in real-time and fault-tolerant systems
4. Qualitative modelling of linear dynamical systems with quantized state measurements
5. Hybrid automata with finite bisimulations
6. Modeling and verifying hybrid dynamic systems using CheckMate
7. Formal verification of hybrid systems using CheckMate: A case study
8. Verification of infinite-state dynamic systems using approximate quotient transition systems
9. Supervisory control of hybrid systems