Anton Biasizzo, Franc Novak.
A methodology for model-based diagnosis of analog circuits.
Proc. CESA'96 IMACS Multiconference, Symposium on Modelling, Analysis and Simulation, Lille, France, July 9-12, 1996, pp. 344-349.

In this paper we present a methodology for model-based diagnosis of analog circuits using the constraint logic programming approach. Presented methodology stems from our earlier work on the diagnosis of active analog filters by the artificial intelligence tool CLP(R) and has the following major improvements: modeling of the diagnosed circuit is generalized to arbitrary analog circuits consisting of linear elements (non-linear circuits are included by piecewise linearisation 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.