摘要
本文针对不完备系统模型,研究不完备离散事件系统的当前状态不透明性.根据系统的实际输出与预测输出之间的差异,构建了一个具有学习功能的学习诊断器.这种学习诊断器不仅能够模拟系统的状态转移,而且还可以将系统缺失的状态信息通过学习得到恢复.通过引入集合覆盖理论处理由学习诊断器得出的结果,提出了一种基于学习诊断器的不完备离散事件系统当前状态不透明性的验证算法.
This paper aims to propose an approach of the current-state opacity for incomplete discrete-event systems(DES)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.After 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.
引文
[1]BRYANS J W,KOUTNY M,RYAN P Y A.Modelling opacity using petri nets.Electronic Notes in Theoretical Computer Science,2005,121:101-115.
[2]SABOORI A,HADJICOSTIS C N.Notions of security and opacity in discrete event systems.IEEE Conference on Decision and Control.Wuxi:IEEE,2007:5056-5061.
[3]WU Y C.Comparative analysis of related notions of opacity in centralized and coordinated architectures.Discrete Event Dynamic Systems,2013,23(3):307-339.
[4]LIN F.Opacity of discrete event systems and its applications.Automatica, 2011,47(3):496-503.
[5]ZHAO R,LIU F,LIU Z.Relative diagnos ability of discrete-event systems and its opacity-based test algorithm.International Journal of Control Automation&Systems,2017,15(4):1693-1700.
[6]ZHAO R,LIU F,TAN J.Relative predictability of failure event occurrences and its opacity-based test algorithm.International Journal of Control,2017,90(6):1-9.
[7]ZHAO X,OUYANG D.Model-based diagnosis of discrete event systems with an incomplete system model.European Conference on Artificial Intelligence.Greece:IOS Press,2008:189-193.
[8]WANG Xiaoyu,OUYANG D antong,ZHAO Jian.Discrete-event system diagnosis upon incomplete model.Journal of Software,2012,23(3):465-475.(王晓宇,欧阳丹彤,赵剑.不完备模型下的离散事件系统诊断方法.软件学报,2012,23(3):465-475.)
[9]YEUNG D L,KWONG R H.Fault diagnosis in discrete-event systems:incomplete models and learning.Proceedings of American Control Conference.Oregon:AAC,2005:3327-3332.
[10]SAMPATH M,SENGUPTA R,LAFORTUNE S,et al.Diagnosability of discrete-event systems.IEEE Transactions on Automatic Control,1995,40(9):1555-1575.
[11]ZAD H,KWONG R H,WONHAM W M,et al.Fault diagnosis in discrete-event systems:framework and model reduction.IEEE Transactions on Automatic Control,1998,48(7):1 199-1212.
[12]GUAN Q,JIANG Y.The parsimonious covering theory applied for communication equipment malfunction.International Conference on Fuzzy Systems and Knowledge Discovery.Xiamen:FSKD,20 14:637-641.
[13]LIU Fuchun.Realization of bisimilarity control of nondeterministic discrete event systems.Control Theory and Technology,2015,32(1):75-79.(刘富春.非确定离散事件系统双模拟控制的实现.控制理论与应用,2015,32(1):75-79.)