Optimal selection of subsystems for synchronous diagnosis
Keywords:
Fault Diagnosis, Diagnosability, Discrete Event Systems, Synchronous Diagnosis, Verifiers