| |
libFAUDES
PlugIns
Types
Functions
|
Supremal Controllable SublanguageFunctions related to the basic supervisory controller synthesis framework as introduced by P.J. Ramadge and W.M. Wonham.SupConNBComputes the supremal controllable sublanguage with nonblocking condition.
Detailed description: Given a plant and a specification language, this function computes the supremal nonblocking sublanguage of the specification that is controllable w.r.t. the plant. Controllability of events is taken from the plant generator's event attributes. The result is given as a trim deterministic generator that can be employed as a supervisory controller. The closed loop is guaranteed to be nonblocking. See "C.G CASSANDRAS AND S. LAFORTUNE. Introduction to Discrete Event Systems. Kluwer, 1999" for the base algorithm.
Parameter Conditions: This implementation requires the alphabets of plant and specification to match. Furthermore, both generators must be deterministic. Effectively, the specification is intersected with the plant language.
SupConComputes the supremal controllable sublanguage.
Detailed description: Given a plant and a specification language, this function computes the supremal controllable sublanguage. Controllability of events is taken from the plant generator's event attributes. The resulting generator can be employed as a supervisory controller. However, in constrast to SupConNB, the closed loop may be blocking.
Parameter Conditions: This implementation requires the alphabets of plant and specification to match. Furthermore, both generators must be deterministic. Effectively, the specification is intersected with the plant language.
IsControllableTests controllablity condition.
Signature:
IsControllable(+In+ Generator GPlant, +In+ EventSet ACntrl, +In+ Generator GCand, +Out+ Boolean BRes) Detailed description: If the candidate fails to be controllable, this version will return a set of "critical" states of the candidate supervisor. These states are characterised by (a) being reachable in the parallel composition of plant and supervisor (b) disabeling an uncontrollable transition of the plant. Parameter Conditions: Prerequisits: This implementation requires the alphabets of plant and specification to match. Furthermore, both generators must be deterministic. Effectively, the specification is intersected with the plant language.
|
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"