Distributed supervisory control of discrete-event systems with communication delay
From MaRDI portal
Publication:503030
DOI10.1007/S10626-014-0208-4zbMATH Open1353.93073arXiv1207.5072OpenAlexW3104319463MaRDI QIDQ503030FDOQ503030
Authors: Renyuan Zhang, Kai Cai, Yongmei Gan, W. Murray Wonham 
Publication date: 11 January 2017
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Abstract: This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed supervisory control problem has been investigated on the assumption that inter-agent communications take place with negligible delay. From an applications viewpoint it is desirable to relax this constraint and identify communicating distributed controllers which are delay-robust, namely logically equivalent to their delay-free counterparts. For this we introduce inter-agent channels modeled as 2-state automata, compute the overall system behavior, and present an effective computational test for delay-robustness. From the test it typically results that the given delay-free distributed control is delay-robust with respect to certain communicated events, but not for all, thus distinguishing events which are not delay-critical from those that are. The approach is illustrated by a workcell model with three communicating agents.
Full work available at URL: https://arxiv.org/abs/1207.5072
Recommendations
- Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
- Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures
- Decentralized control of networked discrete event systems with communication delays
- Supervisory control of discrete event systems with communication delays and partial observations
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)
Cites Work
- Title not available (Why is that?)
- Supervisory Control of a Class of Discrete Event Processes
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
- On the computation of natural observers in discrete-event systems
- On the computation of observers in discrete-event systems
- Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures
- Modular control and coordination of discrete-event systems
- Nonblocking supervisory control of state tree structures.
- Decentralized supervisory control with communicating controllers
- Distributed Control of Discrete-Event Systems: A First Step
- Decentralized Supervisory Control of Discrete-Event Systems Over Communication Networks
- On Solvability of a Decentralized Supervisory Control Problem With Communication
- Distributed supervisory control of discrete-event systems with communication delay
- Control of networked discrete event systems: dealing with communication delays and losses
- Mind the gap: expanding communication options in decentralized discrete-event control
Cited In (24)
- Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Delayed optimal control of stochastic LQ problem
- Overview of networked supervisory control with imperfect communication channels
- Supervised-distributed control with joint performance and communication optimisation
- What information really matters in supervisor reduction?
- Modeling and Synthesis of Event-Transferring Communicating Decentralized Supervisors for Discrete-Event Systems
- Supervisory control of state-tree structures with partial observation
- A language-based diagnosis framework for permanent and intermittent faults
- Decentralized control of networked discrete event systems with communication delays
- Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays
- Localisation-based distributed control of timed discrete-event systems with communication delay
- A new modeling framework for networked discrete-event systems
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
- Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
- Reliable decentralized supervisors for discrete-event systems under communication delays: existence and verification
- Symbolic Supervisory Control of Distributed Systems With Communications
- Decentralized observability of discrete event systems with synchronizations
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control
- Cooperative control of networked discrete-event systems: application to the handling system HANS
- Supervisory control under delayed observations of events and states
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
- Distributed supervisory control of discrete-event systems with communication delay
- Supervisor localization of discrete-event systems under partial observation
Uses Software
This page was built for publication: Distributed supervisory control of discrete-event systems with communication delay
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q503030)
