Single Fault Diagnosis w Conflicts: Generate Candidates From Symptom Single Fault w Conflicts(M, X, Obs) IModel m. mode variables x observation obs 1. Assume all components okay, All Good={X=G|X∈Ⅹ} Conflict∈- Test Candidate(A∥Good,M,Obs) 3. If Conflict="consistent return all good 4. Generate single fault candidates Cands←{X=UZ=G|X=G∈ Conflict,z=X- 5. Test Candidates(Cands, M, Obs) 10/03/03 copyright Brian Williams, 2003 1610/03/03 copyright Brian Williams, 2003 16 Single Fault Diagnosis w Conflicts: Generate Candidates From Symptom Single_Fault_w_Conflicts(M, X, Obs) \\ Model M, Mode variables X, Observation Obs 1. Assume all components okay, All_Good = { x=G | x  X} 2. Conflict m Test_Candidate(All_Good, M, Obs) 3. If Conflict = “consistent” return All_Good 4. Generate single fault candidates Cands m {{x=U} ‰Z=G | x=G  Conflict, Z=X-{x}} 5. Test_Candidates(Cands, M, Obs)