About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
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

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

Signature:

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

libFAUDES 2.20s --- 2011.10.12 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"