Formal verification of safety-critical hybrid systems
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 253-272
- https://doi.org/10.1007/3-540-64358-3_44
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A verified hybrid controller for automated vehiclesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Conflict resolution for multi-agent hybrid systemsPublished 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
- Safety verification for automated platoon maneuvers: A case studyPublished by Springer Nature ,1997
- Forward and Backward SimulationsInformation and Computation, 1996
- Verification of automated vehicle protection systemsPublished by Springer Nature ,1996
- Hybrid I/O automataPublished by Springer Nature ,1996
- PrefaceTheoretical Computer Science, 1995
- Liveness in timed and untimed systemsPublished by Springer Nature ,1994