An algorithm for the approximative analysis of rectangular automata

This publication has 12 references indexed in Scilit:

• Algorithmic analysis of nonlinear hybrid systems
  IEEE Transactions on Automatic Control, 1998
• Integrating projections
  Published by Springer Nature ,1998
• Reachability analysis via face lifting
  Published by Springer Nature ,1998
• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• Reliable implementation of hybrid control systems for advanced avionics
  Published by Springer Nature ,1997
• Using HyTech to verify an automotive control System
  Published by Springer Nature ,1997
• Verifying safety properties of differential equations
  Published by Springer Nature ,1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• What's decidable about hybrid automata?
  Published by Association for Computing Machinery (ACM) ,1995
• Verification of linear hybrid systems by means of convex approximations
  Published by Springer Nature ,1994