Approximate Reachability for Linear Systems

This publication has 16 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Reach Set Computations Using Real Quantifier Elimination
  Published by Springer Nature ,2001
• Discrete abstractions of hybrid systems
  Proceedings of the IEEE, 2000
• Ellipsoidal Techniques for Reachability Analysis
  Published by Springer Nature ,2000
• A New Class of Decidable Hybrid Systems
  Published by Springer Nature ,1999
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
  Published by Springer Nature ,1999
• What's Decidable about Hybrid Automata?
  Journal of Computer and System Sciences, 1998
• Reachability analysis via face lifting
  Published by Springer Nature ,1998
• 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