Proving safety properties of hybrid systems

This publication has 11 references indexed in Scilit:

• Models for reactivity
  Acta Informatica, 1993
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Towards refining temporal specifications into hybrid systems
  Published by Springer Nature ,1993
• An extended duration calculus for hybrid real-time systems
  Published by Springer Nature ,1993
• Specifying and verifying requirements of real-time systems
  IEEE Transactions on Software Engineering, 1993
• Prom timed to hybrid systems
  Published by Springer Nature ,1992
• From ATP to timed graphs and hybrid systems
  Published by Springer Nature ,1992
• A calculus of durations
  Information Processing Letters, 1991
• A Temporal Logic for Multilevel Reasoning about Hardware
  Computer, 1985
• Process logic: Expressiveness, decidability, completeness
  Journal of Computer and System Sciences, 1982