Algorithmic analysis of nonlinear hybrid systems

This publication has 12 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Automatic symbolic verification of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• What's decidable about hybrid automata?
  Published by Association for Computing Machinery (ACM) ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Using abstractions for the verification of linear hybrid systems
  Lecture Notes in Computer Science, 1994
• An approach to the description and analysis of hybrid systems
  Published by Springer Nature ,1993
• Hybrid Systems
  Published by Springer Nature ,1993
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977