实现故障无二义诊断的部分可观系统设计方法 |
| |
引用本文: | 方欢,陆阳,岳峰,官骏鸣.实现故障无二义诊断的部分可观系统设计方法[J].系统仿真学报,2015(3):470-479. |
| |
作者姓名: | 方欢 陆阳 岳峰 官骏鸣 |
| |
作者单位: | 合肥工业大学计算机与信息学院;安徽理工大学理学院;安徽省矿山物联网与安全监控技术重点实验室 |
| |
基金项目: | 国家自然科学基金项目(61070220,61472003,61272153,61340003,61402011);国家"863”计划项目(2011AA060406);安徽省高等学校自然科学研究重点项目(KJ2014A067) |
| |
摘 要: | 针对故障无二义性诊断下的部分可观系统设计方法进行分析和研究,提出系统可见库所集SO的确定算法OPD,给出算法OPD解存在的充要条件,证明系统在SO可见的情况下,系统所有变迁都是可区分的,并指出该算法满足多项式级的时间复杂度。在OPD算法的基础上,提出系统运行状态诊断算法SOSD,SOSD是SO的一步前向标识计算方法,不需要已知系统的初始状态M0就可以进行系统状态诊断。证明所提出的部分可观系统设计方法满足最优监控条件,达到了优化监控的目的。
|
关 键 词: | 部分可观系统 系统设计方法 故障诊断 Petri网 事件驱动系统 |
本文献已被 CNKI 等数据库收录! |
|