Qualitative circuit models in failure analysis reasoning

Artificial Intelligence

Volumn 111, Issue 1, 1999, Pages 239-276

  Lee, M H ^a  

^a ABERYSTWYTH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; ELECTRIC NETWORK ANALYSIS; FAILURE ANALYSIS; MATHEMATICAL MODELS;

FAILURE MODE EFFECTS ANALYSIS (FMEA); QUALITATIVE REASONING (QR);

ARTIFICIAL INTELLIGENCE;

EID: 0033165341     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00032-6     Document Type: Article

References (40)

1. S. Arnborg, B. Courcelle, A. Proskurowski, D. Seese, An algebraic theory of graph reduction, in: H. Ehrig, H.-J. Kreowski, G. Rozenberg (Eds.), Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science, Vol. 532, Springer, Berlin, 1991, pp. 70-83.
2. S. Arnborg, A. Proskurowski, Canonical representations of partial 2- and 3-trees, in: J.R. Gilbert, R. Karlsson (Eds.), Proc. 2nd Scandinavian Workshop on Algorithm Theory, Lecture Notes in Computer Science, Vol. 447, Springer, Berlin, 1990, pp. 311-319.
3. P. Brna, A. Caiger, The application of cognitive diagnosis to the quantitative analysis of simple electrical circuits, in: C. Frasson, G. Gauthier, G.I. McCalla (Eds.), Intelligent Tutoring Systems, Proc. 2nd International Conference, Springer, Berlin, 1992, pp. 405-412.
4. W. Clocksin, A.J. Morgan, Qualitative control, in: Proc. ECAI-86, Vol. 1, 1986, pp. 350-356.
5. T.H. Cormen, C.E. Leiserson, R.L. Rivest, Introduction to Algorithms, MIT Press, Cambridge, MA, 1990.
6. J. de Kleer, How circuits work, Artificial Intelligence 24 (1984) 205-280.
7. J. de Kleer, G.J. Sussman, Propagation of constraints applied to circuit synthesis, Circuit Theory and Applications 8 (1980) 127-144.
8. E.W. Dijkstra, A note on two problems in connection with graphs, Numer. Math. 1 (1959) 269-271.
9. J. Flores, A.M. Farley, Qualitative phasor analysis, in: Proc. 10th International Workshop on Qualitative Reasoning (QR-96), Stanford Sierra Camp, CA, 1996, pp. 43-51.
10. J. Flores, A.M. Parley, Incremental design for linear circuits, in: Proc. 12th International Workshop on Qualitative Reasoning in Physical Systems (QR-98), Cape Cod, 1998, pp. 50-56.
11. K.D. Forbus, Qualitative physics: past, present and future, in: D. Weld, J. de Kleer (Eds.), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990.
12. M.J. French, Invention and Evolution: Design in Nature and Engineering, Cambridge University Press, Cambridge, 1988.
13. C. Inglis, Modern Engineering, Oxford University Press, Oxford, 1955.
14. D.C. Karnopp, D.L. Margolis, R.C. Rosenberg, Systems Dynamics: A Unified Approach, 2nd ed., Wiley, New York, 1990.
15. M.H. Lee, A.R.T. Ormsby, Qualitative modelling of electrical circuits, in: Proc. 6th International Workshop on Qualitative Reasoning in Physical Systems (QR-92), Edinburgh, 1992, pp. 147-153.
16. M.H. Lee, A.R.T. Ormsby, Qualitatively modelling the effects of electrical circuit faults, Artificial Intelligence in Engineering 8 (4) (1993) 293-300.
17. M.H. Lee, Qualitative modelling of linear networks in ECAD applications, in: Proc. 13th International Workshop on Qualitative Reasoning (QR'99), Scotland, 1999, to appear.
18. R. Leitch, Q. Shen, G.M. Coghill, M. Chantler, Choosing the right model, IEE Proceedings D, Control Theory and Applications (1999), to appear.
19. C.A. Makris, C. Toumazou, ISAID: Qualitative reasoning and trade-off analysis in analog IC design automation, in: A. Pugh (Ed.), Proc. IEEE International Symposium on Circuits and Systems, 1992, pp. 1-4.
20. C.A. Makris, C. Toumazou, Analog IC design automation .2. automated circuit correction by qualitative reasoning, IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems 14 (2) (1995) 239-254.
21. J. Mauss, B. Neumann, Qualitative reasoning about electrical circuits using series-parallel-star trees, in: Proc. 10th International Workshop on Qualitative Reasoning (QR-96), Stanford Sierra Camp, CA, 1996, pp. 147-153.
22. J. Mauss, Local analysis of linear networks by aggregation of characteristic lines, in: Proc. 9th International Workshop on the Principles of Diagnosis (DX-98), Cape Cod, 1998, pp. 78-85.
23. K. Nakata, M.H. Lee, G. Barry, A.R.T. Ormsby, PL. Olivier, Modelling electromechanical systems from multiple perspectives, in: G. Rzevski, R.A. Adey (Eds.), Applications of Artificial Intelligence in Engineering X, 1995, pp. 227-234.
24. C. Preist, B. Welham, Modelling bridge faults for diagnosis in electronic circuits, in: Proc. First International Workshop on Principles of Diagnosis, Stanford, CA, 1990; also in Technical Report HPL-ISC-TM-90-036, Hewlett-Packard, Bristol, 1990.
25. C.J. Price, Function-directed electrical design analysis, Artificial Intelligence in Engineering 12 (4) (1998) 445-456.
26. C.J. Price, J.E. Hunt, M.H. Lee, A.R.T. Ormsby, A Model-based approach to the automation of failure mode effects analysis for design, in: Proc. Inst. Mech. Eng., Part D: Journal of Automobile Engineering, Vol. 206, 1992, pp. 285-291.
27. C.J. Price, D.R. Pugh, M.S. Wilson, N.A. Snooke, The Flame system: Automating electrical failure mode and effects analysis (FMEA), in: Reliability and Maintainability Symposium, IEEE, 1995, pp. 90-95.
28. Saber User's Guide, Analogy Inc., Beaverton, OR, 1996.
29. J. Schollers, T. Yli-Pietila, Simulation of mechatronic systems using analog circuit simulation tools, in: Proc. IEEE International Conference on Robotics and Automation, 1995, pp. 2847-2852.
30. N.A. Snooke, Simulating electrical devices with complex behaviour, AI Commun., to appear.
31. N.A. Snooke, C.J. Price, Challenges for qualitative electrical reasoning in automotive circuit simulation, in: Proc. 11th International Workshop on Qualitative Reasoning (QR-97), Cortona, 1997, pp. 175-180.
32. R.M. Stallman, G.J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence 9 (1977) 135-196.
33. P. Struss, What's in SD? Towards a theory of modeling for diagnosis, in: Proc. 2nd International Workshop on Principles of Diagnosis (DX-91), Milan, 1991.
34. P. Struss, A. Malik, M. Sachenbacher, Case studies in model-based diagnosis and fault analysis of carsubsystems, in: Working papers 1st International Workshop on Model-Based Systems and Qualitative Reasoning (ECAI-96), Budapest, 1996, pp. 17-125.
35. P. Struss, A. Malik, M. Sachenbacher, Qualitative modeling is the key to automated diagnosis, in: Proc. 13th Triennial World Congress of IFAC, San Francisco, CA, Pergamon, 1996, pp. 43-48.
36. G.J. Sussman, Electrical design: A problem for artificial intelligence research, in: Proc. IJCAI-77, Cambridge, MA, 1977, pp. 894-900.
37. G.J. Terry, Engineering System Safety, 2nd ed., Mechanical Engineering Publications, London, 1991.
38. A. Vladimirescu, A.R. Newton, D.O. Pederson, SPICE, Version 2G: User's Guide, Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA, 1980.
39. D. Weld, J. de Kleer (Eds.), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, SanMateo, CA, 1990.
40. B.C. Williams, Qualitative analysis of MOS circuits, Artificial Intelligence 24 (1984) 281-346.