Title :
libFAUDES — An open source C++ library for discrete event systems
Author :
Moor, Thomas ; Schmidt, Klaus ; Perk, Sebastian
Author_Institution :
Lehrstuhl fur Regelungstech., Univ. Erlangen-Nurnberg, Erlangen
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.
Keywords :
C++ language; control system CAD; control system analysis computing; discrete event systems; public domain software; software libraries; Friedrich-Alexander University Discrete Event Systems library; discrete event system analysis; libFAUDES; open source C++ library; supervisor synthesis; Algorithm design and analysis; Automata; Automatic control; Containers; Control system synthesis; Control systems; Discrete event systems; Distributed control; Software libraries; Supervisory control;
Conference_Titel :
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on
Conference_Location :
Goteborg
Print_ISBN :
978-1-4244-2592-1
Electronic_ISBN :
978-1-4244-2593-8
DOI :
10.1109/WODES.2008.4605933
