| 引用本文: | 戴茵茵,王飞,罗继亮.基于离散事件系统鲁棒监控的强制隐蔽综合[J].控制理论与应用,2025,42(4):847~854.[点击复制] |
| Dai Yin-yin,WANG Fei,LUO Ji-liang.Opacity-enforcing synthesis on robust supervisory control of discrete event systems[J].Control Theory & Applications,2025,42(4):847~854.[点击复制] |
|
| 基于离散事件系统鲁棒监控的强制隐蔽综合 |
| Opacity-enforcing synthesis on robust supervisory control of discrete event systems |
| 摘要点击 5 全文点击 1 投稿时间：2023-12-04 修订日期：2025-02-27 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/CTA.2025.30782 |
| 2025,42(4):847-854 |
| 中文关键词 强制隐蔽性 鲁棒监控器 离散事件系统 |
| 英文关键词 opacity-enforcing robust supervisors discrete event systems |
| 基金项目 国家自然科学基金项目(61203040),福建省自然科学基金项目(2022J01295),泉州市科协项目资助. |
|
| 中文摘要 |
| 当离散事件系统模型未知,但属于某一集合时,则需要使用一个模型集来表示该系统.为了防止模型集中任
一系统的秘密信息泄露,本文基于鲁棒监控方法研究了强制隐蔽性的监控综合问题.首先,通过构造上界自动机和
包含所有可能秘密的完全秘密信息,提出可以保证模型集中所有秘密隐蔽性的鲁棒监控器的存在性条件;之后,基
于该存在条件,提出了获取该鲁棒监控器的算法,并从理论上证明该算法获得的鲁棒监控器是正确的;最后,以一个
位置信息保护的实例,说明算法的有效性. |
| 英文摘要 |
| When discrete event systems with model uncertainty belongs to a set, it is necessary to use the set of models
to represent the given system. To prevent the leakage of secret for any system in the model set, the synthesis problem
of opacity-enforcing on robust supervisory control is investigated in this paper. Firstly, by constructing an upper bound
automaton and full secret information containing all secret of the model set, a condition for the existence of a robust
supervisor is presented to keep all the secret’s opacity in the model set. Afterwards, based on the exist condition, an
algorithm is proposed to obtain the robust supervisor. And, by theoretically proof, it shows that the supervisor obtained
from the algorithm is correct. Finally, an example of location information protection is used to show the effectiveness of
the algorithm. |
|
|
|
|
|