Formal design of hybrid systems

This publication has 8 references indexed in Scilit:

• A formal approach to computer systems requirements documentation
  Published by Springer Nature ,1993
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Hybrid systems in TLA+
  Published by Springer Nature ,1993
• An extended duration calculus for hybrid real-time systems
  Published by Springer Nature ,1993
• Verifying hybrid systems
  Published by Springer Nature ,1993
• Specification Of Embedded, Real-time Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• A calculus of durations
  Information Processing Letters, 1991
• Robustness of model-reference adaptive control systems with unmodelled dynamics
  International Journal of Control, 1984