Title :
On controllable predicates and languages in discrete-event systems
Author :
Ushio, Toshimitsu
Author_Institution :
Dept. of Syst. Eng., Kobe Univ., Japan
Abstract :
In discrete-event systems two control techniques, called supervisory control and state feedback logic, have been proposed. It is shown that controllability of the legal language for a given predicate is equivalent to that for the corresponding reachability set. The relationship between the supremal controllable subpredicate of the predicate and the supremal controllable sublanguage of the corresponding legal language is then dealt with
Keywords :
automata theory; controllability; discrete time systems; feedback; formal languages; automata theory; controllability; controllable predicates; discrete time systems; discrete-event systems; formal languages; legal language; reachability set; state feedback logic; supervisory control; supremal controllable sublanguage; supremal controllable subpredicate; Automatic control; Control systems; Controllability; Discrete event systems; Law; Legal factors; Logic; State feedback; Supervisory control; Systems engineering and theory;
Conference_Titel :
Decision and Control, 1989., Proceedings of the 28th IEEE Conference on
Conference_Location :
Tampa, FL
DOI :
10.1109/CDC.1989.70087
