libFAUDES

PlugIns

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