Reachability Analysis of Hybrid Systems via Predicate Abstraction

This publication has 14 references indexed in Scilit:

• HYTECH: the next generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automating software feature verification
  Bell Labs Technical Journal, 2002
• Discrete abstractions of hybrid systems
  Proceedings of the IEEE, 2000
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
  Published by Springer Nature ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• Computer-aided verification
  IEEE Spectrum, 1996
• Cryptography: Policy and Algorithms
  Published by Springer Nature ,1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Longitudinal control of the lead car of a platoon
  IEEE Transactions on Vehicular Technology, 1994