Multitasking Synthesis

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

MtcSupCon

Supremal controllable sublanguage with colored marking nonblocking condition.

Signature:

MtcSupCon(+In+ MtcSystem GPlant, +In+ MtcSystem GSpec, +Out+ MtcSystem GSupervisor)

MtcSupCon

Supremal controllable sublanguage with colored marking nonblocking condition.

Signature:

MtcSupCon(+In+ MtcSystem GPlant, +In+ MtcSystem GSpec, +Out+ MtcSystem GSupervisor)

libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings-hybrid-example-pybindings"