基于符号模型检测的符号有向图故障诊断解形式化验证

• 作者: 宁宁 张骏 高向阳
• 来源期刊: 信息与控制
• 关键词: SDG模型 符号模型检测 动态验证信息 动态验证策略
• 年，卷（期）: 2010,（4）
• 页码范围: 423-429
• 分类号: TP206
• 语种: 中文
• DOI: 10.3724/SP.J.1219.2010.00423

摘要

由于定量信息和非线性因果关系的丢失,符号有向图(SDG)的故障诊断解需要进一步进行校核与验证.将SDG故障诊断解的验证置于符号模型检测框架中进行研究,提出了基于符号模型检测的SDG故障诊断解形式化验证方法.首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型检测(SMV)模型;其次引入故障传播时间定义了模型观测变量的动态验证信息,提出了基于步进式监控的动态推理验证策略;然后扩展了动态推理验证过程的SMV模型,提出了验证算法SSDGFD_SMC;最后,通过一个简单贮水罐系统的SDG模型实例验证了算法SSDGFD_SMC的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张骏	西北工业大学自动化学院	83	669	13.0	23.0
2	宁宁	西北工业大学自动化学院	9	36	3.0	5.0
3	高向阳	西北工业大学自动化学院	16	99	7.0	9.0