libFAUDES — An open source C++ library for discrete event systems
Year: 2008
Type: conference-paper
Abstract: The libFAUDES (Friedrich-Alexander University Discrete Event Systems) library is an open source C++ software library for discrete event systems (DES) that is developed at the University of Erlangen-Nuremberg. The core library supports methods for the DES analysis and supervisor synthesis, while a built-in plugin mechanism allows of specialized library extensions. In this paper, we evaluate libFAUDES according to the benchmark examples provided for the Workshop on Discrete Event Systems 2008.
Authors: Thomas Moor, Klaus Schmidt, Sebastian Perk
Institution: Friedrich-Alexander-Universität Erlangen-Nürnberg
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2133419547