Title :
Controllability subsets of live Rabin automata
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
The control of finite automata under modeling assumptions and specifications represented by Rabin acceptance conditions is considered. The controllability subset of an automaton-the set of states from which it can be controlled to the satisfaction of its specification-is characterized as a fixpoint of an operator on state subsets
Keywords :
controllability; finite automata; formal languages; Rabin acceptance conditions; controllability subset; finite automata; fixpoint; live Rabin automata; modeling assumptions; state subsets; Automata; Automatic control; Controllability; Formal languages; Safety;
Conference_Titel :
Decision and Control, 1992., Proceedings of the 31st IEEE Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-0872-7
DOI :
10.1109/CDC.1992.371185