A methodology for model-based diagnosis of analogue circuits

We present a methodology for model-based diagnosis of analogue circuits using the constraint-logic programming approach. Presented methodology stems from our earlier work on the diagnosis of active analogue filters by using Constraint logic programming (R) and has the following major improvements: modeling of the diagnosed circuit is generalized to arbitrary analogue circuits consisting of linear elements (nonlinear circuits are included by piecewise linearization of their characteristics); both hard and parametric faults are considered in the diagnostic process; fault situations with multiple-hard-and-single parametric faults can be diagnosed. Examples are given to illustrate the approach.