
Component Group Diagnosability via Directional Resolution
Keywords: diagnosability; incomplete-observation; model-based diagnostics; propositional logic; directional resolution; model simplification