Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures
نویسندگان
چکیده
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. 2007 Elsevier Ltd. All rights reserved.
منابع مشابه
Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays
In networked control systems, uncontrollable events may unexpectedly occur at a plant before a proper control command is applied to it due to communication delays. In this paper, we address the problem of decentralized supervisory control under such communication delays based on the C&P (conjunctive and permissive) and D&A (disjunctive and antipermissive) decision architecture. In particular, f...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملDecentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence
In decentralized systems, branching behaviors naturally arise due to communication, unmodeled dynamics and system abstraction, which can not be adequately captured by the traditional sequencing-based language equivalence. As a finer behavior equivalence than language equivalence, bisimulation not only allows the full set of branching behaviors but also explicitly specifies the properties in ter...
متن کاملDecentralized Supervisory Control of Discrete Event Systems: involving the fusion system in the decision-making
In the decentralized control of Discrete Event Systems, a set of supervisors take enabling/disabling decisions which can be fused for deducing actual decisions. The first architecture that has been developed for decentralized control is referred to as the conjunctive architecture. Several more general architectures have subsequently been proposed. We propose a new architecture, whose basic prin...
متن کاملReliable supervisory control for general architecture of decentralized discrete event systems
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 s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Automatica
دوره 43 شماره
صفحات -
تاریخ انتشار 2007