A spectrum of symbolic on-line diagnosis approaches

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 335-340

  Schumann, Anika ^a   Pencóle, Yannick ^b   Thiébaux, Sylvie ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; DISCRETE EVENT SIMULATION; ONLINE SYSTEMS; SCALABILITY; SPECTRUM ANALYSIS;

SPACE AND TIME COMPLEXITY; SYMBOLIC METHODS SPECTRUM; SYMBOLIC ON-LINE DIAGNOSIS APPROACHES;

ARTIFICIAL INTELLIGENCE;

EID: 36348936157     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Baroni, P.; Lamperti, G.; Pogliano, P.; and Zanella, M. 1999. Diagnosis of large active systems. Artificial Intelligence 110(1):135-183.
2. Brusoni, V.; Console, L.; Terenziani, P.; and Dupre, D. T. 1998. A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence 102(1):39-79.
3. Bryant, R. E. 1986. Graph-based algorithms for boolean function manipulation. IEEE Trans. on Computers C-35(8):677-691.
4. Cimatti, A.; Pecheur, C.; and Cavada, R. 2003. Formal verification of diagnosability via symbolic model checking. In Proc. IJCAI-03, 363-369.
5. Console, L., and Dressler, O. 1999. Model-based diagnosis in the real world: lessons learned and challenges remaining. In Proc. IJCAI-99.
6. Cordier, M.-O., and Largouët, C. 2001. Using model-checking techniques for diagnosing discrete-event systems. In Proc. DX-01, 39-46.
7. Darwiche, A., and Marquis, P. 2002. A knowledge compilation map. JAIR 17:229-264.
8. Darwiche, A. 1998. Model-based diagnosis using structured system descriptions. JAIR 8:165-222.
9. Lamperti, G., and Zanella, M. 2006. Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artificial Intelligence 170:232-297.
10. Marchand, H., and Rozé, L. 2002. Diagnostic de pannes sur des systèmes à événements discrets: une approche à base de modèles symboliques. In 13ème Congrès AFRIF-AFIA de Reconnaissances des Formes et Intelligence Artificielle, 191-200.
11. 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 164:121-170.
12. Rintanen, J., and Grastien, A. 2007. Diagnosability testing with satisfiability algorithms. In Proc. IJCAI-07, 532-537.
13. Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; and Teneketzis, D. 1996. Failure diagnosis using discrete event models. IEEE Trans. on Control Systems Techn. 4(2):105-124.
14. Schumann, A.; Pencolé, Y.; and Thiébaux, S. 2004. Diagnosis of discrete-event systems using binary decision diagrams. In Proc. DX-04, 197-202.