Bisimilarity Control of Nondeterministic Discrete Event Systems
This paper addresses the bisimilarity control problem of discrete event systems (DESs)under full observations and partial observations,in which both the plant and the speci cation are allowed to be nondeterministic.The main contribution is the derivation of necessary and suf cient conditions for the existence of a supervisor that achieves a given speci cation in terms of bisimulation equivalence.The notions of simulation-based controllability and simulation-based observability are proposed respectively,which are generalizations of the counterparts in the classical supervisory control in the sense of language equivalence.With these new notations,the main results here can be presented as the controllability and observability theorems for bisimulation.
LIU Fuchun QIU Daowen LIN Hai
Department of Computer Science,Sun Yat-sen University,Guangzhou 510006,P.R.China Faculty of Computer Department of Computer Science,Sun Yat-sen University,Guangzhou 510006,P.R.China SQIG-Instituto de T Department of Electrical and Computer Engineering,National University of Singapore,117576,Singapore
国际会议
The 30th Chinese Control Conference(第三十届中国控制会议)
烟台
英文
1-6
2011-07-01（万方平台首次上网日期，不代表论文的发表时间）