Model-Based Analogue Circuit Diagnosis with CLP(R)
| Citations: | 5 - 5 self |
BibTeX
@MISC{Mozetic_model-basedanalogue,
author = {Igor Mozetic and Christian Holzbaur and Iskra Hipot},
title = {Model-Based Analogue Circuit Diagnosis with CLP(R)},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. Diagnostic systems usually rely on qualitative models and reason by local constraint propagation methods. However, there is a large class of applications where ATMS-like systems or pure logic programs are unpractical since they are unable to solve simultaneous equations. In particular, modeling real-valued system parameters with tolerances requires some degree of numerical processing, and feedback loops in general cannot be resolved by Appears in Proc. 4th Intl. GI Congress (W. Brauer, D. Hernandez, Eds.), pp. 343-353, Munchen, October 23-24, 1991, Springer-Verlag (IFB 291). local constraint propagation methods. Examples of such systems are analogue circuits, e.g., amplifiers or filters. In the paper we describe the role of Constraint Logic Programs over the domain of reals (CLP(!)) in representing both, qualitative and numerical models. CLP(!)...
