Constraint-Driven Fault Diagnosis

Constraint-Driven Fault Diagnosis (CDD) is based on the concept of constraint suspension [6], which was proposed as an approach to fault detection and diagnosis. In this chapter, its capabilities are demonstrated by describing how it might be applied to hardware systems. With this idea, a model-based fault diagnosis problem may be considered as a Constraint Satisfaction Problem (CSP) in order to detect any unexpected behavior and Constraint Satisfaction Optimization Problem (COP) in order to identify the reason for any unexpected behavior because the parsimony principle is taken into account.

[1]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[2]  Karem A. Sakallah,et al.  On Finding All Minimally Unsatisfiable Subformulas , 2005, SAT.

[3]  María Teresa Gómez López,et al.  Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis , 2004, CDB.

[4]  P. M. Wognum,et al.  Diagnosing and Solving Over-Determined Constraint Satisfaction Problems , 1993, IJCAI.

[5]  N. Bose.  Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory , 1995 .

[6]  Eugene C. Freuder,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[7]  Markus Stumptner,et al.  Diagnosing tree-structured systems , 2001, Artif. Intell..

[8]  Rafael M. Gasca,et al.  Diagnosis basada en modelos polinomicos usando tecnicas simbolicas , 2001, Inteligencia Artif..

[9]  Christoph M. Hoffmann,et al.  Geometric and Solid Modeling: An Introduction , 1989 .

[10]  María Teresa Gómez López,et al.  NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs , 2007, CAEPIA.

[11]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[12]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[13]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[14]  J. Dekleer.  An assumption-based TMS , 1986 .

[15]  Rina Dechter,et al.  The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation , 1985, IJCAI.

[16]  Rina Dechter,et al.  Diagnosing Tree-Decomposable Circuits , 1995, IJCAI.

[17]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[18]  Brian C. Williams,et al.  Diagnosis as Semiring-Based Constraint Optimization , 2004, ECAI.

[19]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[20]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[21]  Martha E. Pollack,et al.  Identifying Conflicts in Overconstrained Temporal Problems , 2005, IJCAI.

[22]  Marcel Staroswiecki,et al.  A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis , 2000, ECAI.

[23]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.