Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
复制标题
部分观测的非确定性离散事件系统的双相似控制和测试算法
DOI：
10.1016/j.automatica.2011.01.066
复制
发表时间：
2011-04
期刊：
影响因子：
6.4
通讯作者：
Lin, Hai
中科院分区：
文献类型：
--
作者：
Liu, Fuchun;Dziong, Zbigniew;Lin, Hai
本文研究了部分观测下离散事件系统的双相似控制问题，其中允许对象和规范是不确定的。基于规范和对象之间的仿真关系，形式化了基于仿真的可控性和监督系统的同步方案的符号。证明了基于模拟的能控性和语言能观性的概念刻画了双相似监督器的存在性，将监督控制的传统结果从语言等价推广到了互模拟等价.此外，通过构造计算树，提出了一种多项式算法来检验基于仿真的可控性。该算法与语言可观察性测试相结合，可以用来检验双相似监督子的存在性。
In this paper, the bisimilarity control of discrete event systems (DESs) under partial observations is investigated, where the plant and the specification are allowed to be nondeterministic. A notation of simulation-based controllability and a synchronization scheme for the supervised system are formalized based on the simulation relation between the specification and the plant. It is shown that the existence of bisimilarity supervisors is characterized by the notions of the simulation-based controllability and the language observability, which extends the traditional results of supervisory control from language equivalence to bisimulation equivalence. In addition, a polynomial algorithm to test the simulation-based controllability is developed by constructing a computing tree. This algorithm together with the test of language observability can be used to check the existence of bisimilarity supervisors.
登录
查看更多内容
DOI：
10.1016/b978-044450813-3/50026-6
发表时间：
2001
期刊：
--
影响因子：
--
作者：
E. Clarke;Holger Schlingloff
通讯作者：
E. Clarke;Holger Schlingloff
DOI：
10.1007/978-3-642-61455-2_16
发表时间：
1996-09
期刊：
--
影响因子：
--
作者：
Edmund M. Clarke;O. Grumberg;D. E. Long
通讯作者：
Edmund M. Clarke;O. Grumberg;D. E. Long
影响因子：
6.8
作者：
Fuchun Liu;Daowen Qiu;Hongyan Xing;Zhujun Fan
通讯作者：
Fuchun Liu;Daowen Qiu;Hongyan Xing;Zhujun Fan
影响因子：
5.6
作者：
Changyan Zhou;Ratnesh Kumar;Shengbing Jiang
通讯作者：
Changyan Zhou;Ratnesh Kumar;Shengbing Jiang
DOI：
10.1201/b13055-18
发表时间：
2019-01
期刊：
--
影响因子：
--
作者：
D. Peled;Patrizio Pelliccione;Paola Spoletini
通讯作者：
D. Peled;Patrizio Pelliccione;Paola Spoletini