State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions
CABASINO, MARIA PAOLA;SEATZU, CARLA
2015-01-01
Abstract
In this paper, we present a procedure for the state estimation and fault diagnosis of a labeled Time Petri net system. Starting from the State Class Graph defined by Berthomieu and Diaz, we introduce a new graph called Modified State Class Graph (MSCG) that allows an exhaustive representation of the evolution of the timed system. Then, we present a procedure that, given a timed observation, i.e., a sequence of labels with their firing time instants, and a time instant τ, allows one to determine in which states the system can be at time τ by using the MSCG and solving a certain number of linear programming problems. Finally, we present a procedure to perform fault diagnosis using the MSCG.File | Size | Format | |
---|---|---|---|
TAC15_BCS.pdf Solo gestori archivio
Type: versione editoriale
Size 632.62 kB
Format Adobe PDF
|
632.62 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.