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

fYear

1989

fDate

13-15 Dec 1989

Firstpage

132

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;

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.70090

Filename

70090

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3092406