Title :
On the existence of finite state supervisors in discrete-event systems
Author :
Ushio, Toshimitsu
Author_Institution :
Sch. of Home Econ., Kobe Coll., Hyogo, Japan
Abstract :
A supervisor realized by a finite automaton is called a finite state supervisor. First, the paper shows the equivalence of deterministic and nondeterministic finite state supervisors. Next, it proves a necessary and sufficient condition for the existence of a finite state supervisor. Finally, it shows an example of a supervisor for a nonregular control specification
Keywords :
discrete time systems; finite automata; discrete-event systems; finite automaton; finite state supervisors; necessary condition; nonregular control; sufficient condition; Automata; Automatic control; Control systems; Discrete event systems; Educational institutions; Feedback; Frequency selective surfaces; Sufficient conditions; Supervisory control;
Conference_Titel :
Decision and Control, 1990., Proceedings of the 29th IEEE Conference on
Conference_Location :
Honolulu, HI
DOI :
10.1109/CDC.1990.203302
