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.
#include "mtc_observercomputation.h"
|
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.
|