op_include.h

Go 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