The d/dt Tool for Verification of Hybrid Systems

This publication has 16 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• On Hybrid Control of Under-Actuated Mechanical Systems
  Published by Springer Nature ,2001
• Effective synthesis of switching controllers for linear systems
  Proceedings of the IEEE, 2000
• Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
  Published by Springer Nature ,2000
• Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
  Published by Springer Nature ,2000
• Orthogonal Polyhedra: Representation and Computation
  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