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


The issues of efficiency, transparency and implementability of COCOLOG logic control systems are treated in this work via the creation of the following entities:
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).
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.
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.



Current work involves the incorporation of the IF..THEN.. COCOLOG CCRs directly into the axiomatic basis of the COCOLOG to give a system called tex2html_wrap_inline3356 .

C. Martinez-Mascarua, P.E. Caines

Annual Report

Mon Jun 26 21:22:20 GMT 2000