具有多项式时间复杂性的离散事件系统安全诊断

发布时间：2018-05-05 21:27

  本文选题：离散事件系统 + 故障诊断　； 参考：《控制理论与应用》2017年06期

【摘要】：离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论.
[Abstract]:The fault diagnosis of discrete event system can diagnose the unobservable fault events in time, but it is easy to ignore the safety of the system during the fault diagnosis period. In order to solve this problem, a safety fault diagnosis method with polynomial time complexity is proposed. Firstly, the security diagnostics of discrete event system is formalized, then an illegal language recognizer is constructed to identify the sequence of prohibited operations of the system. On this basis, a security validator for system security diagnosis is constructed, and a necessary and sufficient condition for the security diagnosability of discrete event system is obtained, and the security fault diagnosis of the system is realized. At the same time, by analyzing the complexity of the construction of security validator and the judgement of safety diagnosability, the conclusion that the safety fault diagnosis method can be realized in polynomial time is obtained.
【作者单位】： 广东工业大学计算机学院;
【基金】：国家自然科学基金项目(61673122,61273118) 广东省教育厅省级重大项目(2014KZDXM033) 广东省公益研究与能力建设专项资金项目(2015A030402006) 广东工业大学计算机学院重大奖项培育项目资助(2016PY01)~~
【分类号】：TP277

【相似文献】

相关期刊论文 前10条

1 李勇华;实时离散事件系统适定性监控的一个结果[J];控制理论与应用;1993年01期

2 俞新贞,吴澄;离散事件系统的稳定性[J];控制与决策;2001年01期

3 蔡逸凡;李承家;;模糊离散事件系统的性质[J];杭州电子科技大学学报;2009年01期

4 王晓宇;欧阳丹彤;赵相福;冯宇轩;;在离散事件系统中寻找诊断路径的方法[J];吉林大学学报(理学版);2010年03期

5 王晓宇;欧阳丹彤;赵剑;耿雪娜;;基于冲突的离散事件系统诊断方法[J];吉林大学学报(工学版);2013年02期

6 徐心和;一类离散事件系统的模型建立与动态分析[J];东北工学院学报;1987年03期

7 徐心和,于海斌;用于离散事件系统研究的代数方法[J];信息与控制;1990年03期

8 徐心和,于海斌;用于离散事件系统研究的代数方法(三)[J];信息与控制;1990年05期

9 任彦斌;;离散事件系统理论及应用国际研讨会在沈召开[J];自动化学报;1991年05期

10 杨小军;郑应平;;部分同步离散事件系统的分散监控[J];自动化学报;1992年06期

相关会议论文 前10条

1 卢建宁;赵光宙;;布尔离散事件系统的监控理论[A];第二十四届中国控制会议论文集（下册）[C];2005年

2 朱列新;郑大钟;;线性离散事件系统频域分析[A];1989年控制理论及其应用年会论文集（中）[C];1989年

3 李勇华;;离散事件系统的一类最优控制问题[A];1993中国控制与决策学术年会论文集[C];1993年

4 唐乾玉;陈翰馥;韩曾晋;;基于扰动分析的随机离散事件系统的优化算法[A];1995年中国控制会议论文集（下）[C];1995年

5 张丰;王众托;;离散事件系统监控的受控序贯决策过程模型[A];1993中国控制与决策学术年会论文集[C];1993年

6 蒋智平;吴智铭;;给定离散事件系统监督器的优化[A];1991年控制理论及其应用年会论文集（上）[C];1991年

7 朱更新;郑大钟;;一类离散事件系统的稳态控制与图算法[A];1995年中国控制会议论文集（下）[C];1995年

8 李勇华;高为炳;;实时离散事件系统的动态反馈控制[A];1991年控制理论及其应用年会论文集（上）[C];1991年

9 古天龙;高衿畅;周春晖;;一类离散事件系统监控器的N步综合方法[A];1997中国控制与决策学术年会论文集[C];1997年

10 姜胜兵;黄志同;;离散事件系统基于混合状态法的性能分析[A];1995中国控制与决策学术年会论文集[C];1995年

相关博士学位论文 前7条

1 冉宁;基于Petri网的离散事件系统的监控器综合与故障检测[D];浙江大学;2017年

2 耿雪娜;离散事件系统的可诊断性问题研究[D];吉林大学;2017年

3 陆飞华;离散事件系统的混合监控理论[D];浙江大学;2009年

4 毕翔;带约束条件的模糊离散事件系统监控理论研究[D];合肥工业大学;2013年

5 陈晓亮;基于Petri网的离散事件系统混或诊断和监督控制研究[D];西安电子科技大学;2014年

6 李旭晖;移动Agent描述与仿真中若干问题的研究[D];武汉大学;2003年

7 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年

相关硕士学位论文 前10条

1 刘清兰;模糊离散事件系统的多故障诊断方法研究[D];华侨大学;2016年

2 陈奇;基于模型的若干故障诊断方法研究与实现[D];浙江师范大学;2016年

3 刘俊萍;离散事件系统与模糊离散事件系统的可控性及可观测性关系研究[D];陕西师范大学;2008年

4 杨芳;离散事件系统中基于模型诊断的符号化计算[D];吉林大学;2012年

5 李婷;基于通信延迟的离散事件系统及模糊离散事件系统的可靠分散控制[D];陕西师范大学;2011年

6 卓建咏;离散事件系统基于窗口更新增量诊断方法的研究与实现[D];中山大学;2012年

7 迟晋进;离散事件系统的可诊断性判定和高阶离散事件系统的诊断方法[D];吉林大学;2015年

8 陈卫;离散事件系统关联性动态诊断的研究与实现[D];中山大学;2012年

9 郝爽;离散事件系统中增量模型不完备问题的诊断方法[D];吉林大学;2015年

10 朱金旺;离散事件系统的Petri网控制器设计[D];合肥工业大学;2010年

，

本文编号：1849361