DocumentCode
289792
Title
Hybrid systems: the SIGNAL approach
Author
Benveniste, A.
Author_Institution
IRISA, Rennes
fYear
1993
fDate
17-20 Oct 1993
Firstpage
669
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1993.384952
Filename
384952
Link To Document