Verification of hybrid systems using abstractions
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 359-369
- https://doi.org/10.1007/3-540-60472-3_18
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Driving safely in smart carsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- Decidability of hybrid systems with rectangular differential inclusionsPublished by Springer Nature ,1994
- Smart cars on smart roads: problems of controlIEEE Transactions on Automatic Control, 1993
- An approach to the description and analysis of hybrid systemsPublished by Springer Nature ,1993
- Timing verification by successive approximationPublished by Springer Nature ,1993
- Hybrid SystemsPublished by Springer Nature ,1993