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
Utilize libFAUDES from the GUI DESTool,
libFAUDES is written in C++ with use of the Standard Template Library (STL). The libFAUDES generator classes are set-based models, that resemble the definition of the quintuple automaton G = (Q, Sigma, delta, Qo, Qm). Using libFAUDES to implement algorithms originally stated in terms of automata is straight forward and benefits from general infrastructure, like file I/O and visualisation via Graphviz/dot.
The libFAUDES build system can organize an optional user reference, to complement the doxygen-generated C++ API documentation. Thus, developers who wish to illustrate, motivate or explain their algorithms by examples, informative text or formal definitions, can directly address the end-user of libFAUDES based applications, e.g. luafaudes or DESTool.
Lua Scripting Support
The interpreter luafaudes makes libFAUDES data types and functions available within the scripting language Lua. The wrapper code that integrates libFAUDES with Lua is automatically generated by the build-system using the tool SWIG. The additional coding effort, required to provide access to libFAUDES extensions from within Lua, is minimal; see plug-in example. This makes libFAUDES an ideal platform to advertise newly developed approaches for the control of discrete event systems.
Non-restrictive Open-Source License
libFAUDES sources are distributed for free under conditions of the GNU Lesser General Public License (LGPL). There are no prohibitive restrictions to use the library in non-open source and/or commercial projects. libFAUDES comes with a (compile-time-) plug-in mechanism to extend the library in an organised manner. In particular, plug-in developers are invited but not forced to contribute their code to libFAUDES. Finally, due to the LGPL licensing, plug-in developers will never depend on future design decisions made by libFAUDES copyright holders.
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 Januar 2023, the following people have contributed to the development of the core library and its plug-ins:
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 - 2024 Thomas Moor, Klaus Schmidt
|source code via GitHub
|improvements in compositional verification
|incl. hybrid automata plug-in (optional, requires PPL)
|incl. compositional verification/synthesis
|updated Coordination Control plug-in
|online luafaudes console
|optimisation/validation for 64-bit environments
|Fault-Tolerant Control lua-extension
|Pushdown plug-in for context free specification languages
|updated Coordination Control plug-in and D3RIP interface
|application "Flexible Manufacturing System" presented at WODES 2010
|2nd DESTool preview
|IoDevice and Diagnosis plug-ins
|luabindings, HioSys and Multitasking plug-ins
|Timed and Simulator plug-ins
|used for WODES 2008 benchmark
|first public release with Bernd Opitz' Thesis