Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
复制标题
具有非确定性规范的非确定性离散事件系统的双相似性实施监督控制
DOI：
10.1016/j.automatica.2019.06.022
复制
发表时间：
2019
期刊：
影响因子：
6.4
通讯作者：
Shigemasa Takai
中科院分区：
文献类型：
--
作者：
Jinglun Li;Shigemasa Takai;Shigemasa Takai
我们考虑一个双相似控制问题的植物和规范建模为非确定性自动机。这个问题要求我们合成一个不确定的监督者，使得被监督的对象与规范是双相似的。我们推导出一个新的必要和充分条件存在的监督，解决了双相似性控制问题。虽然验证此存在性条件的复杂性是指数的植物和规格的状态数，它是小于使用现有条件的穷举搜索。我们提出了如何合成的解决方案的双相似性控制问题，如果它存在。此外，我们给出了多项式可验证的必要条件。
We consider a bisimilarity control problem for the plant and the specification modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is bisimilar to the specification. We derive a new necessary and sufficient condition for the existence of a supervisor that solves the bisimilarity control problem. Although the complexity of verifying this existence condition is exponential in the numbers of states of the plant and the specification, it is smaller than that of the exhaustive search that uses the existing condition. We present how to synthesize a solution to the bisimilarity control problem if it exists. In addition, we give a polynomially verifiable necessary condition.
登录
查看更多内容
非确定性和模态逻辑的最大许可受控系统综合
DOI：
10.1007/s10626-016-0231-8
发表时间：
2016
期刊：
Discrete Event Dynamic Systems
影响因子：
--
作者：
Allan van Hulst;M. Reniers;W. Fokkink
通讯作者：
W. Fokkink
具有非确定性规范的非确定性离散事件系统的最大许可监督控制
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
Jinglun Li;Shigemasa Takai;Shigemasa Takai
通讯作者：
Shigemasa Takai
DOI：
10.1587/transinf.e97.d.1140
发表时间：
2014-05
期刊：
IEICE Trans. Inf. Syst.
影响因子：
--
作者：
Katsuyuki Kimura;S. Takai
通讯作者：
Katsuyuki Kimura;S. Takai
通过优先级同步对非确定性系统进行无阻塞监督控制
影响因子：
6.8
作者：
Ratnesh Kumar;M. Shayman
通讯作者：
M. Shayman
DOI：
10.1109/9.566659
发表时间：
1997
期刊：
IEEE Trans. Autom. Control.
影响因子：
--
作者：
A. Overkamp
通讯作者：
A. Overkamp