Supervision localization of timed discrete-event systems

Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wang, Zhaoan; Wonham, W. M.

doi:10.1016/j.automatica.2013.05.015

Cited by 23 publications

(20 citation statements)

References 13 publications

(56 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…where the operator lim is defined in (3). Hence pre(s) ⊆ A ∩ B = C, and thus s ∈ lim(C), which completes the proof.…”

Section: A Localization Of Sup ωmentioning

confidence: 56%

“…In [1][2][3][4][5][6] we developed a top-down approach, called supervisor localization, to the distributed control of multi-agent discrete-event systems (DES). This approach first synthesizes a monolithic supervisor (or a heterarchical array of modular supervisors), and then decomposes the supervisor into a set of local controllers for the component agents.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

Zhang

Cai

2018

IFAC-PapersOnLine

Self Cite

View full text Add to dashboard Cite

Recently we developed supervisor localization, a top-down approach to distributed control of discreteevent systems (DES) with finite behavior. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this report, we extend supervisor localization to study the distributed control of DES with infinite behavior. Specifically, we first employ Thistle and Wonham's supervisory control theory for DES with infinite behavior to compute a safety supervisor (for safety specifications) and a liveness supervisor (for liveness specifications), and then design a suitable localization procedure to decompose the safety supervisor into a set of safety local controllers, one for each controllable event, and decompose the liveness supervisor into a set of liveness local controllers, two for each controllable event. The localization procedure for decomposing the liveness supervisor is novel; in particular, a local controller is responsible for disabling the corresponding controllable event on only part of the states of the liveness supervisor, and consequently, the derived local controller in general has states number no more than that computed by considering the disablement on all the states.Moreover, we prove that the derived local controllers achieve the same controlled behavior with the safety and liveness supervisors. We finally illustrate the result by a Small Factory example.

show abstract

“…where the operator lim is defined in (3). Hence pre(s) ⊆ A ∩ B = C, and thus s ∈ lim(C), which completes the proof.…”

Section: A Localization Of Sup ωmentioning

confidence: 56%

Section: Introductionmentioning

confidence: 99%

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

Zhang

Cai

2018

IFAC-PapersOnLine

Self Cite

View full text Add to dashboard Cite

show abstract

“…By nonblockingness, every initiated task is allowed to run to completion; and by maximal permissiveness, the largest set of feasible TDES execution sequences within the specification are allowed. Besides, research is being actively pursued to evolve TTG-based control synthesis into a practical foundation of greater realism (e.g., [19]- [24]). Essentially, the synthesis also requires the specification to be given as a TTG.…”

Section: Introductionmentioning

confidence: 99%

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control

Dhananjayan

Seow

2014

IEEE Trans. Syst. Man Cybern, Syst.

View full text Add to dashboard Cite

In supervisory control of timed discrete-event systems (TDESs), a conceptually well founded finitary control synthesis framework is developed, and it requires specifications to be prescribed as finite (-trace) automata in the form of timed transition graphs (TTGs). However, prescribing real-time specifications as TTGs is a nontrivial task that must be resolved before the formal framework could expect to become widely used. In addressing this specification problem, metric temporal logic (MTL) is proposed in this paper as a control specification language for use with the TTG-based control synthesis framework. MTL is a designer-friendly formalism due to its human or natural language expressiveness and readability, and is well suited for specifying real-time control specifications. In automating TTG prescription, this paper proposes an MTL interface to the control synthesis framework. The interface is proved to be a correct and complete translation algorithm that converts finitary control specifications written in state-based MTL formulas for a given TDES model into deterministic finite TTGs. Integrated, the MTL interface and the control synthesis framework combine the human expressiveness and readability of MTL with the algorithmic computability of TTGs, and together provide a new and convenient MTL specification-based design tool for automated prescription of TTGs and real-time control synthesis. Illustrative examples demonstrate the utility of the MTL interface.

show abstract

“…In [1][2][3][4][5] we developed a top-down approach, called supervisor localization, to the distributed control of multi-agent discrete-event systems (DES). This approach first synthesizes a monolithic supervisor (or a heterarchical array of modular supervisors) assuming that all events can be observed, and then *This work was supported in part by the National Nature Science Foundation of China, Grant no.…”

Section: Introductionmentioning

confidence: 99%

Supervisor localization of discrete-event systems under partial observation

2017

Self Cite

View full text Add to dashboard Cite

Recently we developed supervisor localization, a top-down approach to distributed control of discreteevent systems. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this paper, we extend supervisor localization by considering partial observation; namely not all events are observable. Specifically, we employ the recently proposed concept of relative observability to compute a partial-observation monolithic supervisor, and then design a suitable localization procedure to decompose the supervisor into a set of local controllers. In the resulting local controllers, only observable events can cause state change. Further, to deal with large-scale systems, we combine the partial-observation supervisor localization with an efficient architectural synthesis approach: first compute a heterarchical array of partial-observation decentralized supervisors and coordinators, and then localize each of these supervisors/coordinators into local controllers.

show abstract

Supervision localization of timed discrete-event systems

Cited by 23 publications

References 13 publications

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control

Supervisor localization of discrete-event systems under partial observation

Contact Info

Product

Resources

About