Title :
Realization theory for COCOLOG controllers
Author :
Martinez-Mascarua, Carlos ; Caines, Peter E.
Author_Institution :
Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
Abstract :
In the COCOLOG framework, a discrete event system is modeled by a finite input-state-output system. A COCOLOG logic control system is a tree of logical theories which evolve with the observation of the input-output system´s behaviour, to which a set of control rules is associated that permit the choice of control action to be executed by the system at each time instant. This work determines conditions permitting the formulation and analysis of a COCOLOG controller as a finite input-state-output system, and proves the existence of such systems
Keywords :
discrete event systems; finite state machines; formal logic; realisation theory; COCOLOG controllers; I/O system; discrete event system; finite input-state-output system; input-output system; logic control system; logical theory tree; realization theory; Automata; Control systems; Discrete event systems; Force control; Logic; State estimation; State feedback; System testing; Yield estimation;
Conference_Titel :
Decision and Control, 1997., Proceedings of the 36th IEEE Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4187-2
DOI :
10.1109/CDC.1997.652405
