部分可观Petri网系统的在线故障诊断方法
彭晓红1 刘文良2 于 杰2 孙 燕2 刘文渊2 刘海阳3 鲍建成1 刘久富2 【摘 要】针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障。该算法避免了状态空间爆炸,降低了在线运算量的复杂性。以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断。试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断。 【期刊名称】城市轨道交通研究 【年(卷),期】2016(019)012 【总页数】7
【关键词】地铁; Petri网; 故障诊断; 不可观变迁; 整数线性规划
First-author′s address Department of Information Engineering,Jiangsu Maritime Institute,211170,Nanjing,China
Petri网(PN)作为一个网系统,具有直观的图形表示和严密的数学基础双重特性,常被广泛应用于离散事件系统(Discrete Event System,DES)中。地铁列车的故障检测与诊断研究即属于DES。
基于Petri网的DES故障检测与诊断技术研究成果当前主要包括解释诊断器、编译诊断器、PN架构中在线故障检测策略、G-标识法及针对在线异步诊断的网展开法等算法。不同算法的适用条件不一定相同,同时也有各自的优缺点。 解释诊断器算法计算量大、不需要计算状态空间、存储器需求量小,可用于计算
部分可观Petri网系统的在线故障诊断方法
