Tools:
- Coordination Control Plug-In
for libFAUDES C++ library
(distributed under conditions of the GNU Lesser General Public License
LGPL)
Version: released on Feb 3, 2012. As of today, not yet included in the official libFAUDES distribution.
Description: Complete coordination control synthesis procedure for the computation of the supremal conditionally controllable sublanguage of a given prefix-closed global specification language K and a set of local subsystems, corresponding supervisors, and the supervised coordinator. (The case of non-prefix-closed global specifications is under investigation...)