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.


On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems
Schmidt, Klaus Verner (2008-08-26)
Recently, several efficient modular and hierarchical approaches for the control of discrete event systems (DES) have been proposed. Although these methods are very suitable for dealing with the state space explosion problem, their common limitation is that either maximal permissiveness is not addressed or unnecessarily restrictive conditions are required in order to ensure maximally permissive control. In this paper we develop a unified framework for the investigation of maximal permissiveness of modular co...
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.
Controller synthesis for an I/O-based hierarchical system architecture
Perk, Sebastian; Moor, Thomas; Schmidt, Klaus Verner (2008-10-08)
In our previous work, a framework for the hierarchical design of discrete event systems has been introduced that is based on a notion of inputs and outputs. I/O-plant models describe the interaction of each subsystem with the operator (or controller) and the environment. By alternation of subsystem composition and controller synthesis, a hierarchy of controllers is obtained that complements a hierarchy of environment models. An admissibility condition was presented that implies liveness while allowing for a...
Distributed discrete event simulation architecture with connectors
Çolpankan, İsmet Özgür; Oğuztüzün, Mehmet Halit S.; Kara, Ahmet; Department of Computer Engineering (2014)
In this thesis we propose a distributed approach to Simulation Modeling Architecture (SiMA) with software connectors via Windows Communication Foundation (WCF) as a middleware technology. SiMA is a DEVS-based modeling and simulation framework developed in TUBITAK BILGEM ILTAREN. Discrete Event System Specification (DEVS) is a formalism that arranges complex system models with a well-defined execution protocol. A connector is a first class entity which performs interaction among components and plays an impor...
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...
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: