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

Date

2008-10-08

Author

Moor, Thomas
Schmidt, Klaus Verner
Perk, Sebastian

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

107
views

0
downloads

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.

Subject Keywords

Discrete Event Systems , Conferences

URI

https://hdl.handle.net/11511/48754

DOI

https://doi.org/10.1109/wodes.2008.4605933

Collections

Department of Electrical and Electronics Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

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.
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...
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...
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...
girdap: Open source object-oriented autonomous grid management library for solving equations of conservation laws Uzgoren, Eray (Elsevier BV, 2017-10-12) girdap is an object-oriented grid generation and management library that uses finite volume operator objects to provide researchers and educators a framework to solve different sets of algebraic and differential equations on multiple grid objects, which are allowed to interact with each other. Grid objects have the capability of performing local anisotropic grid refinement (h-adaptation) as well as relocating their vertices (r-adaptation) to resolve length scales based on solution field obtained using algeb...

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: https://hdl.handle.net/11511/48754.