Selecting tools and techniques for model-based diagnosis

Artificial Intelligence in Engineering

Volumn 12, Issue 1-2, 1998, Pages 81-98

  Chantler, M J ^a   Coghill, G M ^a   Shen, Q ^b   Leitch, R R ^a  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Methodology; Model based diagnosis

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; FAILURE ANALYSIS; MATHEMATICAL MODELS; ONLINE SYSTEMS; PROBLEM SOLVING;

MODEL BASED DIAGNOSTIC SYSTEMS; SPECIFICATION METHODOLOGY;

COMPUTER AIDED DIAGNOSIS;

EID: 0031675530     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0954-1810(97)00007-1     Document Type: Article

References (32)

1. Chantler, M. J., Shen, Q., Leitch, R. R. & Coghill, G. M., On choosing candidate generation and prediction techniques. In Proceedings of DX-95 The Sixth International Workshop on Principles of Diagnosis, Goslar, Germany, Oct. 2-4, 1995, pp. 49-56.
2. Leitch, R. R., Chantler, M., Shen, Q. & Coghill, G., A preliminary specification methodology for model-based diagnosis. Annals of Mathematics and Artificial Intelligence, 1994, 11, 11-32.
3. Tansley, D. S. W. & Hayball, C. C., Knowledge-Based Systems Analysis and Design, a KADS Developer's Handbook. Prentice Hall, Englewood Cliffs, NJ, 1993.
4. Bejamins, R., Problem solving methods for diagnosis. PhD thesis, Amsterdam University, 1993.
5. Hunt, J., A task specific architecture for multiple problem solver, model-based diagnostic expert systems. PhD thesis, University College of Wales Aberystwyth, April 1991.
6. Out, D., Strategies for efficient trouble shooting. PhD thesis, University of Twente, The Netherlands, 1993.
7. Leitch, R., Freitag, H., Stafanini, A. & Tornielli, G., Using the ARTIST approach for diagnosing power transmission networks. Intelligent Systems Engineering, Autumn 1994, 125-37.
8. Leitch, R., Chantler, M., Shen, Q. & Coghill, G., Modelling properties and classification of approaches. Mind Deliverable Report DI, 1994.
9. Patton, R., Frank, P. & Clark, R. (eds), Fault Diagnosis in Dynamic Systems: Theory and Applications. Prentice Hall International, Englewood Cliffs, NJ, 1989.
10. Frank, P. M., Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results. Automatica, 1990, 26(3), 459-74.
11. de Kleer, J. & Williams, B. C., Diagnosing multiple faults. Artificial Intelligence, 1987, 32, 97-130.
12. Iwasaki, Y. & Simon, H. A., Causality and model abstraction. Artificial Intelligence, 1994, 67, 143-94.
13. Wiegand, M. E., Constructive qualitative simulation of continuous dynamic systems. PhD thesis, Heriot-Watt University, 1991.
14. Cermignani, S. & Tornielli, G., Integrating statistic, numerical analysis and dependency recording in model-based diagnosis. In Trends in Artificial Intelligence, ed. E. Ardizzone, S. Gaglio & F. Sortbello. Springer, Berlin, 1991, pp. 187-96.
15. Shen, Q. & Leitch, R., Diagnosing continuous systems with qualitative dynamic models. Artificial Intelligence in Engineering, 1995, 9, 107-125.
16. Shen, Q. & Leitch, R. R., Fuzzy qualitative simulation. IEEE Transaction on Systems, Man and Cybernetics, 1993, 23, 1038-61.
17. Reiter, R., A theory of diagnosis from first principles. Artificial Intelligence, 1987, 32, 57-95.
18. Chittaro, L. et al. Functional and theological knowledge in the multimodelling approach for reasoning about physical systems. IEEE Trans. SMC, 1993, 23, 1718-51.
19. Raiman, O., The alibi principle. In Readings in Model-Based Diagnosis, ed. W. Hamscher, L. Console & J. De Kleer. Morgan Kauffmann, 1992, pp. 66-70.
20. Martin, E. B. & Morris, A. J., Multivariate statistics and neural networks in process fault detection. In IEE Computing and Control Division Colloquium on Qualitative and Quantitative Modelling Methods for Fault Diagnosis, London, Apr. 24 1995 (Conf. code 43380), pp. 7/1-7/8. [APU4].
21. Zhang, J. & Morris, A. J., Fuzzy neural networks for nonlinear systems modelling. IEE Proc.-Control Theory Applications, November 1995, 142(6), 551-561. [APU5].
22. Lunze, J. & Schiller, F., Logic-based process diagnosis utilising the causal structure of dynamical systems. In Proceedings of the IFAC/IFIP/IMACS Symposium on Artificial Intelligence in Real-Time Control, 1992, Delft, Jun. 16-18, 1992 (Conf. code 19852), pp. 279-85. [APU3].
23. Console, L., Dupre, D. T. & Torasso, P., A theory of diagnosis for incomplete causal models. IJCAI-89, Detroit, 20-24 Aug. 1989, pp. 1311-17.
24. Console, L. & Torasso, P., Integrating models of the correct behaviour into abductive diagnosis. ECAI-90, pp. 160-1.
25. Aldea, A. & Chantler, M., The design and use of multiple models for time-constrained hierarchical diagnosis. In Proceedings 2nd International Conference on Intelligent System Engineering, Hamburg September 1994, pp. 280-5.
26. Aldea, A., The use of scheduling and hierarchical modelling techniques for time-limited diagnosis. PhD thesis, Heriot-Watt University, Edinburgh, 1994.
27. Chantler, M. & Aldea, A., A scheduling algorithm for time-constrained model-based diagnosis. In Artificial Intelligence in Engineering, 1996 (in press).
28. Bottcher, C. & Dressler, O., A framework for controlling model-based diagnostic systems. Annals of Mathematics and Artificial Intelligence, 1994, 11, 241-61.
29. Struss, P., Diagnosis as a process. In Readings in Model-Based Diagnosis, ed. W. Hamscher, L. Console & J. De Kleer. Morgan Kauffmann, 1992, pp. 408-18.
30. Cermignani, S. & Tornielli, G., GIOTTO: a diagnostic system for continuous static processes. In Proceedings Automation '93, Milan, November 1993, pp. 1-13.
31. Leitch, R. & Quek, C., Architecture for integrated process supervision. IEEE Proceedings, Pt. D, 1992, 139, 317-27.
32. Struss, P. & Dressler, O., Physical negation - integrating fault models into general diagnostic engine. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, Vol. 2, 1989, pp. 1318-23.