libFAUDES

libFAUDES (Friedrich-Alexander University Discrete Event Systems Library) is a C++ library that implements data structures and algorithms for finite automata and regular languages. The library takes a control theoretic perspective as introduced by Ramadge an Wonham in the 1980's. Since then, many researchers have contributed to supervisory control theory, including extensions for hierarchical, modular and decentralized controller synthesis. The main purpose of our library is to provide a convenient basis for the software implementation of recent approaches to the control of discrete event systems.

G E T T I N G     S T A R T E D

Many libFAUDES data-types and functions can be accessed via the

Lua Scripting Language

Features

Authors

libFAUDES is continuously developed at the Lehrstuhl fuer Regelungstechnik of the University Erlangen-Nuernberg. Starting from a preliminary study conducted by Thomas Moor and Klaus Schmidt, the first fully functional version was designed and coded by Bernd Opitz' as a masters project [thesis]. As of May 2009, the following people have contributed to the development of the library:

Ruediger Berndt, Christian Breindl, Christoph Doerr, Marc Duevel, Norman Franchi, Jochen Hellenschmidt, Andreas Mohr, Thomas Moor, Mihai Musunoi, Bernd Opitz, Irmgard Petzoldt, Sebastian Perk, Thomas Rempel, Daniel Ritter, Berno Schlein, Klaus Schmidt, Matthias Singer, Thomas Wittmann, Jorgos Zaddach.

We are committed to extend and improve libFAUDES. External contributions are highly welcome, for contact write to Klaus Schmidt or Thomas Moor.

History

01.06.2009 libfaudes 2.13a (incl. luabindings, hiosys and multitasking plugins)
10.11.2008 libfaudes 2.11v (incl. timed and simulator plugins)
15.05.2008 libfaudes 2.09b (incl. observer plugin)
01.05.2008 libfaudes 2.09a (used for WODES 2008 benchmark)
01.05.2006 libfaudes 1.00 (first public release)
   

 

 

libFAUDES 2.13a --- 2009-5-29