libFAUDES

Sections

Index

mtc_observercomputation.cpp File Reference


Detailed Description

Methods to compute natural projections that exhibit the obsrver property.

The observer algorithm is elaborated in K. C. Wong and W. M. Wonham, "On the Computation of Observers in Discrete Event Systems," Discrete Event Dynamic Systems, vol. 14, no. 1, pp. 55-107, 2004. In addition, methods to compute natural projections that exhibit output control consistency (OCC) and local control consistency (LCC) are provided. See for example K. Schmidt and C. Breindl, "On Maximal Permissiveness of Hierarchical and Modular Supervisory Control Approaches for Discrete Event Systems," Workshop on Discrete Event Systems, 2008.

Definition in file mtc_observercomputation.cpp.

#include "mtc_observercomputation.h"

Go to the source code of this file.

Namespaces

namespace  faudes

Functions

Idx faudes::calcNaturalObserver (const mtcGenerator &rGen, EventSet &rHighAlph)
 Calculate a colored natural observer by extending a given high-level alphabet.
void faudes::calcAbstAlphObs (mtcGenerator &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents)
 Lm-observer computation.
void faudes::calcAbstAlphObs (mtcGenerator &rGenObs, EventSet &rControllableEvents, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents)
 Lm-observer computation.
void faudes::calcAbstAlphObs (mtcGenerator &rGenObs, EventSet &rControllableEvents, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Transition, Idx > &rMapChangedTrans)
 Lm-observer computation.
void faudes::calculateDynamicSystemObs (const mtcGenerator &rGen, EventSet &rHighAlph, vGenerator &rGenDyn)
 Computation of the dynamic system for an Lm-observer.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6