libFAUDES

PlugIns

Types

Functions

HioSys Synthesis

HioSynthMonolithic

I/O-Controller synthesis, monolithic version.

Signature:

HioSynthMonolithic(+In+ HioPlant GPlant, +In+ HioPlant GSpec, +In+ HioConstraint GConstrC, +In+ HioConstraint GConstrP, +In+ HioConstraint GConstrE, +Out+ HioController GController)

HioSynthHierarchical

I/O-Controller synthesis, hierarchical version.

Signature:

HioSynthHierarchical(+In+ HioPlant GPlant, +In+ HioEnvironment GEnv, +In+ HioPlant GSpec, +In+ Generator GConstrInt, +In+ HioConstraint GConstrC, +In+ HioConstraint GConstrL, +Out+ HioController GController)

HioSynth

I/O-Controller synthesis, core algorithm.

Signature:

HioSynth(+In+ Generator GPlant, +In+ Generator GSpec, +In+ Generator GConstr, +In+ Generator GConstrLoc, +In+ EventSet Yc, +In+ EventSet Uc, +In+ EventSet Yp, +In+ EventSet Up, +In+ EventSet Yel, +In+ EventSet Uel, +Out+ Generator GController)

IoShuffle

Shuffle-composition of two HioPlant systems.

Signature:

IoShuffle(+In+ HioPlant GArg1, +In+ HioPlant GArg2, +Out+ HioPlant GRes)
IoShuffle(+In+ Generator GArg1, +In+ Generator GArg2, +In+ EventSet Yp, +In+ EventSet Up, +In+ EventSet Ye, +In+ EventSet Ue, +Out+ Generator GRes)

libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"