Please use this identifier to cite or link to this item:
Title: Decentralized bisimilarity control of discrete event systems
Authors: Sun, Y.
Lin, H.
Chen, B.M. 
Keywords: Bisimulation
Discrete Event Systems
Nondeterministic Systems
Supervisory Control
Issue Date: 2012
Source: Sun, Y.,Lin, H.,Chen, B.M. (2012). Decentralized bisimilarity control of discrete event systems. Chinese Control Conference, CCC : 2134-2139. ScholarBank@NUS Repository.
Abstract: This paper studies the decentralized control of discrete event systems (DESs) for bisimulation equivalence, where the plant and the specification are taken to be nondeterministic and the supervisor is taken to be deterministic. An automaton-based control framework is formalized, upon which we develop two architectures-a conjunctive architecture and a disjunctive architecture with respect to different decision making rules for the decentralized bisimilarity control. Under these architectures, necessary and sufficient conditions for the existence of decentralized bisimilarity supervisors are derived respectively, which extend traditional results of supervisory control from language equivalence to bisimulation equivalence. It is shown that these conditions can be verified with exponential complexity. Furthermore, the synthesis of decentralized bisimilarity supervisors is further presented when the existence condition holds. © 2012 Chinese Assoc of Automati.
Source Title: Chinese Control Conference, CCC
ISBN: 9789881563811
ISSN: 19341768
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

checked on Jan 21, 2018

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.