Conflict-based diagnosis of discrete event systems: Theory and practice

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2012, Pages 489-499

  Grastien, Alban ^a,b   Haslum, Patrik ^a,b   Thiébaux, Sylvie ^a,b  

^a CSIRO   (Australia)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC POWER TRANSMISSION; KNOWLEDGE REPRESENTATION;

DIAGNOSIS ALGORITHMS; DIAGNOSIS HYPOTHESIS; POWER TRANSMISSION SYSTEMS; REAL-WORLD PROBLEM; SEARCH SPACES; SYMBOLIC REPRESENTATION; TESTING HYPOTHESIS; THEORY AND PRACTICE;

DISCRETE EVENT SIMULATION;

EID: 84893422663     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Aghasaryan, A.; Fabre, É.; Benveniste, A.; Boubour, R.; and Jard, C. 1998. Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri Nets. Journal of Discrete Event Dynamical Systems 8(2):203-231.
2. Belard, N.; Pencolé, Y.; and Combacau, M. 2011. MEDITO: A logic-based meta-diagnosis tool. In 22nd International Workshop on Principles of Diagnosis (DX-11), 130-137.
3. Biere, A.; Cimatti, A.; Clarke, E.; Strichman, O.; and Zhu, Y. 2003. Bounded model checking. Advances in Computers 58:118-149.
4. Cassandras, C., and Lafortune, S. 1999. Introduction to discrete event systems. Kluwer Academic Publishers.
5. Cordier, M.-O., and Thiébaux, S. 1994. Event-based diagnosis for evolutive systems. In 5th International Workshop on Principles of Diagnosis (DX-94), 64-69.
6. de Moura, L. M.; Dutertre, B.; and Shankar, N. 2007. A tutorial on satisfiability modulo theories. In 19th International Conference on Computer Aided Verification (CAV), 20-36.
7. Grastien, A.; Anbulagan; Rintanen, J.; and Kelareva, E. 2007. Diagnosis of discrete-event systems using satisfiability algorithms. In 22nd Conference on Artificial Intelligence (AAAI-07), 305-310.
8. Haslum, P., and Grastien, A. 2011. Diagnosis as planning: two case studies. In 5th Scheduling and Planning Applications Workshop (SPARK-11).
9. Kan John, P., and Grastien, A. 2008. Local consistency and junction tree for diagnosis of discrete-event systems. In 18th European Conference on Artificial Intelligence (ECAI-08), 209-213.
10. Kautz, H., and Selman, B. 1992. Planning as satisfiability. In 10th European Conference on Artificial Intelligence (ECAI'92), 359-363.
11. McIlraith, S. 1994. Towards a theory of diagnosis, testing and repair. In 5th International Workshop on Principles of Diagnosis (DX'94), 185-192.
12. McIlraith, S. 1998. Explanatory diagnosis: Conjecturing actions to explain observations. In 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy, June 1998, 167-177.
13. Nash-Williams, C. 1963. On well-quasi-ordering finite trees. Mathematical Proceedings of The Cambridge Philosophical Society 59(4):833-835.
14. Pencolé, Y., and Cordier, M.-O. 2005. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence (AIJ) 164(1-2):121-170.
15. Pulido, B., and Alonso González, C. 2004. Possible conflicts: a compilation technique for consistency-based diagnosis. IEEE Transactions on Systems, Man, and Cybernetics (TSMC) 34(5):2192-2206.
16. Reiter, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence (AIJ) 32(1):57-95.
17. Rintanen, J. 2010. Heuristic planning with SAT: beyond strict depth-first search. In 23rd Australasian Joint Conference on Artificial Intelligence (AI-10), 415-424.
18. Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; and Teneketzis, D. 1995. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control (TAC) 40(9):1555-1575.
19. Schumann, A.; Pencolé, Y.; and Thiébaux, S. 2007. A spectrum of symbolic on-line diagnosis approaches. In 22nd Conference on Artificial Intelligence (AAAI-07), 335-340.
20. Sohrabi, S.; Baier, J.; and McIlraith, S. 2010. Diagnosis as planning revisited. In 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), 26-36.
21. Su, R., and Wonham, W. 2005. Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Transactions on Automatic Control (TAC) 50(12):1923-1935.
22. Zanella, M., and Lamperti, G. 2003. Diagnosis of active systems. Kluwer Academic Publishers.