摘要：AbstractThis 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 inTCPNsubstructures 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 ofTCPNbecomes diagnosable. In order to show the applicability of the reported results, an illustrative example is presented.
关键词：KeywordsFault DiagnosisSensor PlacementStructural AnalysisTimed Continuous Petri NetsSwitched Linear Systems
