About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES

Sections

Types

Functions

Multitasking Synthesis

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

MtcSupCon

Computes the supremal controllable sublanguage.

Signature:

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

MtcSupConNB

Supremal controllable sublanguage with colored marking nonblocking condition.

Signature:

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

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