A case study on the use of model-based systems for electronic fault diagnosis

Artificial Intelligence in Engineering

Volumn 12, Issue 3, 1998, Pages 283-295

  Cunningham, Pádraig ^a  

^a TRINITY COLLEGE DUBLIN   (Ireland)

Author keywords

Electronic fault diagnosis; Knowledge based systems; Model based systems; Switching mode power supplies

Indexed keywords

ELECTRIC FAULT CURRENTS; ELECTRIC POWER SUPPLIES TO APPARATUS; FAILURE ANALYSIS; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS;

ELECTRONIC FAULT DIAGNOSIS; SWITCHING MODE POWER SUPPLIES;

KNOWLEDGE BASED SYSTEMS;

EID: 0032124109     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0954-1810(97)10004-8     Document Type: Article

References (24)

1. Davis, R., Form and content in model based reasoning. In 1st Workshop on MBR at IJCAI'89. 1989, pp. 11-27.
2. Keller, R.M., In defence of compilation. In 2nd Workshop on MBR at IAAAI'90. 1990, pp. 22-31.
3. deKleer, J. & Williams, B. C. Diagnosing multiple faults. Artificial Intelligence, 1987, 32, 97-130.
4. Raiman, O., deKleer, J. & Saraswat, V., Critical reasoning. In Proceedings of IJCAI93. Morgan Kaufmann, San Mateo, CA, 1993, pp. 18-23.
5. deKleer, J. & Raiman, O., Trading off the cost of interference vs. probing in diagnosis. In Proceedings of IJCAI '95. Morgan Kaufmann, San Mateo, CA, 1995, pp. 1736-41.
6. deKleer, J., Compiling devices: locality in a TMS. In Recent Advances in Qualitative Physics, ed. B. Faltings & P. Struss. 1992, pp. 195-310.
7. Dressier, O., On-line diagnosis and monitoring of dynamic systems based on qualitative models of dependency-recording diagnosis engines. In Proceedings of ECAI '96. John Wiley, Chichester, 1996, pp. 481-5.
8. Dressier, O. & Struss, P., Back to defaults: characterizing and computing diagnoses as coherent assumption sets. in Proceedings of ECAI'92. John Wiley, Chichester, 1992, pp. 719-23.
9. Struss, P. & Dressier, O., Physical negation: integrating fault models into the general diagnostic engine. In Proceedings of IJCAI'89. Morgan Kaufmann, San Mateo, CA, 1989, pp. 1318-23.
10. deKleer, J. An assumption-based truth maintenance system. Artificial Intelligence, 1986, 28, 127-162.
11. Kereavnou, E.T. & Johnson, L., Competent Expert Systems. Kogan Page, London, 1986.
12. Shortliffe, E.H., Computer-Based Medical Consultation: MYCIN. American Elsevier, New York, 1976.
13. Genesereth, M. R. The use of design descriptions in automated diagnosis. Artificial Intelligence, 1984, 24, 411-436.
14. Barrow, H. G. VERIFY: A program for proving correctness of digital hardware designs. Artificial Intelligence, 1987, 24, 437-491.
15. Williams, B. C. Qualitative analysis of MOS circuits. Artificial Intelligence, 1984, 24, 281-346.
16. Genesereth, M.R., Diagnosis using hierarchical design models. In Proceedings of AAAI - '82. Morgan Kaufmann, Los Altos, CA, 1982, pp. 278-83.
17. Brown, J. S., Bruton, R. R. & deKleer, J., Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III. In Intelligent Tutoring Systems, ed. D. Sleeman & J. S. Brown. Academic Press, New York, 1982, pp. 227-82.
18. Davis, R. Diagnostic reasoning based on structure and behaviour. Artificial Intelligence, 1984, 24, 347-410.
19. Cunningham, P., Interim report on the development of an expert system for fault diagnosis of power supplies, Trinity College Dublin Computer Science Report No. CSC-87-03, 1987.
20. Wilson, P., Switching mode power supplies. In Electronic Power Control and Digital Techniques, ed. B. Norris. McGraw-Hill, New York, 1976.
21. Rupra, K., Switching mode power supplies. In Power Transistor and TTL Integrated Circuit Applications, ed. B. Norris. McGraw-Hill, New York, 1977.
22. Cunningham, P., Qualitative reasoning in electronic fault diagnosis. In Proceedings of IJCAI-'87. Morgan Kaufmann, San Mateo, CA, 1987, pp. 443-5.
23. Raiman, O., Order of magnitude reasoning. In Proceedings of AAAI'86. Morgan Kaufmann, Los Altos, CA, 1986, pp. 100-4.
24. Dague, P., Raiman, O. & Deves, P., Troubleshooting: when modelling is the trouble. In Proceedings of AAAI'87. Morgan Kaufmann, Los Altos, CA, 1987, pp. 600-5.