Coordination control plug-in
Z ApolloWiki
Coordination control plug-in
Coordination control plug-in
Coordination control plug-in
Tomáš Masopust
website
Description: Coordination Control Plug-In for libFAUDES C++ library (distributed under conditions of the GNU Lesser General Public License LGPL)
- Version: released on Feb 5, 2012. Included in the official libFAUDES distribution since version 2.21e.
- 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...)
- Updates: Polynomial algorithm for conditional decomposability included since version 2.26