| |
libFAUDES
PlugIns
Types
Functions
|
Observer SynthesisThis page collects the various observer synthesis algorithms provided by the observer plug-in. CalcAbstAlphObsLm observer computation.
Signature:
CalcAbstAlphObs(+InOut+ Generator 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.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"