About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
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
*/
50
bool
SupConditionalControllable
(
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
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page