Constraint Based Diagnostic Model and Analysis of Diagnosability
The complexity of diagnose limits the application of model- based diagnostic techniques. Recently,there have been many efficient constraint solvers to complete the diagnosis of leverage constraint solving techniques. A constraint based diagnostic model,which equals to consistency based model,is presented in this paper. It describes structure and functions of system with constraint.Then,the diagnosability of constraint based diagnosis is analyzed. The necessary and sufficient conditions of decidable diagnostic hypothesis,undecidable diagnostic hypothesis and semidecidable diagnostic hypothesis are determined. Finally,the partial order relation of the diagnostic space is described in this paper.