Title :
From discrete-event systems to hybrid systems
Author :
Zaytoon, J. ; Carré-Ménétrier, V.
Author_Institution :
LAM, Facultes des Sci., Reims, France
Abstract :
This paper presents a brief overview of the extensions and adaptations which are necessary to enable the application of discrete event systems concepts and models to hybrid systems. Issues related to modeling, verification and control synthesis are particularly emphasized
Keywords :
control system synthesis; discrete event systems; modelling; control synthesis; discrete event systems; hybrid systems; modeling; verification; Automata; Computer industry; Computer network management; Control system synthesis; Discrete event systems; Electrical equipment industry; Electronics industry; Industrial control; Manufacturing industries; Traffic control;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.814079
