con_supcc.h

Go to the documentation of this file.
00001 /** @file con_controllability.h Conditional Controllability */
00002 
00003 /*
00004  *
00005  * Copyright (C) 2012 Tomas Masopust
00006  *
00007  */
00008 
00009 #ifndef FAUDES_SUPCC_H
00010 #define FAUDES_SUPCC_H
00011 
00012 #include "corefaudes.h"
00013 #include "con_include.h"
00014 #include "op_include.h"
00015 #include "syn_include.h"
00016 
00017 namespace faudes {
00018   
00019 /**
00020  * Conditionalcontrollability Checking Algorithm
00021  *
00022  * Computation of the supremal conditionally controllable sublanguage of a given language K 
00023  * with respect to the plant G.
00024  * This algorithm implements the results obtained in 
00025  *
00026  * J. Komenda, T. Masopust, J. H. van Schuppen.
00027  * Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems 
00028  * WODES 2010 (and its Automatica version)
00029  *
00030  * @param gen
00031  *   Generator for the specification language K
00032  * @param genVector
00033  *   Vector of generators for the plants G1,G2,..,Gn
00034  * @param supVector
00035  *   Vector of generators; 
00036  *   supervisors supC_{i+k} such that ||supC_{i+k} is the supremal
00037  *   conditionally controllable sublanguage of K are returned in this vector
00038  * @param Coord
00039  *   a generator;
00040  *   computed coordinator is returned in this parameter
00041  * @return
00042  *   Returns the supVector of supervisors and the computer coordinator
00043  *
00044  * @exception Exception
00045  *   - alphabets of generators don't match (id 100)
00046  *   - plant nondeterministic (id 201)
00047  *
00048  * @ingroup CoordinationControlPlugIn
00049  */
00050 bool SupConditionalControllable(
00051   const Generator& gen, 
00052   const GeneratorVector& genVector, 
00053   const EventSet& ACntrl,
00054   const EventSet& InitEk,
00055   GeneratorVector& supVector,
00056   Generator& Coord);
00057 
00058 } // namespace faudes
00059 
00060 #endif 

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen