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
Communication of distributed discrete-event supervisors on a switched network
Date
2008-05-30
Author
Schmidt, Klaus Verner
Schmidt, Şenan Ece
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
199
views
0
downloads
Cite This
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 are connected by a communication network. In this paper, we study the synchronization of shared events among distributed supervisors on a switched network. In particular, we develop a communication model that accounts for possible transmission delays, and enables the correct operation of the communicating supervisors.
Subject Keywords
Discrete Event Systems
,
Conferences
URI
https://hdl.handle.net/11511/48688
DOI
https://doi.org/10.1109/wodes.2008.4605982
Collections
Department of Electrical and Electronics Engineering, Conference / Seminar
Suggestions
OpenMETU
Core
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...
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...
Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness
Schmidt, Klaus Verner; Cury, José E.r. (null; 2010-12-01)
This paper extends previous results on the hierarchical and decentralized control of multitasking discrete event systems (MTDES). Colored observers, a generalization of the observer property, together with local control consistency, allow to derive sufficient conditions for synthesizing modular and hierarchical control that are both strongly nonblocking (SNB) and maximally permissive. A polynomial procedure to verify if a projection fulfills the above properties is proposed and in the case they fail for a g...
Hierarchical control with partial observations: Sufficient conditions
Boutin, Olivier; Komenda, Jan; Masopust, Tomas; Schmidt, Klaus Verner; Van Schuppen, Jan H. (2011-12-01)
In this paper, hierarchical control of both monolithic and modular discrete-event systems under partial observations is studied. Two new conditions, called observation consistency and local observation consistency, are proposed. These conditions are sufficient for the preservation of observability between the original and the abstracted plant. Moreover, it is shown that both conditions are compositional, that is, they are preserved by the synchronous product. This property makes it possible to use hierarchi...
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...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
K. V. Schmidt and Ş. E. Schmidt, “Communication of distributed discrete-event supervisors on a switched network,” 2008, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/48688.