摘要：Abstract:Diagnosability is a key property at the design stage that refers the ability to indicate unambiguously a failure behavior only from system available observations in finite time after the fault occurrence. Diagnosability has a significant impact on the reliability of complex automated systems. In this paper, an approach is developed for diagnosability analysis of discrete event systems (DESs) modeled by labeled Petri nets (LPNs). Our approach, which extends from the on-the-fly and incremental diagnosis technique, aims at improving the efficiency of diagnosability analysis by defining priorities in the investigation of reachability graph branches based on depth-first search. Using the T-invariant notion, our improved approach intends to find more quickly the existence of indeterminate cycles so as to reduce the combinatorial explosion for diagnosability analysis.
关键词：Keywords:Fault diagnosisDiscrete event systemsLabeled Petri netsDiagnosability analysisOn-the-fly and incremental diagnosis techniqueT-invariants
