Decidability of hybrid systems with rectangular differential inclusions

This publication has 11 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automatic symbolic verification of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Integration Graphs: A class of decidable hybrid systems
  Published by Springer Nature ,1993
• An approach to the description and analysis of hybrid systems
  Published by Springer Nature ,1993
• A verification strategy for timing constrained systems
  Published by Springer Nature ,1993
• Timing verification by successive approximation
  Published by Springer Nature ,1993
• What good are digital clocks?
  Published by Springer Nature ,1992
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990