Bisimilarity Control of Decentralized Nondeterministic Discrete-Event Systems

摘要：

　　Recently,we investigated bisimilarity control of nondeterministic discrete-event systems(DESs),where the constructed framework is centralized.This paper aims to generalize it to the decentralized case and develop a decentralized supervisory control theory for nondeterministic DESs with bisimulation equivalence.A synchronous composition for supervised systems is proposed based on the simulation relation between nondeterministic specification and plant.The notions of simulation-based controllability and simulation-based coobservability are formalized to characterize the necessary and sufficient conditions for the existence of the decentralized bisimilarity supervisor that achieve the given specification in terms of bisimulation equivalence.

关键词： Discrete-event systems Nondeterministic systems decentralized supervisory control Bisimulation equivalence

作者: LIU Fuchun ZHANG Qiansheng CHEN Xuesong

作者单位: School of Computers,Guangdong University of Technology,Guangzhou 510006,P.R.China School of Informatics,Guangdong University of Foreign Studies,Guangzhou 510420,P.R.China School of Applied Mathematics,Guangdong University of Technology,Guangzhou 510006,P.R.China

会议类型: 国际会议

会议名称: The 33th Chinese Control Conference第33届中国控制会议

会议地点: 南京

会议语种:英文

页码: 3898-3903

在线出版日期: 2014-07-28（万方平台首次上网日期，不代表论文的发表时间）