In this paper, we focus on two notions of diagnosability for labeled Time Petri net (PN) systems: K-diagnosability implies that any fault occurrence can be detected after at most K observations, while r-diagnosability implies that any fault occurrence can be detected after at most r time units. A procedure to analyze such properties is provided. The proposed approach uses the Modified State Class Graph, a graph the authors recently introduced for the marking estimation of labeled Time PN systems, which provides an exhaustive description of the system behavior. A preliminary diagnosabilty analysis of the underlying logic system based on classical approaches taken from the literature is required. Then, the solution of some linear programming problems should be performed to take into account the timing constraints associated with transitions.
Diagnosability analysis of labeled Time Petri net systems
CABASINO, MARIA PAOLA;SEATZU, CARLA
2017-01-01
Abstract
In this paper, we focus on two notions of diagnosability for labeled Time Petri net (PN) systems: K-diagnosability implies that any fault occurrence can be detected after at most K observations, while r-diagnosability implies that any fault occurrence can be detected after at most r time units. A procedure to analyze such properties is provided. The proposed approach uses the Modified State Class Graph, a graph the authors recently introduced for the marking estimation of labeled Time PN systems, which provides an exhaustive description of the system behavior. A preliminary diagnosabilty analysis of the underlying logic system based on classical approaches taken from the literature is required. Then, the solution of some linear programming problems should be performed to take into account the timing constraints associated with transitions.File | Dimensione | Formato | |
---|---|---|---|
Diagnosability analysis of labeled Time.pdf
accesso aperto
Descrizione: articolo
Tipologia:
versione post-print (AAM)
Dimensione
1.06 MB
Formato
Adobe PDF
|
1.06 MB | Adobe PDF | Visualizza/Apri |
Diagnosability_Analysis_of_Labeled_Time_Petri_Net_Systems.pdf
Solo gestori archivio
Descrizione: Articolo completo
Tipologia:
versione editoriale (VoR)
Dimensione
1.05 MB
Formato
Adobe PDF
|
1.05 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.