A methodology for model-based diagnosis of analogue circuits

We present a methodology for model-based diagnosis of analogue circuits usi ng the constraint-logic programming approach. Presented methodology stems f rom our earlier work on the diagnosis of active analogue filters by using C onstraint logic programming(R) and has the following major improvements: mo deling of the diagnosed circuit is generalized to arbitrary analogue circui ts consisting of linear elements (nonlinear circuits are included by piecew ise linearization of their characteristics); both hard and parametric fault s are considered in the diagnostic process; fault situations with multiple- hard-and-single parametric faults can be diagnosed. Examples are given to i llustrate the approach.