About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
op_include.h
Go to the documentation of this file.
1
/** @file op_include.h Includes all observer plugin headers */
2
3
/*
4
****************************************************
5
Convenience header file that includes all headers
6
relevant to the observer plugin. The make system will
7
append an include directive for this file to the
8
"allplugins.h" include file.
9
10
(c) Klaus Schmidt 2008
11
****************************************************
12
*/
13
14
/* FAU Discrete Event Systems Library (libfaudes)
15
16
Copyright (C) Klaus Schmidt
17
18
This library is free software; you can redistribute it and/or
19
modify it under the terms of the GNU Lesser General Public
20
License as published by the Free Software Foundation; either
21
version 2.1 of the License, or (at your option) any later version.
22
23
This library is distributed in the hope that it will be useful,
24
but WITHOUT ANY WARRANTY; without even the implied warranty of
25
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
26
Lesser General Public License for more details.
27
28
You should have received a copy of the GNU Lesser General Public
29
License along with this library; if not, write to the Free Software
30
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */
31
32
#ifndef FAUDES_OP_INCLUDE_H
33
#define FAUDES_OP_INCLUDE_H
34
35
36
#include "
op_mc.h
"
37
#include "
op_debug.h
"
38
#include "
op_observercomputation.h
"
39
#include "
op_obserververification.h
"
40
#include "
op_partition.h
"
41
#include "
op_bisimulation.h
"
42
43
#endif
44
45
46
/**
47
48
49
@defgroup ObserverPlugin Observer PlugIn
50
51
52
@ingroup AllPlugins
53
54
@section Overview
55
56
<p>
57
This plugin offers algorithms for the verification and synthesis
58
of natural projections that are observers according to
59
</p>
60
61
<p><i>
62
K. C. Wong and W. M. Wonham, "On the Computation of Observers in Discrete Event
63
Systems," Discrete Event Dynamic Systems, vol. 14, no. 1, pp. 55-107, 2004.
64
</i></p>
65
66
<p>
67
and that fulfill the output control consistency (OCC) or local
68
control consistency (LCC) condition for maximally permissive
69
hierarchical control according to
70
</p>
71
72
<p><i>
73
K. Schmidt and C. Breindl, "On Maximal Permissiveness of Hierarchical and Modular Supervisory
74
Control Approaches for Discrete Event Systems," Workshop on Discrete Event Systems, 2008.
75
</i></p>
76
77
@section License
78
79
<p>
80
The initial version of the observer plug-in was implemented
81
by Bernd Opitz together with the initial version of libFAUDES.
82
A major revision and extension was part of Christian Breindl's student project,
83
supervised by Klaus Schmidt.
84
The observer plugin is distributed with libFAUDES and under the terms of
85
the LGPL.
86
</p>
87
88
89
90
<br>
91
<br>
92
<br>
93
94
95
<p>
96
Copyright (c) 2006, Bernd Opitz
97
<br>
98
Copyright (c) 2008, Christian Breindl, Klaus Schmidt.
99
</p>
100
101
*/
libFAUDES 2.24g
--- 2014.09.15 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page