con_supcc.h
Go to the documentation of this file.
1 /** @file con_controllability.h Conditional Controllability */
2 
3 /*
4  *
5  * Copyright (C) 2012 Tomas Masopust
6  *
7  */
8 
9 #ifndef FAUDES_SUPCC_H
10 #define FAUDES_SUPCC_H
11 
12 #include "corefaudes.h"
13 #include "con_include.h"
14 #include "op_include.h"
15 #include "syn_include.h"
16 
17 namespace faudes {
18 
19 /**
20  * Conditionalcontrollability Checking Algorithm
21  *
22  * Computation of the supremal conditionally controllable sublanguage of a given language K
23  * with respect to the plant G.
24  * This algorithm implements the results obtained in
25  *
26  * J. Komenda, T. Masopust, J. H. van Schuppen.
27  * Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems
28  * WODES 2010 (and its Automatica version)
29  *
30  * @param gen
31  * Generator for the specification language K
32  * @param genVector
33  * Vector of generators for the plants G1,G2,..,Gn
34  * @param supVector
35  * Vector of generators;
36  * supervisors supC_{i+k} such that ||supC_{i+k} is the supremal
37  * conditionally controllable sublanguage of K are returned in this vector
38  * @param Coord
39  * a generator;
40  * computed coordinator is returned in this parameter
41  * @return
42  * Returns the supVector of supervisors and the computer coordinator
43  *
44  * @exception Exception
45  * - alphabets of generators don't match (id 100)
46  * - plant nondeterministic (id 201)
47  *
48  * @ingroup CoordinationControlPlugIn
49  */
51  const Generator& gen,
52  const GeneratorVector& genVector,
53  const EventSet& ACntrl,
54  const EventSet& InitEk,
55  GeneratorVector& supVector,
56  Generator& Coord);
57 
58 } // namespace faudes
59 
60 #endif

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen