This paper proposes a novel decentralized on-line fault diagnosis approach based on the solution of some integer linear programming problems for discrete event systems in a Petri net framework. The decentralized architecture consists of a set of local sites communicating with a coordinator that decides whether the system behavior is normal or subject to some possible faults. To this aim, some results allow defining the rules applied by the coordinator and the local sites to provide the global diagnosis results. Moreover, two protocols for the detection and diagnosis of faults are proposed: they differ for the information exchanged between local sites and coordinator and the diagnostic capability. In addition, a sufficient and necessary condition under which the second presented protocol can successfully diagnose a fault in the decentralized architecture is proved. Finally, some examples are presented to show the efficiency of the proposed approach.

Decentralized Diagnosis by Petri Nets and Integer Linear Programming / Cong, X.; Fanti, Mp.; Mangini, Am; Li, Z.. - In: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. - ISSN 2168-2216. - STAMPA. - 48:10(2018), pp. 1689-1700. [10.1109/TSMC.2017.2726108]

Decentralized Diagnosis by Petri Nets and Integer Linear Programming

Fanti, MP.
;
Mangini, AM;
2018-01-01

Abstract

This paper proposes a novel decentralized on-line fault diagnosis approach based on the solution of some integer linear programming problems for discrete event systems in a Petri net framework. The decentralized architecture consists of a set of local sites communicating with a coordinator that decides whether the system behavior is normal or subject to some possible faults. To this aim, some results allow defining the rules applied by the coordinator and the local sites to provide the global diagnosis results. Moreover, two protocols for the detection and diagnosis of faults are proposed: they differ for the information exchanged between local sites and coordinator and the diagnostic capability. In addition, a sufficient and necessary condition under which the second presented protocol can successfully diagnose a fault in the decentralized architecture is proved. Finally, some examples are presented to show the efficiency of the proposed approach.
2018
Decentralized Diagnosis by Petri Nets and Integer Linear Programming / Cong, X.; Fanti, Mp.; Mangini, Am; Li, Z.. - In: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. - ISSN 2168-2216. - STAMPA. - 48:10(2018), pp. 1689-1700. [10.1109/TSMC.2017.2726108]
File in questo prodotto:
File Dimensione Formato  
SMC2018Post_print.pdf

accesso aperto

Descrizione: Revised version
Tipologia: Documento in Post-print
Licenza: Tutti i diritti riservati
Dimensione 380.24 kB
Formato Adobe PDF
380.24 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/123086
Citazioni
  • Scopus 78
  • ???jsp.display-item.citation.isi??? 72
social impact