Part of the book series:Informatik-Fachberichte ((2252,volume 291))
202Accesses
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 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(R)) in representing both, qualitative and numerical models. CLP(R) is a logic programming system extended with a solver for systems of linear equations and inequalities over real-valued variables.
This is a preview of subscription content,log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bandler, J.W., Salama, A.E. (1985). Fault diagnosis of analog circuits.Proc. IEEE 73 (8), pp. 1279–1826.
Carlsson, M., Widen, J. (1990). Sicstus Prolog user’s manual, SICS/R-88/88007C, Swedish Institute of Computer Science, Kista, Sweden.
Cohen, J. (1990). Constraint logic programming languages.Communications of the ACM33 (7), pp. 52–68.
Dague, P., Deves, P., Luciani, P., Taillibert, P. (1990). Analog systems diagnosis.Proc. 9th ECA1, pp. 173–178, Stockholm.
Davis, R. (1984). Diagnostic reasoning based on structure and behaviour. Artificial Intelligence 24, pp. 347–410.
de Kleer, J., Williams, B.C. (1987). Diagnosing multiple faults. Artificial Intelligence 32, pp. 97–130.
Duhamel, P., Rault, J.C. (1979). Automatic test generation techniques for analog circuits and systems: a review. IEEE Trans. on Circuits and Systems CAS-26 (7), pp. 411–440.
Genesereth, M.R. (1984). The use of design descriptions in automated diagnosis. Artificial Intelligence 24, pp. 411–436.
Heintze, N., Jaffar, J., Michaylov, S., Stuckey, P., Yap, R. (1987a). The CLP(ft) programmer’s manual. Dept. of Computer Science, Monash University, Australia.
Heintze, N., Michaylov, S., Stuckey, P. (1987b). CLP(ft) and some electrical engineering problems. Proc. 4th toil- Conference on Logic Programming, pp. 675–703, Melbourne, Australia, The MIT Press.
Holzbaur, C. (1990). Specification of constraint based inference mechanisms through extended unification. Ph.D. Thesis, Vienna University of Technology, Austria.
Jaffar, J. (1990). CLP(ft) version 1.0 reference manual. IBM Research Division, T.J. Watson Research Center, Yorktown Heights, NY.
Jaffar, J., Lassez, J.-L., Mahler, J. (1986). A logic programming language scheme. In D. de Groot, G. Linstrom (eds.), Logic Programming: Functions, Relations, and Equations, Prentice-Hall, Englewood Cliffs, NJ.
Kraemer, F.-J. (1989). A decision procedure for Presburger arithmetic with functions and equality. SEKI working paper SWP-89-4, FB Informatik, University of Kaiserslautern, Germany.
McKeon A., Wakeling, A. (1990). Model-based analogue circuit fault diagnosis. Proc. TEST’90, pp. 1–14, London.
Mozetic, I., Holzbaur, C. (1991a). Integrating qualitative and numerical models within Constraint Logic Programming. Proc. 1991 Intl. Logic Programming Symposium, ILPS-91, San Diego, MIT Press.
Mozetic, I., Holzbaur, C. (1991b). Controlling the complexity in model-based diagnosis. Report TR-91-3, Austrian Research Institute for Artificial Intelligence, Vienna, Austria.
Ohletz, M.J. (1991). Hybrid built-in self test for mixed analogue/digital integrated circuits. Proc. 2nd European Test Conf. TEST’91, pp. 307–316, Munich.
Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence 32, pp. 57–95.
Shostak, R. (1981). Deciding linear inequalities by computing loop residues. Journal of the ACM 28 (4), PP- 769–779.
Spectrum. Micro-cap III electronic circuit analysis program instruction manual. Spectrum Software, 1021 S. Wolfe Road, Sunnyvale, CA 94086.
Author information
Authors and Affiliations
Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria
Igor Mozetič & Christian Holzbaur
Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria
Christian Holzbaur
Jozef Stefan Institute, Jamova 39, 61000, Ljubljana, Slovenia
Franc Novak
Iskra HIPOT, Šentjernej, Slovenia
Marina Santo-Zarnik
- Igor Mozetič
You can also search for this author inPubMed Google Scholar
- Christian Holzbaur
You can also search for this author inPubMed Google Scholar
- Franc Novak
You can also search for this author inPubMed Google Scholar
- Marina Santo-Zarnik
You can also search for this author inPubMed Google Scholar
Editor information
Editors and Affiliations
Institut für Informatik, Technische Universität München, Arcisstr. 21, W-8000, München 2, Germany
W. Brauer & D. Hernández &
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mozetič, I., Holzbaur, C., Novak, F., Santo-Zarnik, M. (1991). Model-Based Analogue Circuit Diagnosis with CLP(R). In: Brauer, W., Hernández, D. (eds) Verteilte Künstliche Intelligenz und kooperatives Arbeiten. Informatik-Fachberichte, vol 291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76980-1_31
Download citation
Publisher Name:Springer, Berlin, Heidelberg
Print ISBN:978-3-540-54617-7
Online ISBN:978-3-642-76980-1
eBook Packages:Springer Book Archive
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative