Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation

DOI10.1080/00207179.2016.1147606zbMATH Open1360.93446arXiv1312.0821OpenAlexW2762344830MaRDI QIDQ2979535FDOQ2979535

Authors: Renyuan Zhang, Kai Cai, Yongmei Gan, W. Murray Wonham 

Publication date: 25 April 2017

Published in: International Journal of Control (Search for Journal in Brave)

Abstract: Recently we studied communication delay in distributed control of untimed discrete-event systems based on supervisor localization. We proposed a property called delay-robustness: the overall system behavior controlled by distributed controllers with communication delay is logically equivalent to its delay-free counterpart. In this paper we extend our previous work to timed discrete-event systems, in which communication delays are counted by a special clock event {it tick}. First, we propose a timed channel model and define timed delay-robustness; for the latter, a polynomial verification procedure is presented. Next, if the delay-robust property does not hold, we introduce bounded delay-robustness, and present an algorithm to compute the maximal delay bound (measured by number of ticks) for transmitting a channeled event. Finally, we demonstrate delay-robustness on the example of an under-load tap-changing transformer.

Full work available at URL: https://arxiv.org/abs/1312.0821

Recommendations

• Localisation-based distributed control of timed discrete-event systems with communication delay
• Distributed supervisory control of discrete-event systems with communication delay
• Robustness of synchronous communication protocols with delay for decentralized discrete-event control
• Reliable decentralized supervisors for discrete-event systems under communication delays: existence and verification
• Decentralized control of networked discrete event systems with communication delays

zbMATH Keywords

timed discrete-event systemsdelay-robustnessdistributed supervisory controlsupervisor localisation

Mathematics Subject Classification ID

Applications of graph theory (05C90) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Cites Work

• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
• Supervisory Control Architecture for Discrete-Event Systems
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
• On the computation of natural observers in discrete-event systems
• On the computation of observers in discrete-event systems
• Supervisory control of timed discrete-event systems
• Nonblocking supervisory control of state tree structures.
• Decentralized supervisory control with communicating controllers
• 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
• Coordination control of discrete-event systems revisited
• Robustness of synchronous communication protocols with delay for decentralized discrete-event control
• Supervision localization of timed discrete-event systems

Cited In (3)

• Overview of networked supervisory control with imperfect communication channels
• Localisation-based distributed control of timed discrete-event systems with communication delay
• Distributed supervisory control of discrete-event systems with communication delay

This page was built for publication: Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2979535)