Title :
Supervisory control design for real-time discrete event systems
Author :
Schneider, O. ; De Ridder, Marc ; Spathopoulos, Michael
Author_Institution :
Dept. of Tech. Cybern., Stuttgart Univ., Germany
Abstract :
This paper deals with the development of algorithms for a software tool that derives the supervisory controller of a real-time discrete event system modelled using timed automata. An example and graphical abstractions are used to demonstrate the algorithmic work, methodology and design environment
Keywords :
discrete event systems; discrete event systems; graphical abstractions; real-time systems; software tool; supervisory control; timed automata;
Conference_Titel :
Control '98. UKACC International Conference on (Conf. Publ. No. 455)
Conference_Location :
Swansea
Print_ISBN :
0-85296-708-X
DOI :
10.1049/cp:19980338
