Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
97
views
0
downloads
Cite This
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
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.