About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online

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.

D O W N L O A D

Sources and Linux Executables

MS Windows Installer

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, the core library 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], and since then was extended by numerous plug-ins, including external contributions.

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

Ruediger Berndt, Christian Breindl, Christine Baier, Tobias Barthel, Christoph Doerr, Marc Duevel, Norman Franchi, Rainer Hartmann, Jochen Hellenschmidt, Tomas Masopust, Andreas Mohr, Thomas Moor, Mihai Musunoi, Bernd Opitz, Irmgard Petzoldt, Sebastian Perk, Thomas Rempel, Daniel Ritter, Berno Schlein, Ece Schmidt, Klaus Schmidt, Matthias Singer, Ulas Turan, Thomas Wittmann, Shi Xiaoxun, 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
Copyright (C) 2011 Thomas Moor, Klaus Schmidt

History

01.05.2011 libFAUDES 2.20e 5th Anniversary :-)
01.04.2011 libFAUDES 2.20a incl. Lua extensions
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.20s --- 2011.10.12 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"