Integrating model-based diagnosis techniques into current work processes - three case studies from the INDIA project

AI Communications

Volumn 13, Issue 2, 2000, Pages 99-123

  Milde, Heiko ^a   Guckenbiehl, Thomas ^b   Malik, Andreas ^c   Neumann, Bernd ^a   Struss, Peter ^d  

^a UNIVERSITY OF HAMBURG   (Germany)

^b FRAUNHOFER IOSB   (Germany)

^c ESG ELEKTRONIKSYSTEM UND LOGISTIK GMBH   (Germany)

^d TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TREE ANALYSIS; INTELLIGENT NETWORKS; MATHEMATICAL MODELS; ONLINE SYSTEMS; PROGRAM DIAGNOSTICS;

MODEL-BASED DIAGNOSIS METHODS;

ARTIFICIAL INTELLIGENCE;

EID: 0033676584     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (32)

1. W. Ahrens, H.-J. Scheurlen and G.-U. Spohr, Informationsori-entierte Leittechnik, Oldenbourg-Verlag, 1997 (in German).
2. P. Baroni, G. Lamperti, P. Pogliano and M. Zanella, Diagnosis of large active systems. Artificial Intelligence 110(1999), 135-183.
3. A. Brinkop, Statecharts zur Simulation und Diagnose. Fraunhofer-Institut für Informations- und Datenverarbeitung IITB, Karlsruhe, INDIA-Report 99-01, 1999 (in German).
4. H. Buchner, J. Lauber and M. Polke, Das Informationsmodell: Basis für die interdisziplinäre Prozeßbeschreibung, AT - Automatisierungstechnik 42(1) (1994), 5-10 (in German).
5. F. Cascio, L. Console, M. Guagliumi, M. Osella, A. Panati, S. Sottano and D. Theseider-Dupré, Strategies for on-board diagnostics of dynamic automotive systems using qualitative models, AI Communications 12(1), 33-44.
6. Y.L. Chen and G. Provan, Modeling and diagnosis of timed discrete event systems - a factory automation example, in: Proc. of the American Control Conference, Albuquerque, New Mexico (USA), 1997, pp. 31-36.
7. M.-O. Cordier and S. Thiébaux, Event-Based Diagnosis for Evolutive Systems, Internal Report 819, IRISA, May 1994.
8. J. de Kleer and B. Williams, Diagnosing multiple faults, Artificial Intelligence 32(1987), 97-130.
9. DIN Deutsches Institut für Normung e.V. (Hrsg.). DIN-28004, Teil 1-4: Fließbilder verfahrenstechnischer Anlagen. Beuth-Verlag, Berlin, 1988 (in German).
10. B.P. Douglass, Doing Hard Time - Developing Real-Time Systems with UML, Objects, Frameworks and Patterns, Addison-Wesley, 1999.
11. P.-P. Faure, L. Trave-Massuyes and H. Poulard, An interval model-based approach for optimal diagnosis tree generation, in: Proc. DX-99, 10th International Workshop on Principles of Diagnosis, 1999.
12. E. Gamma, R. Helm, R. Johnson and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
13. T. Guckenbiehl, H. Milde, B. Neumann and P. Struss, Meeting re-use requirements of real-life diagnosis applications, in: Proc. XPS-99: Knowledge-Based Systems, Springer, LNAI 1570, 1999, pp. 90-100.
14. T. Guckenbiehl, Ansätze zur Senkung der Einführungskosten von Diagnosesystemen, in: INDIA - Intelligente Diagnose in der Anwendung, P. Struss, L. Hotz and T. Guckenbiehl, eds, Ch. III.4, Shaker-Verlag, 2000 (in German).
15. D. Harel and M. Politi, Modelling Reactive Systems with Statecharts, McGraw-Hill, 1998.
16. W. Hemming, Verfahrenstechnik, Vogel-Verlag, 1993 (in German).
17. J. Lunze and J. Schröder, Process diagnosis based on a discrete-event description, At - Automatisierungstechnische Praxis 47(8) (1999), 358-365.
18. R. Inderst, Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme, Diploma Thesis, Technical University of Munich, Dept. of Comp. Sci., 1995 (in German).
19. R. Inderst, P. Struss and O. Dressler, Automatische Testgenerierung für Weichenschaltungen auf der Basis qualitativer Modellierung, Tagungsband zum Treffen der GI-Fachgruppe 1.5.2 "Diagnostik und Klassifikation", Goslar, 1995 (in German).
20. J. Mouss and B. Neumann, Qualitative reasoning about electrical circuits using series-parallel-star trees, in: Proc. QR '96, 10th International Workshop on Qualitative Reasoning about Physical Systems, 1996.
21. H. Milde, L. Hotz, J. Kahl and S. Wessel, Qualitative analysis of electrical circuits for computer-based diagnostic decision tree generation, in: Proc. QR '99, 13th International Workshop on Qualitative Reasoning about Physical Systems, and in: Proc. DX-99, 10th International Workshop on Principles of Diagnosis, 1999.
22. H. Milde and L. Hotz, Facing diagnosis reality - model-based fault tree generation in industrial application, in: Proc. DX-00, 11th International Workshop on Principles of Diagnosis, 2000.
23. www.occm.de.
24. G. Pahl and W. Beitz, Engineering Design: A Systematic Approach, Springer, 1996.
25. C Price and D. Pugh, Interpreting simulation with functional labels, in: Proc. QR '96, 10th International Workshop on Qualitative Reasoning about Physical Systems, 1996.
26. D. Pugh and N. Snooke, Dynamic analysis of qualitative circuits, in: Proc. of Annual Reliability and Maintainability Symposium, IEEE Press, 1996, pp. 37-42.
27. S. Russel and P. Norvig, Artificial Intelligence a Modern Approach, Prentice Hall, 1995.
28. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D.C. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology 4(2) (1996), 105-124.
29. M. Sampath, S. Lafortune and D.C. Teneketzis, Active diagnosis of discrete-event systems, IEEE Transactions on Automatic Control 40(7) (1998), 908-929.
30. P. Struss, Problems of interval-based qualitative reasoning, in: Readings in Qualitative Reasoning about Physical Systems, D. Weld and J. de Kleer, eds, Morgan Kaufmann, 1990.
31. P. Struss, Testing physical systems, in: Proc. AAAI-94, Seattle, USA, 1994.
32. P. Struss, A Theory of Testing Physical Systems Based on First Principles, Technical Report CD-TR 94/63 of the Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1994.