mtc_observercomputation.cpp File Reference

Methods to compute natural projections that exhibit the obsrver property. More...

#include "mtc_observercomputation.h"
#include "cfl_localgen.h"

Go to the source code of this file.

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

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

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.