Decentralized Bisimilarity Control of Discrete Event Systems
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 automatonbased 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.
Bisimulation Supervisory Control Discrete Event Systems Nondeterministic Systems
Yajuan Sun Hai Lin Ben M. Chen
Department Electrical and Computer Engineering, National University Of Singapore, Singapore 117576 Department of Electrical Engineering, University of Notre Dame, USA 6556
国际会议
The 31st Chinese Control Conference(第三十一届中国控制会议)
合肥
英文
2134-2139
2012-07-01（万方平台首次上网日期，不代表论文的发表时间）