DocumentCode
2269738
Title
Realization theory for COCOLOG controllers
Author
Martinez-Mascarua, Carlos ; Caines, Peter E.
Author_Institution
Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
Volume
4
fYear
1997
fDate
10-12 Dec 1997
Firstpage
3574
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1997., Proceedings of the 36th IEEE Conference on
Conference_Location
San Diego, CA
ISSN
0191-2216
Print_ISBN
0-7803-4187-2
Type
conf
DOI
10.1109/CDC.1997.652405
Filename
652405
Link To Document