In this article, we deal with the active diagnosis problem in labeled Petri nets by developing a supervisor for a plant such that the closed-loop system is diagnosable. Since control actions may introduce deadlocks even if an original plant is deadlock-free, we first generalize the classical notion of diagnosability in labeled Petri nets to the nets that may contain potential deadlocks. To avoid enumerating all reachable markings of a plant, we develop a structure called quiescent basis reachability graph, and accordingly propose a structure named Q-diagnoser to verify the diagnosability of a net. We prove that a plant is diagnosable if and only if there does not exist any indeterminate cycle in its Q-diagnoser. Finally, for an undiagnosable plant, we introduce a diagnosability enforcing supervisor to enforce the diagnosability by trimming a Q-diagnoser. Moreover, our approach guarantees that the closed-loop system cannot reach a dead marking unless a fault transition has fired. (C) 2021 Published by Elsevier Ltd.

Diagnosability enforcement in labeled Petri nets using supervisory control

Ma, Ziyue.;Li, Zhiwu;Giua, A
2021-01-01

Abstract

In this article, we deal with the active diagnosis problem in labeled Petri nets by developing a supervisor for a plant such that the closed-loop system is diagnosable. Since control actions may introduce deadlocks even if an original plant is deadlock-free, we first generalize the classical notion of diagnosability in labeled Petri nets to the nets that may contain potential deadlocks. To avoid enumerating all reachable markings of a plant, we develop a structure called quiescent basis reachability graph, and accordingly propose a structure named Q-diagnoser to verify the diagnosability of a net. We prove that a plant is diagnosable if and only if there does not exist any indeterminate cycle in its Q-diagnoser. Finally, for an undiagnosable plant, we introduce a diagnosability enforcing supervisor to enforce the diagnosability by trimming a Q-diagnoser. Moreover, our approach guarantees that the closed-loop system cannot reach a dead marking unless a fault transition has fired. (C) 2021 Published by Elsevier Ltd.
2021
Diagnosability
Discrete event system
Fault diagnosis
Labeled Petri net
File in questo prodotto:
File Dimensione Formato  
21aut.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 1.13 MB
Formato Adobe PDF
1.13 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11584/323885
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 8
social impact