| |
libFAUDES
Sections
Types
Functions
|
Observer SynthesisThis page collects the various observer synthesis algorithms provided by the observer plug-in. CalcAbstAlphObsLm observer computation.
Signature:
CalcAbstAlphObs(+InOut+ System GPlant, +InOut+ EventSet SigmaHi, +Out+ EventSet SigmaHiNew, +Out+ EventRelabelMap Map) Detailed description: This function modifies a given generator and an associated natural projection such that the resulting natural projection is an Lm-observer for the language marked by the resulting generator. Parameter Conditions: The alphabet rHighAlph has to be a subset of the alphabet of rGenObs. rGenObs must be a deterministic generator. |
libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"