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.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"