Hybrid Systems: the SIGNAL approach

This publication has 7 references indexed in Scilit:

• Specifying and verifying requirements of real-time systems
  IEEE Transactions on Software Engineering, 1993
• A denotational theory of synchronous reactive systems
  Information and Computation, 1992
• Timed transition systems
  Published by Springer Nature ,1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• An Interleaving Model for Real Time,
  Published by Defense Technical Information Center (DTIC) ,1990
• Hybrid dynamical systems theory and the Signal language
  IEEE Transactions on Automatic Control, 1990
• Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
  Published by Springer Nature ,1985