双组元推进系统的部分可观时间Petri网故障诊断

摘要

研究了基于部分可观时间Petri网双组元推进系统的故障诊断问题.针对双组元推进系统中环境复杂且部分关键信息无法通过传感器获取的情况,结合部分可观时间Petri网,提出构建修正状态类图的部分可观时间Petri网故障诊断方法.系统过程的节点对应为可观测变迁和不可观测变迁,结合变迁同步、异步触发关系,标定各变迁时间区间,建立部分可观时间Petri网模型,然后转化为修正状态类图.遍历所有满足可观测变迁触发时间和序列信息的路径,诊断系统是否发生故障.最后对双组元推进系统建立部分可观时间Petri网模型,结合系统工作过程中各执行机构可观测状态,对系统不可观部分进行故障诊断,验证了算法的有效性.