DocumentCode :
2406654
Title :
Controllability subsets of live Rabin automata
Author :
Thistle, J.G.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
fYear :
1992
fDate :
1992
Firstpage :
3746
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control, 1992., Proceedings of the 31st IEEE Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-0872-7
Type :
conf
DOI :
10.1109/CDC.1992.371185
Filename :
371185
Link To Document :
بازگشت