libFAUDES

Sections

Types

Functions

Multitasking Observer

Since the notion of blocking is refined by the colored marking, the observer problem is restated for MtcSystems.

MtcNaturalObserver

Calculate a colored natural observer by extending a given high-level alphabet.

Signature:

MtcNaturalObserver(+In+ MtcSystem GPlant, +InOut+ EventSet SigmaH)

libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"