EFFICIENT DIAGNOSABILITY TEST FOR STATE-BASED DIAGNOSIS OF DISCRETE EVENT SYSTEMS

State-based fault diagnosis of discrete event systems is considered. The concept of resonating state cycles is introduced, which is used to develop a necessary and sufficient condition for diagnosability. An algorithm to test diagnosability is presented, and is shown to have polynomial complexity. Extensions of the algorithm to include a priori state estimates are discussed.