LibFAUDES - an open source C++ library for discrete event systems

Moor, Thomas
Schmidt, Klaus Verner
Perk, Sebastian
The libFAUDES (Fried rich-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.


Fuzzy Hybrid Systems modeling with application in decision making and control
Boutalis, Yiannis; Moor, Thomas; Schmidt, Klaus Verner (2012-11-28)
Hybrid Systems are systems containing both discrete event and continuous variable components. Many recent contributions address crisp situations, where ambiguity or subjectivity in the measured data is absent. In this paper, we propose Fuzzy Hybrid Systems to account for inaccurate measurements and uncertain dynamics. We present a strategy to determine the most appropriate control actions in a sampled data setting. The proposed approach is based on three basic steps that are performed in each sampling perio...
Nonblocking hierarchical control of decentralized des
Schmidt, Klaus Verner; Moor, Thomas (null; 2005-12-01)
This work considers a hierarchical control architecture for a class of discrete event systems which can also be applied to decentralized control systems. It is shown that nonblocking supervisory control on the high level of the hierarchy results in nonblocking and hierarchically consistent control on the low level. Copyright © 2005 IFAC.
Communication of distributed discrete-event supervisors on a switched network
Schmidt, Klaus Verner; Schmidt, Şenan Ece (2008-05-30)
In order to tackle the controller synthesis problem for large-scale discrete-event systems, recent approaches suggest the design of interacting modular or decentralized supervisors. In these works, information exchange between the supervisors is either required implicitly by the synchronization of shared events or explicitly by the communication of events or symbols. However, it is not discussed how the communication can be realized if the supervisors are implemented in distributed controller devices that a...
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
Schmidt, Klaus Verner (2012-12-01)
The topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Dif...
METU Interoperable Database system
Dogac, Asuman; Halıcı, Uğur; Kilic, Ebru; Ozhan, Gokhan; Ozcan, Fatma; Nural, Sena; Dengi, Cevdet; Mancuhan, Sema; Arpinar, Budak; Koksal, Pinar; Evrendilek, Cem (1996-01-01)
A multidatabase system based on OMG's distributed object management architecture and named Middle East Technical University (METU) INteroperable Database management system (MIND) is presented. MIND employs a dynamic query optimizer. After a query is decomposed, the global subsequeries are sent to the involved Local Database Agent (LDA) objects. The optimization process starts after the first partial result from a LDA object becomes available. For optimizing the intersite operations among these partial resul...
Citation Formats
T. Moor, K. V. Schmidt, and S. Perk, “LibFAUDES - an open source C++ library for discrete event systems,” 2008, Accessed: 00, 2020. [Online]. Available: