.png){kind=icon}
返回
Bisimilarity enforcing supervisory control for deterministic specifications
.png){kind=icon}
OA
AI
DOI：10.1016/j.automatica.2013.09.025.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a bisimilarity enforcing supervisor is constructed. Otherwise, two methods are provided for synthesizing supremal feasible sub-specifications. (C) 2013 Elsevier Ltd. All rights reserved.
Keyword:
Supervisory control
Bisimulation
Discrete event systems
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.9
论文数:
1.2W
被引数:
5.2W
机构
引用论文
.png){kind=icon}
Symbolic planning and control of robot motion - Finding the missing pieces of current methods and ideas机器人运动的符号规划和控制-寻找当前方法和思想的缺失部分
PREAI
分享收藏 没有更多内容
没有更多内容