Title :
Classical and logic based regulator design and its complexity for partially observed automata
Author :
Caines, Peter E. ; Wang, Suning
Author_Institution :
Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
Abstract :
The problem of steering the state of a partially observed finite automaton (i.e. a partially observed deterministic finite input-state output system) M to a desired terminal state is considered. The authors provide necessary and sufficient dynamic programming conditions for the controllability of M. These conditions are stated in terms of backward recurrence equations involving the state estimate sets generated by either classical dynamical observers or logical dynamical observers
Keywords :
control system synthesis; controllability; dynamic programming; finite automata; state estimation; backward recurrence; classical based regulator; controllability; design; deterministic finite input-state output system; dynamic programming; dynamical observers; finite automaton; logic based regulator; partially observed automata; state estimate; Automata; Automatic generation control; Control systems; Controllability; Dynamic programming; Equations; Logic design; Observers; Regulators; State estimation;
Conference_Titel :
Decision and Control, 1989., Proceedings of the 28th IEEE Conference on
Conference_Location :
Tampa, FL
DOI :
10.1109/CDC.1989.70090
