Title :
Macro COCOLOG with an application to a discrete event tank system
Author :
Martinez-Mascarúa, C. ; Caines, P.E.
Author_Institution :
Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
Abstract :
The control of a discrete event system is handled in the COCOLOG logic control system by use of an extra-logical representation of the control laws in terms of Conditional Control Rules (CCRs); 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 Lk 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 :
discrete event systems; formal languages; formal logic; logic programming; COCOLOG logic control system; Conditional Control Rules; Macro CCR set; discrete event system; discrete event tank system; macro language symbols; water tank control; Code standards; Control systems; Control theory; Current control; Discrete event systems; Logic design; State estimation;
Conference_Titel :
Decision and Control, 1996., Proceedings of the 35th IEEE Conference on
Conference_Location :
Kobe
Print_ISBN :
0-7803-3590-2
DOI :
10.1109/CDC.1996.577561
