Skip to Main content Skip to Navigation
New interface
Preprints, Working Papers, ...

Online Fault Diagnosis of Discrete Event Systems Modeled With Labeled Petri Nets Using an Overall Fault Status

Abstract : In this paper we present a fault diagnosis approach using labeled Petri nets, where the faults are modeled by unobservable transitions and the unobservable subnet is acyclic. In contrast to detecting the individual faults separately, a new specification called an overall fault status is introduced, which indicates the occurrence of faults from a global system perspective. Due to the introduction of the overall fault status, a more precise and informative diagnosis result can be provided and in some cases, the occurrence of some faults in a system can be detected before the actual faults are isolated, i.e., we are certain about the occurrence of faults but which faults have not been ascertained. An integer linear programming (ILP) problem is built according to the observed word. We prove that all transition sequences determined by solutions to the ILP problem constitute the set of sequences consistent with the observed word. By specifying different objective functions to the ILP problem, the diagnosis results of each individual fault and the overall fault status can be obtained. An online diagnosis algorithm is developed to implement the proposed diagnosis process, which reports the diagnosis results after the occurrence of every observable event.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [37 references]  Display  Hide  Download
Contributor : Isabel Demongodin Connect in order to contact the contributor
Submitted on : Thursday, February 14, 2019 - 12:03:24 AM
Last modification on : Thursday, July 14, 2022 - 4:09:13 AM
Long-term archiving on: : Wednesday, May 15, 2019 - 7:13:45 PM


Files produced by the author(s)


  • HAL Id : hal-02018634, version 1



Guanghui Zhu, Lei Feng, Zhiwu Li, Naiqi Wu. Online Fault Diagnosis of Discrete Event Systems Modeled With Labeled Petri Nets Using an Overall Fault Status. {date}. ⟨hal-02018634⟩



Record views


Files downloads