Adaptive diagnosis of discrete event systems
Sheng‐Luen Chung, Cheng‐Long Fu, MuDer Jeng · Journal of the Chinese Institute of Engineers · 2004
In this paper, we introduce an adaptive two‐mode diagnosis scheme for discrete event systems. When the adaptive diagnoser is initially in the passive mode, it keeps track of the latest state estimates based on the occurrence of observable events. If the system is diagnosable as defined by Sampath et al., (1995) the adaptive diagnoser will detect the occurrence of failures within a finite delay. However, when the adaptive diagnoser gets into an uncertain state, it is at the users’ discretion to switch the operational mode to the active mode. In the active mode, we propose an algorithm such that the active diagnoser has a testing mechanism to generate a resolution sequence in resolving the uncertain state, if the diagnosed system at the uncertain state is actively diagnosable.