Hybrid systems: the SIGNAL approach
A. Benveniste, Michel Le Borgne · 2002
Hybrid systems are models of systems operating in real-time and handling events as well as "continuous" computations. The SIGNAL formalism for hybrid systems is presented in this paper. Its expressive power is discussed, and a general method to associate various formal systems with it is presented.>