N-diagnosability for active on-line diagnosis in discrete event systems

In this paper, we investigate active on-line diagnosis in discrete event systems. Active diagnosis can be used for fault detection, fault localization, fault-tolerant control, among others. Discrete event systems are general models for complex manmade systems. For the active on-line diagnosis, we do not construct the entire diagnostic automaton off-line. Instead, we look N steps ahead to determine active diagnosability and calculate diagnostic strategies. Thus, we define active N-diagnosability and investigate the relation between active diagnosability and active N-diagnosability. We also develop an algorithm to check active N-diagnosability. If a system is actively N-diagnosable, the algorithm will also give the control that diagnoses the system. We show that there are significant computational advantages for using the on-line approach.