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

Authors:
Seong-Jin Park;Kwang-Hyun Cho
Affiliations:
Department of Electrical and Computer Engineering, Ajou University, Suwon 443749, Korea;College of Medicine, Seoul National University, Jongno-gu, Seoul 110799, Korea and Bio-MAX Institute, Seoul National University, Gwanak-gu, Seoul 151818, Korea
Venue:
Automatica (Journal of IFAC)
Year:
2007

Citing 3
Cited 4

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems

Discrete Event Dynamic Systems
On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems

Discrete Event Dynamic Systems

Brief paper: Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions

Automatica (Journal of IFAC)
On Algebraic Properties of Delay-Nonconflicting Languages in Supervisory Control under Communication Delays

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Brief paper: Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays

Automatica (Journal of IFAC)
Brief paper: Reliable supervisory control for general architecture of decentralized discrete event systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	22.15

Visualization

Abstract

In many practical discrete event systems (DESs), some unexpected and uncontrollable events can subsequently occur before a proper control action is actually applied to a plant due to communication delays. For such DESs, this paper investigates necessary and sufficient conditions for the existence of a nonblocking decentralized supervisor that can correctly achieve a given language specification when the decentralized supervisor is assumed to have a conjunctive and permissive decision structure. In particular, this paper presents a notion of delay-coobservability for a given language specification and shows that it is a key condition for the existence of such a decentralized supervisor.