nextuppreviouscontents
Next:Automated Theorem Proving and Up:Logic Control Previous:Logic Control

Macro-COCOLOG

C. Martinez-Mascarua, P.E. Caines

The issues of efficiency, transparency and implementability of COCOLOG logic control systems are treated in this work via the creation of the following entities: (i) Syntactic hierarchies of COCOLOG languages called Macro COCOLOG languages wherein iterated axiomatic definitions of new terms and predicates are adjoined to the basic COCOLOG language so as to give compact expression to complex concepts defined at earlier iterations (while preserving consistency and completeness). (ii) The languages of (i) are employed in the construction of the (finitely) nested Macro (COCOLOG) CCRs generalizing the IF..THEN.. rules appearing in standard COCOLOG Conditional Control Rules (CCRs). The enhancement of the basic COCOLOG system, involving first, Macro (COCOLOG) Languages and, second, Macro (COCOLOG) Actions (taken together with the associated execution model) is called Macro COCOLOG. The resulting system is such that base level (i.e. standard) COCOLOG controllers realizing complex control specifications for systems with complex dynamics may be designed by tractable and comprehensible procedures. (iii) Variable Macro Actions, which are mechanisms for the re-utilization of Macro actions via the manoeuvre of parametrizing them by state dependent quantities permitting them to be directly invoked during the evolution of the controlled system.
 


Annual Report

Fri Nov 26 23:00:32 GMT 1999