Hierarchical diagnosis of multiple faults

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 581-586

  Siddiqi, Sajjad ^a   Huang, Jinbo ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CARDINALITIES; HIERARCHICAL DIAGNOSIS; LARGE CIRCUITS; MULTIPLE FAULTS; SEARCH SPACES; SINGLE GATES; SOUND AND COMPLETE; SYSTEM MODELS;

ARTIFICIAL INTELLIGENCE;

HEALTH;

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

References (10)

1. Randal E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8):677-691, 1986.
2. Adnan Darwiche. Decomposable negation normal form. Journal of the ACM, 48(4):608-647, 2001.
3. A. Feldman and A.J.C van Gemund. A two-step hierarchical algorithm for model-based diagnosis. In AAAI, 2006.
4. Mark C. Hansen, Hakan Yalcin, and John P. Hayes. Unveiling the ISCAS-85 benchmarks: A case study in reverse engineering. IEEE Design and Test of Computers, 16(3):72-80, 1999.
5. Jinbo Huang and Adnan Darwiche. On compiling system models for faster and more scalable diagnosis. In AAAI, pages 300-306, 2005.
6. T. Kirkland and M. R. Mercer. A topological search algorithm for ATPG. In DAC, pages 502-508, 1987.
7. Feng Lu, Li-C. Wang, K.-T. (Tim) Cheng, John Moondanos, and Ziyad Hanna. A signal correlation guided ATPG solver and its applications for solving difficult industrial cases. In DAC, pages 436-441, 2003.
8. Feng Lu, Li-C. Wang, Kwang-Ting Cheng, and Ric C-Y Huang. A circuit SAT solver with signal correlation guided learning. In DATE, pages 10892-10897, 2003.
9. Alexander Smith, Andreas Veneris, and Anastasios Viglas. Design diagnosis using Boolean satisfiability. In ASP-DAC, pages 218-223, 2004.
10. Gianluca Torta and Pietro Torasso. The role of OBDDs in controlling the complexity of model-based diagnosis. In DX, 2004.