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

Volume

4

fYear

1996

fDate

11-13 Dec 1996

Firstpage

4453

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 (L_k) 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 L_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 L_k⁺, 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;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1996., Proceedings of the 35th IEEE Conference on

Conference_Location

Kobe

ISSN

0191-2216

Print_ISBN

0-7803-3590-2

Type

conf

DOI

10.1109/CDC.1996.577561

Filename

577561