op_include.hGo to the documentation of this file.00001 /** @file op_include.h Includes all observer plugin headers */ 00002 00003 /* 00004 **************************************************** 00005 Convenience header file that includes all headers 00006 relevant to the observer plugin. The make system will 00007 append an include directive for this file to the 00008 "allplugins.h" include file. 00009 00010 (c) Klaus Schmidt 2008 00011 **************************************************** 00012 */ 00013 00014 /* FAU Discrete Event Systems Library (libfaudes) 00015 00016 Copyright (C) Klaus Schmidt 00017 00018 This library is free software; you can redistribute it and/or 00019 modify it under the terms of the GNU Lesser General Public 00020 License as published by the Free Software Foundation; either 00021 version 2.1 of the License, or (at your option) any later version. 00022 00023 This library is distributed in the hope that it will be useful, 00024 but WITHOUT ANY WARRANTY; without even the implied warranty of 00025 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00026 Lesser General Public License for more details. 00027 00028 You should have received a copy of the GNU Lesser General Public 00029 License along with this library; if not, write to the Free Software 00030 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */ 00031 00032 #ifndef FAUDES_OP_INCLUDE_H 00033 #define FAUDES_OP_INCLUDE_H 00034 00035 00036 #include "op_mc.h" 00037 #include "op_debug.h" 00038 #include "op_observercomputation.h" 00039 #include "op_obserververification.h" 00040 #include "op_partition.h" 00041 #include "op_bisimulation.h" 00042 00043 #endif 00044 00045 00046 /** 00047 00048 00049 @defgroup ObserverPlugin Observer PlugIn 00050 00051 00052 @ingroup AllPlugins 00053 00054 @section Overview 00055 00056 <p> 00057 This plugin offers algorithms for the verification and synthesis 00058 of natural projections that are observers according to 00059 </p> 00060 00061 <p><i> 00062 K. C. Wong and W. M. Wonham, "On the Computation of Observers in Discrete Event 00063 Systems," Discrete Event Dynamic Systems, vol. 14, no. 1, pp. 55-107, 2004. 00064 </i></p> 00065 00066 <p> 00067 and that fulfill the output control consistency (OCC) or local 00068 control consistency (LCC) condition for maximally permissive 00069 hierarchical control according to 00070 </p> 00071 00072 <p><i> 00073 K. Schmidt and C. Breindl, "On Maximal Permissiveness of Hierarchical and Modular Supervisory 00074 Control Approaches for Discrete Event Systems," Workshop on Discrete Event Systems, 2008. 00075 </i></p> 00076 00077 @section License 00078 00079 <p> 00080 The initial version of the observer plug-in was implemented 00081 by Bernd Opitz together with the initial version of libFAUDES. 00082 A major revision and extension was part of Christian Breindl's student project, 00083 supervised by Klaus Schmidt. 00084 The observer plugin is distributed with libFAUDES and under the terms of 00085 the LGPL. 00086 </p> 00087 00088 00089 00090 <br> 00091 <br> 00092 <br> 00093 00094 00095 <p> 00096 Copyright (c) 2006, Bernd Opitz 00097 <br> 00098 Copyright (c) 2008, Christian Breindl, Klaus Schmidt. 00099 </p> 00100 00101 */ libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |