libFAUDES - Friedrich Alexander University Discrete Event Systems Library
libFAUDES is a C++ library supporting research in the field of discrete event systems (DES) modeled by finite automata. It implements data structures and algorithms for the manipulation of finite automata, and supplies algorithms for regular languages and for the supervisory control theory according to the Ramadge/Wonham-Framework.
The main purpose of the library is to provide a basis for the implementation and evaluation of algorithms for the analysis and synthesis of DESs. The standard Ramadge/Wonham supervisory control algorithms included in the library constitutes an example for such an implementation.
libFAUDES is organized in four components, namely container classes for sets of events, states and transitions; generator classes to model finite state machines; functions that implement general pupose algorithms on generators; and specialised algorithms and derived generator classes provided by plugins. The tutorial is seen as a pragmatic documentation which is supplemented by the doxygen generated html pages.
libFAUDES is coded in posix C++ and uses the standard template library (STL). It should compile flawlessly on most unix systems. Successful compilation on windows xp has been reported, see README.windows for details. We use linux as a development platfrom, where libFAUDES relies on gcc version 3.4 or above and GNU make.
To compile, run make
in the libFAUDES directory. This will build the libFAUDES shared object file. Check the Makefile for compile-time options, including verbose output, consistency checks, and plugings. A make tutorial
compiles examples from the tutorial section which are intended for testing/learning libFAUDES classes and functions.
The core library sources are provided for free under conditions of the GNU Lesser General Public License. Thus, while libFAUDES itself is an open project and you are invited to contribute, you may also use libFAUDES for the deveopment of non-open/commercial software. Note that different and perhaps more restrictive license terms may apply to the plugins that reside in the plugin directory.
See http://www.rt.eei.uni-erlangen.de/FGdes/faudes for further information
Copyright (C) 2006 Bernd Opitz
Copyright (C) 2008 Thomas Moor
Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by
doxygen
1.4.4