On classification and modeling issues in distributed model-based diagnosis

AI Communications

Volumn 26, Issue 1, 2013, Pages 133-143

  Wotawa, Franz ^a   Pill, Ingo ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

distributed diagnosis; Model based diagnosis

Indexed keywords

CLASSIFICATION APPROACH; DISTRIBUTED DIAGNOSIS; DISTRIBUTED SYSTEM DIAGNOSIS; DISTRIBUTED SYSTEMS; KNOWLEDGE BASIS; MODEL BASED DIAGNOSIS; SYSTEM BEHAVIORS; SYSTEM COMPLEXITY; SYSTEM MODELS; THREE DIMENSIONS;

INFORMATION SERVICES;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 84872917666     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIC-2012-0548     Document Type: Article

References (40)

1. K. Autio and R. Reiter, Structural abstraction in model-based diagnosis, in: Proc. 13th European Conference on Artificial Intelligence, 1998, pp. 269-273
2. P. Baroni, G. Lamperti, P. Pogliano and M. Zanella, Diagnosis of large active systems, Artif. Intell. 110 (1999), 135-183
3. P. Baroni, G. Lamperti, P. Pogliano and M. Zanella, Diagnosis of a class of distributed discrete-event systems, IEEE Trans. Syst. Man Cybernet. A 30(6) (2000), 731-752 (Pubitemid 32169088)
4. R.R. Brooks and S.S. Iyengar, Multi-Sensor Fusion: Fundamentals and Applications with Software, Prentice Hall, Upper Saddle River, NJ, 1998
5. S.H. Chung and A. Barrett, Distributed real-time model-based diagnosis, in: Proc. IEEE Aerospace Conference, Vol. I, 2003, pp. 349-355
6. L. Console, D. T. Dupré and P. Torasso, On the relationship between abduction and deduction, J. Logic Comput. 1(5) (1991), 661-690
7. M.O. Cordier and A. Grastien, Exploiting independence in a decentralised and incremental approach of diagnosis, in: Proc. 17th International Workshop on Principles of Diagnosis, Peñaranda de Duero, Spain, 2006
8. M. Daigle, X. Koutsoukos and G. Biswas, Distributed diagnosis of coupled mobile robots, in: Proc. IEEE Int. Conference on Robotics and Automation, 2006, pp. 3787-3794 (Pubitemid 44940644)
9. R. Davis, Diagnostic reasoning based on structure and behavior, Artif. Intell. 24 (1984), 347-410 (Pubitemid 15456610)
10. J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnosis and systems, Artif. Intell. 56 (1992), 197-222
11. J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artif. Intell. 32(1) (1987), 97-130
12. A. Felfernig, G. Friedrich, D. Jannach and M. Stumptner, Consistency-based diagnosis of configuration knowledge bases, Artif. Intell. 152(2) (2004), 213-234
13. G. Fleischanderl, H. Schreiner, T. Havelka, M. Stumptner and F. Wotawa, An environment and language for industrial use of model-based diagnosis, in: Proc. ECAI Workshop on Knowledge-Based Engineering, Berlin, 2000
14. G. Friedrich, G. Gottlob and W. Nejdl, Physical impossibility instead of fault models, in: Proc. 8th AAAI Conference on Artificial Intelligence, 1990, pp. 331-336. Also appears in: Readings in Model-Based Diagnosis, Morgan Kaufmann, San Francisco, CA, 1992
15. R. Greiner, B.A. Smith and R.W. Wilkerson, A correction to the algorithm in Reiter's theory of diagnosis, Artif. Intell. 41(1) (1989), 79-88 (Pubitemid 20633340)
16. T. Havelka, M. Stumptner and F. Wotawa, AD2L-a programming language for model-based systems (preliminary report), in: Proc. 11th International Workshop on Principles of Diagnosis, Morelia, Mexico, 2000
17. M. Kalech and G.A. Kaminka, On the design of coordination diagnosis algorithms for teams of situated agents, Artif. Intell. 171(8,9) (2007), 491-513 (Pubitemid 46828979)
18. F. Koushanfar, M. Potkonjak and A. Sangiovanni-Vincentelli, On-line fault detection of sensor measurements, in: Proc. IEEE Sensors, 2003, pp. 974-979
19. J. Kurien, X. Koutsoukos and F. Zhao, Distributed diagnosis of networked hybrid systems, in: Proc. AAAI Spring Symposium on Information Refinement and Revision for Decision Making: Modeling for Diagnostics, Prognostics and Prediction, 2002, pp. 37-44
20. G. Lamperti and M. Zanella, Diagnosis of Active Systems, Kluwer Academic, Dordrecht, 2003
21. X. Le Guillou, M.O. Cordier, S. Robin and L. Rozé, Chronicles for on-line diagnosis of distributed systems, in: Proc. 18th European Conference on Artificial Intelligence, 2008, pp. 194-198
22. A. Malik, P. Struss and M. Sachenbacher, Qualitative modeling is the key-a successful feasibility study in automated generation of diagnosis guidelines and failure mode and effects analysis for mechatronic car subsystems, in: Proc. 6th International Workshop on Principles of Diagnosis, Goslar, Germany, 1995
23. A. Malik, P. Struss and M. Sachenbacher, Case studies in model-based diagnosis and fault analysis of car-subsystems, in: Proc. 12th European Conference on Artificial Intelligence, 1996
24. W. Mayer, M. Stumptner, D. Wieland and F. Wotawa, Can AI help to improve debugging substantially? Debugging experiences with value-based models, in: Proc. 15th European Conference on Artificial Intelligence, 2002, pp. 417-421
25. W. Mayer, M. Stumptner, D.Wieland and F.Wotawa, Towards an integrated debugging environment, in: Proc. 15th European Conference on Artificial Intelligence, 2002, pp. 422-426
26. R. Micalizio, P. Torasso and G. Torta, On-line monitoring and diagnosis of a team of service robots: a model-based approach, AI Commun. 19(4) (2006), 313-340
27. I. Mozeti?c, Hierarchical model-based diagnosis, Int. J. Man-Machine Stud. 35 (1991), 329-362
28. I. Pill, G. Steinbauer and F. Wotawa, A practical approach for the online diagnosis of industrial transportation systems, in: Proc. 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2009, pp. 1318-1323
29. G.M. Provan and J. Wang, Automated benchmark model generators for model-based diagnostic inference, in: Proc. 20th International Joint Conference on Artificial Intelligence, 2007, pp. 513-518
30. K. Rajan, D.E. Bernard, G. Dorais, E.B. Gamble, B. Kanefsky, J. Kurien,W. Millar, N. Muscettola, P.P. Nayak, N.F. Rouquette, B.D. Smith, W. Taylor and Y. Tung, Remote agent: an autonomous control system for the new millennium, in: Proc. 14th European Conference on Artificial Intelligence, 2000, pp. 726-730
31. R. Reiter, A theory of diagnosis from first principles, Artif. Intell. 32(1) (1987), 57-95
32. P. Ribot, Y. Pencolé and M. Combacau, Design requirements for the diagnosability of distributed discrete event systems, in: Proc. 19th International Workshop on Principles of Diagnosis, Blue Mountains, Australia, 2008
33. J. Schweiger, K. Ghandri and A. Koller, Concepts of a distributed real-time knowledge base for teams of autonomous systems, in: Proc. International Conference on Intelligent Robots and Systems, 1994, pp. 1508-1515
34. R. Sengupta, Diagnosis and communication in distributed systems, Institute of Transportation Studies, Research reports, Working papers, Proceedings 103091, Institute of Transportation Studies, UC Berkeley, May 1999
35. S. Stoehr, Using a distributed knowledge base to coordinate autonomous mobile systems, in: Proc. 7th International Workshop on Database and Expert Systems Applications, 1996, pp. 172-177
36. P. Struss and O. Dressler, Physical negation-integrating fault models into the general diagnostic engine, in: Proc. 11th International Joint Conference on Artificial Intelligence, 1989, pp. 1318-1323
37. R. Su, W.M. Wonham, J. Kurien and X. Koutsoukos, Distributed diagnosis for qualitative systems, in: Proc. 6th InternationalWorkshop on Discrete Event Systems, Zaragoza, 2002
38. J. Wang and G.M. Provan, Generating application-specific benchmark models for complex systems, in: Proc. 23rd AAAI Conference on Artificial Intelligence, 2008, pp. 566-571
39. B.C.Williams and P.P. Nayak, Immobile robots-AI in the new millennium, AI Magazine 17(3) (1996), 16-35
40. F. Wotawa and J. Weber, Challenges of distributed modelbased diagnosis, in: Proc. 23rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE), Part I, 2010, pp. 711-720