An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets

In this article, we present a fault diagnosis approach for discrete event systems using labeled Petri nets. In contrast to the existing works, a new fault class containing all the fault transitions is additionally introduced in the diagnosis function, leading to a more informative and precise diagnosis result. An integer linear programming (ILP) problem is built according to an observed word. By specifying different objective functions to the ILP problem, the diagnosis result is obtained without enumerating all observable transition sequences consistent with the observed word, which is more efficient in comparison with the existing ILP-based approaches.

Automated summary

In this article, a fault diagnosis approach for discrete event systems using labeled Petri nets is presented, with the introduction of a new fault class leading to a more informative and precise diagnosis result. An ILP problem is built based on an observed word, and different objective functions can be specified to obtain the diagnosis result without enumerating all possible transition sequences, making it more efficient compared to existing approaches.