libFAUDES

The discrete event systems library libFAUDES implements data structures and algorithms for finite automata and regular languages. The library takes a control theoretic perspective as originally introduced by P.J. Ramadge and W.M. Wonham in the 1980's. Since then, many researchers have contributed to supervisory control theory, including extensions for hierarchical, modular and decentralized controller synthesis; see [references]. With libFAUDES, we aim for (a) reduced coding effort in the implementation of methods for the control of discrete event systems, and (b) effectiv advertisement of such methods by making them available to the public.

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

Access libFAUDES data-types and functions within

Lua Scripts or DESTool (GUI preview)

Features

Authors

Building on research results as referenced, libFAUDES is continuously developed at the Lehrstuhl für Regelungstechnik (LRT) of the University Erlangen-Nürnberg. The first functional version was designed and coded by Bernd Opitz as a masters project [thesis].

As of January 2010, the following people have contributed to the development of the core library and its plug-ins:

Ruediger Berndt, Christian Breindl, Tobias Barthel, Christoph Doerr, Marc Duevel, Norman Franchi, Rainer Hartmann, 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, et al.

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

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

History

15.12.2010 libFAUDES 2.18a incl. iosystem plug-in
15.08.2010 libFAUDES 2.16a incl. application "Flexible Manufacturing System" presented at WODES 2010
15.02.2010 libFAUDES 2.14m 2nd DESTool preview
15.11.2009 libFAUDES 2.14e incl. iodevice and diagnosis plug-ins
01.06.2009 libFAUDES 2.13a incl. luabindings, hiosys and multitasking plug-ins
10.11.2008 libFAUDES 2.11v incl. timed and simulator plug-ins
15.05.2008 libFAUDES 2.09b incl. observer plug-in
01.05.2008 libFAUDES 2.09a used for WODES 2008 benchmark
01.05.2006 libFAUDES 1.00 first public release
   

libFAUDES 2.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"