| 引用本文: | 王飞,戴茵茵,金福江.基于隐蔽性裕度的离散事件系统监控[J].控制理论与应用,2025,42(3):618~626.[点击复制] |
| WANG Fei,DAI Yin-yin,JIN Fu-jiang.Supervisory control on opacity-margin of discrete event systems[J].Control Theory and Technology,2025,42(3):618~626.[点击复制] |
|
| 基于隐蔽性裕度的离散事件系统监控 |
| Supervisory control on opacity-margin of discrete event systems |
| 摘要点击 28 全文点击 3 投稿时间：2023-04-04 修订日期：2024-09-03 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/CTA.2023.30186 |
| 2025,42(3):618-626 |
| 中文关键词 隐蔽性裕度 k–隐蔽的 监控器 离散事件系统 |
| 英文关键词 opacity-margin k-opaque supervisors discrete event systems |
| 基金项目 国家自然科学基金项目(61203040), 福建省自然科学基金项目(2022J01295, 2023J05045), 泉州市科协项目资助. |
|
| 中文摘要 |
| 本文研究了离散事件系统基于隐蔽性裕度的k–隐蔽性验证及监控综合问题.首先,文章分别给出基于语言和基于(估计)状态的隐蔽性裕度的概念,通过提出两者之间的等价关系,给出基于状态的隐蔽性裕度与基于语言的隐蔽性裕度等价的性质.之后,提出系统满足k–隐蔽性的充分性条件可以通过状态的隐蔽性裕度获得.并以此条件,分别给出计算状态的隐蔽性裕度以及验证k–隐蔽性的算法.再后,如果系统不满足k–隐蔽性时,又给出一种算法来获取监控器使闭环系统是k–隐蔽的,并且给出定理说明获得的监控器不仅可以保持受控系统的k–隐蔽性,而且表明其是最大允许的.最后,利用实例说明验证系统的k–隐蔽性以及获取保持k–隐蔽性的最大允许监控器构造方法的有效性. |
| 英文摘要 |
| The synthesis problem of supervisory control and verification of k-opacity on opacity-margin is formulated. Firstly, two definitions of opacity-margin based on languages and based on (estimated) states are given respectively. By presenting the equivalent relations about the two definitions, we show that opacity-margin on states is equivalent to opacitymargin on languages. Secondly, a sufficient condition that secret is k-opaque with respect to the plant can be obtained by counting of opacity-margin on states. Based on the sufficient condition, algorithms to get opacity-margin and verify kopacity are given. Thirdly, if the plant is not k-opaque, an algorithm is given to design a supervisor to assure the k-opacity. And, a conclusion is shown that the supervisor obtained by the algorithm is not only to preserve the k-opacity, but also to be maximal permissive. Finally, an illustration example is formulated to show the validity of the k-opacity’s verification and method of achieving maximal permissive supervisor to keep the k-opacity. |
|
|
|
|
|