ios_include.hGo to the documentation of this file.00001 /** @file ios_include.h Include iosystem plugin headers */ 00002 00003 /* 00004 **************************************************** 00005 Convenience header file that includes all headers 00006 relevant to the iosystem plugin. The make system will append 00007 an include directive for this file to the "allplugins.h" 00008 include file. 00009 00010 (C) 2010, Thomas Wittmann, Thomas Moor 00011 **************************************************** 00012 */ 00013 00014 #ifndef FAUDES_IOS_INCLUDE_H 00015 #define FAUDES_IOS_INCLUDE_H 00016 00017 // activate debug messages 00018 #ifndef FAUDES_DEBUG_IOSYS 00019 #define FAUDES_DEBUG_IOSYS 00020 #endif 00021 00022 #include "ios_attributes.h" 00023 #include "ios_system.h" 00024 #include "ios_algorithms.h" 00025 00026 00027 #endif 00028 00029 00030 /** 00031 00032 00033 @defgroup IoSysPlugin I/O System PlugIn 00034 00035 00036 @ingroup AllPlugins 00037 00038 @section Overview 00039 00040 <p> 00041 This plug-in implements discrete event systems with alternating 00042 input and output events that satisfy Willems' conditions on 00043 I/O behaviours. Special attention is payed to non-closed languages 00044 and their not necessarily complete omega extensions. 00045 </p> 00046 00047 <p> 00048 A detailed discussion on the subject is given in 00049 Thomas Wittmann's Diploma Thesis, including how the results 00050 relate to earlier work of Moor/Raisch on abstraction based 00051 control of hybrid systems. A technical report has been submitted 00052 for publication and is currently under review. 00053 For a consise introduction, see the libFAUDES user reference, 00054 section <a href="../reference/iosystem_index.html">IoSystem</a>. 00055 </p> 00056 00057 @section License 00058 00059 <p> 00060 This plug-in is distributed with libFAUDES and under the terms of 00061 the LGPL. 00062 </p> 00063 <br> 00064 <br> 00065 <br> 00066 00067 00068 <p> 00069 Copyright (C) 2010 Thomas Wittmann, Thomas Moor 00070 </p> 00071 00072 00073 00074 00075 */ libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |