A scalable jointree algorithm for diagnosability

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2008, Pages 535-540

  Schumann, Anika ^a   Huang, Jinbo ^b  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BIONICS; MESSAGE PASSING;

CLASSICAL APPROACHES; COMPUTATIONAL RESOURCES; CRITICAL PATHS; DIAGNOSABILITY; DIAGNOSTIC REASONINGS; FAULT EVENTS; FINITE STATE MACHINES; ITERATIVE PROCEDURES; LARGE SYSTEMS; REALISTIC SYSTEMS; SYNCHRONIZED PRODUCTS; SYSTEM STRUCTURES; UNOBSERVABLE; WORST CASES;

ARTIFICIAL INTELLIGENCE;

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

References (11)

1. Cimatti, A.; Pecheur, C.; and Cavada, R. 2003. Formal verification of diagnosability via symbolic model checking. In IJCAI-03, 363-369.
2. Dechter, R. 2003. Constraint Processing. Morgan Kaufmann. Jiang, S.; Huang, Z.; Chandra, V.; and Kumar, R. 2001. A polynomial time algorithm for diagnosability of discrete event systems. IEEE Transactions on Automatic Control 46(8): 1318-1321.
3. Pencolé, Y. 2004. Diagnosability analysis of distributed discrete event systems. In ECAI-04, 43-47.
4. Pencole, Y. 2005. Assistance for the design of a diagnosable component-based system. In ICTAI-05, 549-556.
5. Rintanen, J., and Grastien, A. 2007. Diagnosability testing with satisfiability algorithms. In IJCAI-07, 532-537.
6. Robertson, N., and Seymour, P. D. 1986. Graph minors II: Algorithmic aspects of treewidth. Journal of Algorithms 7:309-322.
7. Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; and Teneketzis, D. 1995. Diagnosability of discrete event system. IEEE Transactions on Automatic Control 40(9): 1555-1575.
8. Schumann, A., and Pencolé, Y. 2007. Scalable diagnosability checking of event-driven systems. In IJCAI-07, 575-580.
9. Schumann, A. 2008. Towards Efficiently Diagnosing Large Scale Discrete-Event Systems. Ph.D. Dissertation, Computer Science Laboratory, The Australian National University.
10. Shenoy, P. P., and Shafer, G. 1986. Propagating belief functions with local computations. IEEE Expert l(3):43-52.
11. Yoo, T., and Lafortune, S. 2002. Polynomial-time verification of diagnosability of partially-observed discrete-event systems. IEEE Transactions on Automated Control 47(9): 1491-1495.