DocumentCode
3476615
Title
The control of dense real-time discrete event systems
Author
Wong-Toi, H. ; Hoffmann, G.
Author_Institution
Stanford Univ., CA, USA
fYear
1991
fDate
11-13 Dec 1991
Firstpage
1527
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1991., Proceedings of the 30th IEEE Conference on
Conference_Location
Brighton
Print_ISBN
0-7803-0450-0
Type
conf
DOI
10.1109/CDC.1991.261658
Filename
261658
Link To Document