Challenges of distributed model-based diagnosis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6096 LNAI, Issue PART 1, 2010, Pages 711-720

  Wotawa, Franz ^a   Weber, Jörg ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGNOSIS SYSTEMS; DISTRIBUTED DIAGNOSIS; DISTRIBUTED MODELS; DISTRIBUTED SYSTEMS; GENERAL THEORY; MODELING CONCEPTS; MULTI-AGENT; SERVICE ORIENTED; SIMPLE ALGORITHM;

ALGORITHMS; FORMAL LOGIC; INDUSTRIAL ENGINEERING; INDUSTRY; INFORMATION SERVICES; INTELLIGENT SYSTEMS; SERVICE ORIENTED ARCHITECTURE (SOA);

MULTI AGENT SYSTEMS;

EID: 79551529827     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13022-9_71     Document Type: Conference Paper

References (13)

1. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
2. de Kleer, J.,Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97-130 (1987)
3. Su, R., Wonham, M.W., Kurien, J., Koutsoukos, X.: Distributed diagnosis for qualitative systems. In: Proc. of the 6th International Workshop on Discrete Event Systems (WODES). IEEE, Los Alamitos (2002)
4. Ardissono, L., Console, L., Goy, A., Petrone, G., Picardi, C., Segnan, M., Dupré, D.: Cooperative model-based diagnosis of web services. In: Proc. 16th Intl. Workshop on Principles of Diagnosis (DX), pp. 125-130 (2005)
5. Daigle, M., Koutsoukos, X., Biswas, G.: Distributed diagnosis of coupled mobile robots. In: Proc. of the IEEE International Conference on Robotics and Automation, Orlando, Florida (2006)
6. Kalech, M., Kaminka, G.: On the design of coordination diagnosis algorithms for teams of situated agents. Artificial Intelligence 171(8-9), 491-513 (2007)
7. Lamperti, G., Zanella, M.: Diagnosis of Active Systems. Kluwer Academic Publishers, Dordrecht (2003)
8. Guillou, X.L., Cordier, M., Robin, S., Rozé, L.: Chronicles for on-line diagnosis of distributed systems. In: Proc. of the European Conference on Artificial Intelligence (ECAI), pp. 194-198. IOS Press, Amsterdam (2008)
9. Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of a class of distributed discrete-event systems. IEEE Trans. Systems Man Cybernet. Part A: Systems and Humans 30(6), 731-752 (2000)
10. Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artificial Intelligence 110, 135-183 (1999)
11. Cordier, M., Grastien, A.: Exploiting independence in a decentralised and incremental approach of diagnosis. In: Proc. 17th Intl. Workshop on Principles of Diagnosis, DX (2006)
12. Ribot, P., Pencolé, Y., Combacau, M.: Design requirements for the diagnosability of distributed discrete event systems. In: Proc. 19th Intl. Workshop on Principles of Diagnosis (DX), Blue Mountains, Australia (2008)
13. Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence 41(1), 79-88 (1989)