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