Title :
The control of dense real-time discrete event systems
Author :
Wong-Toi, H. ; Hoffmann, G.
Author_Institution :
Stanford Univ., CA, USA
Abstract :
The authors introduce dense real-time into the supervisory control of discrete event systems. They give conditions for the existence of a controller. If the plant and specification behaviors are represented by timed automata, there is a supremal controllable sublanguage of the specification language for a subclass of synthesis problems. The synthesized supervisor is polynomial in the number of automata states and exponential in the timing information
Keywords :
automata theory; computational complexity; discrete time systems; dense real-time discrete event systems; specification language; supervisory control; supremal controllable sublanguage; timed automata; Automata; Automatic control; Control system synthesis; Control systems; Discrete event systems; Polynomials; Real time systems; Specification languages; Supervisory control; Timing;
Conference_Titel :
Decision and Control, 1991., Proceedings of the 30th IEEE Conference on
Conference_Location :
Brighton
Print_ISBN :
0-7803-0450-0
DOI :
10.1109/CDC.1991.261658
