部分可观Petri网系统的在线故障诊断方法

• 作者: 于杰 刘久富 刘文渊 刘文良 刘海阳 孙燕 彭晓红 鲍建成
• 来源期刊: 城市轨道交通研究
• 学科: 交通运输
• 关键词: 地铁 Petri网 故障诊断 不可观变迁 整数线性规划
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 学术专论
• 页码范围: 6-12
• 页数: 7页
• 分类号: U231.6|TP206+.3
• 字数: 7212字
• 语种: 中文
• DOI: 10.16037/j.1007-869x.2016.12.002

摘要

针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法.算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障.该算法避免了状态空间爆炸,降低了在线运算量的复杂性.以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断.试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘久富	南京航空航天大学自动化学院	53	207	8.0	11.0
2	鲍建成	江苏海事职业技术学院信息工程系	27	97	5.0	9.0
3	刘文良	南京航空航天大学自动化学院	6	19	3.0	4.0
4	刘海阳	东南大学电子科学与工程学院	9	15	2.0	3.0
5	彭晓红	江苏海事职业技术学院信息工程系	11	9	2.0	2.0
6	于杰	南京航空航天大学自动化学院	7	18	3.0	4.0
7	孙燕	南京航空航天大学自动化学院	6	10	2.0	3.0
8	刘文渊	南京航空航天大学自动化学院	3	8	2.0	2.0