HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 11:40:22 AM
Last modification on : Friday, February 4, 2022 - 3:15:28 AM
Long-term archiving on: : Friday, May 13, 2011 - 10:12:40 PM


  • 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⟩



Record views


Files downloads