State Event Observers for Labelled Transition System

by M. Lawford, W.M. Wonham and J.S. Ostroff

Abstract: In many Discrete-Event Systems (DES) both state and event information are of importance to the systems designer. As a first step towards obtaining hierarchical models of systems, the behavior of Discrete-Event Systems with unobservable transitions and state output maps is considered. Observers for deterministic DES are generalized to nondeterministic DES and characterized using the join semilattice of compatible partitions of a transition system. This characterization points to efficient algorithms for computing both strong and weak state-event observers as solutions to the Relational Coarsest Partition problem (RCP). The strong and weak observation equivalences of Milner are shown to be special cases of our observers under the trivial (constant) state output map.


Download

CDC94.ps (335k, postscript) OR CDC94.pdf (158k, pdf)


[ CAS | ML | Papers ]