Macro COCOLOG with application to DES control
C. Martinez-Mascartia, Peter E. Caines · 2002
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 (/spl Lscr//sub k/) at the instant k. The simplicity of /spl Lscr//sub k/ leads to even the most basic concepts having a complex expression as well formed formulas in /spl Lscr//sub k/. 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 /spl Lscr//sub k//sup +/, 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.