mtc_include.h

Go to the documentation of this file.
00001 /** @file mtc_include.h
00002 
00003 Includes all multitasking plug-in headers
00004 
00005 */
00006 
00007 /* FAU Discrete Event Systems Library (libfaudes)
00008 
00009    Copyright (C) 2008  Matthias Singer
00010    Exclusive copyright is granted to Klaus Schmidt
00011 
00012    This library is free software; you can redistribute it and/or
00013    modify it under the terms of the GNU Lesser General Public
00014    License as published by the Free Software Foundation; either
00015    version 2.1 of the License, or (at your option) any later version.
00016 
00017    This library is distributed in the hope that it will be useful,
00018    but WITHOUT ANY WARRANTY; without even the implied warranty of
00019    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00020    Lesser General Public License for more details.
00021 
00022    You should have received a copy of the GNU Lesser General Public
00023    License along with this library; if not, write to the Free Software
00024    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA */
00025 
00026 
00027 #ifndef MTC_INCLUDE_H
00028 
00029 #include "mtc_attributes.h"
00030 #include "mtc_generator.h"
00031 #include "mtc_parallel.h"
00032 #include "mtc_supcon.h"
00033 #include "mtc_statemin.h"
00034 #include "mtc_project.h"
00035 #include "mtc_observercomputation.h"
00036 #include "mtc_obserververification.h"
00037 #include "mtc_redundantcolors.h"
00038 
00039 #define MTC_INCLUDE_H
00040 #endif
00041 
00042 /**
00043 
00044 @defgroup MultitaskingPlugin Multitasking PlugIn
00045 
00046 @ingroup AllPlugins
00047 
00048 
00049 <p>
00050 The multitasking plug-in allows to examine colored marking generators
00051 (CMGs). Generators can be created in the same way as in the standard
00052 implementation, the identifier is MtcSystem. In addition to
00053 the standard implementation that is based on the classical theory,
00054 colored markings can be applied to single states. The class
00055 faudes::TmtcGenerator implements various methods to handle CMGs. Furthermore,
00056 functions for making CMGs deterministic or strongly
00057 coaccessible, for computing the parallel composition or an
00058 projection, are provided.
00059 </p>
00060 
00061 <p>
00062 The libFAUDES multitasking plugin allows to develop descrete event systems using the classical, 
00063 monolithic approach. Additionally, it is suitable for their modular or hierarchical development. 
00064 For more information to the modular proceeding see 
00065 </p>
00066 
00067 <p><i>
00068 "Modular Multi-tasking Supervisory Control of Composite Discrete Event Systems", 
00069 M.H. de Queiroz and J.E.R. Cury, IFAC World Congress, 2005.
00070 </i></p>
00071 
00072 
00073 <p>
00074 Further information to the hierarchical proceeding can be found in
00075 </p>
00076 
00077 <p><i>
00078 "Hierarchical and Decentralized Multitasking Control of Discrete Event Systems", K. Schmidt, M. H. Queiroz, and 
00079 J. E. R. Cury, IEEE Conference on Decision and Control, 2007.
00080 </i></p>
00081 
00082 
00083 @section License
00084 
00085 <p>
00086 The implementation of the multitasking plug-in was part
00087 of Matthias Singers' student project, supervised by Klaus Schmidt.
00088 The code is distributed with libFAUDES and under the terms of
00089 the LGPL.
00090 </p>
00091 
00092 <br>
00093 <br>
00094 <br>
00095 
00096 
00097 <p>
00098 Copyright (c) 2008,  Matthias Singer.
00099 </p>
00100 
00101 */

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen