Reachability Analysis of Hybrid Systems via Predicate Abstraction
Authors:
- 14 March 2002
- book chapter
- Published by Springer Nature
- p. 35-48
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- HYTECH: the next generation2002
- Automating software feature verificationBell Labs Technical Journal, 2002
- Discrete abstractions of hybrid systemsProceedings of the IEEE, 2000
- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Construction of abstract state graphs with PVS1997
- Computer-aided verificationIEEE Spectrum, 1996
- Cryptography: Policy and Algorithms1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Longitudinal control of the lead car of a platoonIEEE Transactions on Vehicular Technology, 1994