Sufficient Conditions and Sensor Placement for Structural Fault Diagnosis in a class of Timed Continuous Petri Nets

Abstract

This work addresses the characterization of the fault diagnosability property in Timed Continuous Petri Nets (TCPN) under infinite server semantics. In the approach herein presented, the potential faults are included in the model, however, their occurrence time, magnitude and location are unknown. Two novel results are presented. In the first one, sufficient conditions that guarantee the diagnosability in TCPN substructures are provided. These conditions are based on the net structure, avoiding the analysis of all linear systems describing the net dynamics. The second result is a methodology to place a reduced number of sensors in such a way that a class of TCPN becomes diagnosable. In order to show the applicability of the reported results, an illustrative example is presented.