Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
698565 | Automatica | 2007 | 6 Pages |
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.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Seong-Jin Park, Kwang-Hyun Cho,