✦ LIBER ✦

Reliable supervisory control for general architecture of decentralized discrete event systems

✍ Scribed by Fuchun Liu; Hai Lin

Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 562 KB
Volume: 46
Category: Article
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2010.06.011

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper, we investigate the reliable decentralized supervisory control of discrete event systems (DESs) under the general architecture, where the decision for controllable events is a combination of the conjunctive and disjunctive fusion rules. By reliable control, we mean that the performance of closedloop systems will not be degraded even in the face of possible failures of some local supervisors. The main contributions are twofold. First, a necessary and sufficient condition for the existence of a kreliable decentralized supervisor under the general architecture is presented after introducing notions of Σ uc -controllability and k-reliable Σ c -coobservability. Second, a polynomial-time algorithm to verify the reliable Σ c -coobservability of a specification is proposed.

📜 SIMILAR VOLUMES

Decentralized supervisory control of dis

Decentralized supervisory control of discrete event systems with nonhomogeneous control structure

✍ H. Mortazavian; F. Lin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 720 KB

Mutually nonblocking supervisory control

Mutually nonblocking supervisory control of discrete event systems

✍ M. Fabian; R. Kumar 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 154 KB

A single maximally permissive and nonblocking supervisor to simultaneously ful"ll several marked speci"cations pertaining to a single plant is investigated. Given a plant G and two marked speci"cation languages K and K , a supervisor S is said to be (K , K )-mutually nonblocking if (for i, j"1,2) ¸(

Decentralized state feedback control of

Decentralized state feedback control of discrete event systems

✍ Shigemasa Takai; Shinzo Kodama; Toshimitsu Ushio 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 437 KB

Decentralized supervisory control of dis

Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures

✍ Seong-Jin Park; Kwang-Hyun Cho 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 222 KB

On nonconflicting languages that arise i

On nonconflicting languages that arise in supervisory control of discrete event systems

✍ Enke Chen; Stéphane Lafortune 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 527 KB

Robust supervisory control of a class of

Robust supervisory control of a class of timed discrete event systems under partial observation

✍ Shigemasa Takai 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 119 KB

This paper studies robust supervisory control of timed discrete event systems proposed by Brandin and Wonham. Given a set of possible models which includes the exact model of the plant, the objective is to synthesize a robust supervisor such that it achieves legal behavior for all possible models. W