The algorithmic analysis of hybrid systems

This publication has 9 references indexed in Scilit:

• Minimization of timed transition systems
  Published by Springer Nature ,2006
• 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
• Model-checking for real-time 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
• An approach to the description and analysis of hybrid systems
  Published by Springer Nature ,1993
• Online minimization of transition systems (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1992
• A calculus of durations
  Information Processing Letters, 1991
• Software requirements analysis for real-time process-control systems
  IEEE Transactions on Software Engineering, 1991