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) effective 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, 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 April 2014, 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, Stefan Jacobi, Tomas Masopust, Andreas Mohr, Thomas Moor, Mihai Musunoi, Bernd Opitz, Irmgard Petzoldt, Sebastian Perk, Thomas Rempel, Daniel Ritter, Berno Schlein, Ece Schmidt, Klaus Schmidt, Anne-Kathrin Schmuck, Sven Schneider, Matthias Singer, Ulas Turan, Christian Wamser, Zhengying Wang, 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 - 2014 Thomas Moor, Klaus Schmidt

History

03.04.2014 libFAUDES 2.24a optimisation/validation for 64-bit environments
23.12.2013 libFAUDES 2.23c incl. Fault-Tolerant Control lua-extension
17.12.2013 libFAUDES 2.23a incl. Pushdown plug-in for context free specification languages
06.02.2012 libFAUDES 2.21e incl. updated Coordination Control plug-in and D3RIP interface
01.12.2011 libFAUDES 2.21a incl. Modbus/TCP IoDevice
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 with Bernd Opitz' Thesis
   

libFAUDES 2.23h --- 2014.04.03 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings"