Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures |
| |
Authors: | Seong-Jin Park |
| |
Affiliation: | a Department of Electrical and Computer Engineering, Ajou University, Suwon 443749, Korea b College of Medicine, Seoul National University, Jongno-gu, Seoul 110799, Korea c Bio-MAX Institute, Seoul National University, Gwanak-gu, Seoul 151818, Korea |
| |
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. |
| |
Keywords: | Discrete event systems Decentralized supervisors Communication delays Delay-coobservability |
本文献已被 ScienceDirect 等数据库收录! |
|