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

DOI10.1080/00207179.2016.1147606MaRDI QIDQ2979535zbMATHOpenAlexFDO

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)

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

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)

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.

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

Cites work

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