Sequential diagnosability of t-diagnosable systems
Pradip K. Srimani, A. Bagchi · 1989
We .develop necessary and sufficient conditions for a self-diagnosable system to he sequentially &diagnosable in the classical PMC model and design an algorithm to sequentially diagnose the faults in a given system.