mtc_include.hGo 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 |