libFAUDES

Sections

Types

Functions

Observer Synthesis

This page collects the various observer synthesis algorithms provided by the observer plug-in.

CalcAbstAlphObs

Lm 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"