DocumentCode
3087287
Title
On controllable predicates and languages in discrete-event systems
Author
Ushio, Toshimitsu
Author_Institution
Dept. of Syst. Eng., Kobe Univ., Japan
fYear
1989
fDate
13-15 Dec 1989
Firstpage
123
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1989., Proceedings of the 28th IEEE Conference on
Conference_Location
Tampa, FL
Type
conf
DOI
10.1109/CDC.1989.70087
Filename
70087
Link To Document