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"
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