COCOLOG: a conditional observer and controller logic for finite machines

Peter E. Caines 1, 2 Suning Wang 2
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : The problem of observation and control for partially observed input-state-output machines is formulated in terms of a tree of first order logical theories. A set of first order languages for the description of the controlled evolution and state estimation of any given machine M is specified ; further, conditional control axioms are formulated so that closed loop control actions occur when specified past observation dependent conditions are fulfilled. In particular, conditional control axioms may include commands that steer the system state from a current partially observed state (estimate) to a target state, if such of sequence of controls can be proven to exist. Starting from a general theory of M at the initial instant, observations on the input-output behaviour of the system at any later instant are accepted by the system as new axioms these are then used together with the previously generated theory to generate the current theory. We use the acronym Cocolog to denote the family of first order conditional observer and controller logics for any given input-state-output system. A semantics is supplied for each Cocolog in terms of interpretations of controlled transitions on a tree indexed by the possible sequences of input-output observations. Extra-logical rules relating members of the family of theories of a Cocolog are then presented in the form of meta-level axioms and inference rules. In this paper consistency and completeness of the first order theories in a Cocolog family are established, decidability is obtained using a unique model property and examples of the operation of a Cocolog logic control system are given.
Type de document :
[Research Report] RR-1714, INRIA. 1992
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:40:22
Dernière modification le : samedi 27 janvier 2018 - 01:31:27
Document(s) archivé(s) le : vendredi 13 mai 2011 - 22:12:40



  • HAL Id : inria-00076952, version 1



Peter E. Caines, Suning Wang. COCOLOG: a conditional observer and controller logic for finite machines. [Research Report] RR-1714, INRIA. 1992. 〈inria-00076952〉



Consultations de la notice


Téléchargements de fichiers