一种基于标签时间Petri网的赋时离散事件系统故障诊断方法

By constructing an observable modified state class graph and using linear programming, the fault diagnosis problem of the labeled time Petri net system was solved, achieving fast and accurate fault determination while reducing computational complexity and production costs.

CN121188652BActive Publication Date: 2026-07-17WUHAN UNIV OF SCI & TECH
View PDF 0 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
WUHAN UNIV OF SCI & TECH
Filing Date
2025-09-12
Publication Date
2026-07-17

AI Technical Summary

Technical Problem

In existing technologies, the problem of efficient fault diagnosis has not been effectively solved in time-specified discrete event systems based on labeled time Petri nets, especially in terms of state space computational complexity and fault diagnosis efficiency.

Method used

By constructing an observable modified state class graph (MSCG) and using a linear programming-based method, and leveraging logically consistent transition sequences of time-stamped sequences (TLS), computational complexity is reduced and system faults are accurately identified.

Benefits of technology

It enables rapid and accurate fault diagnosis in complex systems, reduces production costs and computational complexity, and improves the economic efficiency of the system.

✦ Generated by Eureka AI based on patent content.

Smart Images

  • Figure CN121188652B_ABST
    Figure CN121188652B_ABST
Patent Text Reader

Abstract

本发明属于工业制造技术领域,具体涉及一种基于标签时间Petri网的赋时离散事件系统故障诊断方法,S1、利用标签时间Petri网建模赋时离散事件系统;S2、基于时间标签序列(time‑label sequence,TLS)构造一种可观测修正状态类图(modified state class graph,MSCG),找出与TLS逻辑一致的变迁序列;S3、通过利用可观测MSCG中与TLS逻辑一致的变迁序列相关的时间约束,提出基于线性规划的方法以判定与TLS时间一致的变迁序列;S4、根据与TLS时间一致的变迁序列,判定系统是否发生故障。本发明提供了一种基于标签时间Petri网的标签时间Petri网系统故障诊断方法,解决了背景技术中的问题,降低了计算复杂度,使其更适用于复杂系统。
Need to check novelty before this filing date? Find Prior Art