con_supcc.hGo 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 |