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 (/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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
