Title :
Macro COCOLOG with application to DES control
Author :
Martinez-Mascartia, C. ; Caines, Peter E.
Author_Institution :
Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
Abstract :
The control of a discrete event system is handled in the conditional observer and controller logic (COCOLOG) system by use of an extra-logical representation of the control laws in terms of conditional control rules (CCR); these are condition-action pairs in which the conditions are mutually exclusive and exhaustive formulas in the language (Lk) at the instant k. The simplicity of L k leads to even the most basic concepts having a complex expression as well formed formulas in Lk. This article presents the foundations for (i) a theory of the expression of complex predicates and functions in terms of simple macro language symbols which can be defined in an extended language Lk+, and (ii) the construction of recursive systems of simple macro actions to express complex control actions. An application example involving a water tank control system is described and a Macro CCR set for its control is presented
Keywords :
automata theory; control system synthesis; discrete event systems; formal languages; DES control; Macro COCOLOG; complex control actions; condition-action pairs; conditional control rules; conditional observer; controller logic system; discrete event system; exhaustive formulas; extended language ℒk+; extra-logical representation; mutually exclusive formulas; recursive systems; water tank control system; Control systems; Discrete event systems; Logic;
Conference_Titel :
Intelligent Control, 1996., Proceedings of the 1996 IEEE International Symposium on
Conference_Location :
Dearborn, MI
Print_ISBN :
0-7803-2978-3
DOI :
10.1109/ISIC.1996.556205
