部分可观标签时间Petri网的故障诊断方法

摘要

本发明公开了一种部分可观标签时间Petri网的故障诊断方法，步骤S1：启动过程的重要环节对应为可观变迁和不可观变迁，标定各变迁触发区间，建立部分可观标签时间Petri网模型；步骤S2：转化为状态类图并修正变迁触发时间区间；步骤S3：根据检测时间点，遍历所有满足可观变迁触发时间和序列信息的路径，判断系统是否可以在一定时间内可诊断；步骤S4：对双组元推进系统启动过程建立部分可观标签时间Petri网模型，结合系统工作过程中各执行机构可观测状态，对系统不可观部分进行τ时间可诊断性判断。本方法利用可观变迁序列分类，推出变迁序列，计算故障发生后的时间关系，判断系统故障是否在τ个时间单位内可诊断。