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 | Size | Format | |
---|---|---|---|
Diagnosability analysis of labeled Time.pdf open access
Description: articolo
Type: versione post-print
Size 1.06 MB
Format Adobe PDF
|
1.06 MB | Adobe PDF | View/Open |
Diagnosability_Analysis_of_Labeled_Time_Petri_Net_Systems.pdf Solo gestori archivio
Description: Articolo completo
Type: versione editoriale
Size 1.05 MB
Format Adobe PDF
|
1.05 MB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.