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.
Type de document :
Pré-publication, Document de travail
REPORT OF LABORATOIRE D’INFORMATIQUE ET SYSTÈMES (LIS), AIX-MARSEILLE UNIVERSITÉ, MARSEILLE, FRANCE. 2018
Liste complète des métadonnées

https://hal-amu.archives-ouvertes.fr/hal-02018634
Contributeur : Isabel Demongodin <>
Soumis le : jeudi 14 février 2019 - 00:03:24
Dernière modification le : vendredi 15 février 2019 - 01:24:33

Fichier

onLineDiagUsingF-1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02018634, version 1

Collections

Citation

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. REPORT OF LABORATOIRE D’INFORMATIQUE ET SYSTÈMES (LIS), AIX-MARSEILLE UNIVERSITÉ, MARSEILLE, FRANCE. 2018. 〈hal-02018634〉

Partager

Métriques

Consultations de la notice

97

Téléchargements de fichiers

59