| 引用本文: | 刘富春,张旭,赵锐.不完备离散事件系统的当前状态不透明性[J].控制理论与应用,2019,36(7):1167~1171.[点击复制] |
| LIU Fu-chun,ZHANG Xu,ZHAO Rui.Current-state opacity of incomplete discrete-event systems[J].Control Theory and Technology,2019,36(7):1167~1171.[点击复制] |
|
| 不完备离散事件系统的当前状态不透明性 |
| Current-state opacity of incomplete discrete-event systems |
| 摘要点击 2182 全文点击 921 投稿时间：2018-01-20 修订日期：2018-08-24 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/CTA.2018.80060 |
| 2019,36(7):1167-1171 |
| 中文关键词 离散事件系统 不完备模型 不透明性 学习诊断器 |
| 英文关键词 Discrete event systems incomplete model opacity learning diagnoser |
| 基金项目 国家自然科学基金,其它 |
|
| 中文摘要 |
| 近年来，离散事件系统的不透明性（opacity）研究引起了国内外众多学者的广泛关注，它在数字签名、保密通信、信息认证、入侵检测、数据加密等信息安全机制中取得了重要应用. 本文针对不完备系统模型，研究不完备离散事件系统的当前状态不透明性. 根据系统的实际输出与预测输出之间的差异，构建了一个具有学习功能的学习诊断器. 这种学习诊断器不仅能够模拟系统的状态转移，而且还可以将系统缺失的状态信息通过学习得到恢复.并利用集合覆盖理论处理由学习诊断器得出的结果，提出了一种基于学习诊断器的不完备离散事件系统当前状态不透明性的验证算法. 最后，通过一个模拟特质钢材压力测试过程的实例，阐述了该学习诊断器的构造步骤以及系统当前状态不透明性的验证方法. |
| 英文摘要 |
| In recent years, the opacity of discrete event systems (DESs) has received considerable attention, which has been successfully applied to many information technology areas such as digital signature, communication security, information authentication, intrusion detection and data encryption. This paper aims to propose an approach of the current-state opacity for incomplete DESs in which some information may be unavailable or even missing. According to the difference between the actual output and the predicted output of the incomplete system, a learning diagnoser is constructed. Note that the learning diagnoser not only can simulate the state transition of the system, but also can restore the absent state information from the system through learning. And the set coverage theory is introduced to deal with the results obtained by the learning diagnoser. A method to verify the current state opacity of an incomplete system is proposed based on the learning diagnoser. Moreover, the construction of the learning diagnoser and the verification of the current state opacity are illustrated by an example arising from the pressure testing process of special steel. |
|
|
|
|
|