Hybrid I/O Automata Revisited
- 21 March 2001
- book chapter
- Published by Springer Nature
- p. 403-417
- https://doi.org/10.1007/3-540-45351-2_33
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Reactive modulesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the formal verification of the TCAS conflict resolution algorithmsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Strings of vehicles: Modeling and safety conditionsPublished by Springer Nature ,1998
- Formal verification of safety-critical hybrid systemsPublished by Springer Nature ,1998
- Modularity for timed and hybrid systemsPublished by Springer Nature ,1997
- Safety verification for automated platoon maneuvers: A case studyPublished by Springer Nature ,1997
- Hybrid I/O automataPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Proving safety properties of hybrid systemsPublished by Springer Nature ,1994
- Verification of an audio control protocolPublished by Springer Nature ,1994