libFAUDES - Friedrich Alexander University Discrete Event Systems Library

Overview

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.

Design

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.

• State, Event and Transition Set
• Generator Classes
• Operations on Generators
• Plugins
• Example Code and Data

Compile

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.

License

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.e-technik.uni-erlangen.de/FGdes/faudes for further information.

Copyright (C) 2006 Bernd Opitz
Copyright (C) 2008 Thomas Moor, Klaus Schmidt, Sebastian Perk

---