Title :
Hybrid systems: the SIGNAL approach
Author_Institution :
IRISA, Rennes
Abstract :
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
Keywords :
discrete event systems; formal languages; formal specification; real-time systems; SIGNAL formalism; formal language; formal systems; hybrid systems; real-time; timed systems; Actuators; Aircraft; Automatic control; Control systems; Delay; Power system modeling; Real time systems; Sampling methods; Sensor systems; Timing;
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
DOI :
10.1109/ICSMC.1993.384952
