Reachability analysis via face lifting

This publication has 14 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
  IEEE Transactions on Automatic Control, 1998
• Verifying safety properties of differential equations
  Published by Springer Nature ,1996
• Linear phase-portrait approximations for nonlinear hybrid systems
  Published by Springer Nature ,1996
• Reachability analysis of dynamical systems having piecewise-constant derivatives
  Theoretical Computer Science, 1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• What's decidable about hybrid automata?
  Published by Association for Computing Machinery (ACM) ,1995
• Analysis of digital circuits through symbolic reduction
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• Differential Inclusions
  Published by Springer Nature ,1984