Realization theory for COCOLOG controllers
C. Martínez-Mascarúa, Peter E. Caines · 2002
In the COCOLOG framework, a discrete event system is modeled by a finite input-state-output system. A COCOLOG logic control system is a tree of logical theories which evolve with the observation of the input-output system's behaviour, to which a set of control rules is associated that permit the choice of control action to be executed by the system at each time instant. This work determines conditions permitting the formulation and analysis of a COCOLOG controller as a finite input-state-output system, and proves the existence of such systems.