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

fYear

1996

fDate

15-18 Sep 1996

Firstpage

224

Lastpage

229

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 (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

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control, 1996., Proceedings of the 1996 IEEE International Symposium on

Conference_Location

Dearborn, MI

ISSN

2158-9860

Print_ISBN

0-7803-2978-3

Type

conf

DOI

10.1109/ISIC.1996.556205

Filename

556205