Title :
On Markovian fragments of COCOLOG for logic control systems
Author :
Wei, Y.J. ; Caines, Peter E.
Author_Institution :
Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
Abstract :
The formulation of a Markovian fragment of the general COCOLOG system is considered. This idea is introduced via the definition of a restricted set of axioms for a new set of theories. The new set of axioms communicates only the basic dynamical properties of the machine under control plus the most recent new observations and the state estimate generated in the most recent COCOLOG theory. In addition, an updated version of a single control problem is carried along, and this must be phrased only in terms of the other predicates and axioms available in the restricted theories. It is shown that this construction yields the desired family of Markovian fragments of COCOLOG theories
Keywords :
Markov processes; State estimation; formal logic; state estimation; COCOLOG system; Markovian fragments; axioms; control problem updated version; dynamical properties; logic control systems; new observations; predicates; state estimate; theories; Automatic control; Control systems; Logic; State estimation;
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.371269
