COCOLOG: a conditional observer and controller logic for finite machines - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

COCOLOG: a conditional observer and controller logic for finite machines


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1714.pdf (1.31 Mo) Télécharger le fichier

Dates and versions

inria-00076952 , version 1 (29-05-2006)


  • 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⟩
73 View
242 Download


Gmail Facebook X LinkedIn More