Please use this identifier to cite or link to this item:
|Title:||Reliable supervisory control for general architecture of decentralized discrete event systems||Authors:||Liu, F.
Discrete event systems
|Issue Date:||Sep-2010||Citation:||Liu, F., Lin, H. (2010-09). Reliable supervisory control for general architecture of decentralized discrete event systems. Automatica 46 (9) : 1510-1516. ScholarBank@NUS Repository. https://doi.org/10.1016/j.automatica.2010.06.011||Abstract:||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 closed-loop 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 k-reliable 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. © 2010 Elsevier Ltd. All rights reserved.||Source Title:||Automatica||URI:||http://scholarbank.nus.edu.sg/handle/10635/82977||ISSN:||00051098||DOI:||10.1016/j.automatica.2010.06.011|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on May 28, 2020
WEB OF SCIENCETM
checked on May 20, 2020
checked on May 10, 2020
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.