Computing observation vectors for max-fault min-cardinality diagnoses

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2008, Pages 919-924

  Feldman, Alexander ^a   Provan, Gregory ^b   Van Gemund, Arjan ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS; ARTIFICIAL INTELLIGENCE; BENCHMARKING; MODAL ANALYSIS;

BENCHMARK MODELS; CARDINALITIES; CARDINALITY; DETERMINISTIC APPROACHES; FAULTY COMPONENTS; LOW COSTS; MINIMALITY CRITERIONS; OBSERVATION VECTORS; OPTIMAL RESULTS; STOCHASTIC ALGORITHMS; TEST PATTERN GENERATIONS;

BIONICS;

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

References (17)

1. Abramovici, M. 1981. A maximal resolution guided-probe testing algorithm. In Proc. DAC'8I, 189-195.
2. Brglez, F., and Fujiwara, H. 1985. A neutral netlist of 10 combinational benchmark circuits and a target translator in fortran. In Proc. ISCAS'85, 695-698.
3. Console, L.; Picardi, C.; and Ribaudo, M. 2000. Diagnosis and diagnosability analysis using PEPA. In Proc. ECAI'00, 131-135.
4. de Kleer, J., and Williams, B. 1987. Diagnosing multiple faults. AI 32(1):97-130.
5. de Kleer, J.; Mackworth, A.; and Reiter, R. 1992. Characterizing diagnoses and systems. AI 56(2-3): 197-222.
6. Eiter, T., and Gottlob, G. 1995. The complexity of logic-based abduction. Journal of the ACM 42(1):3-42.
7. Feldman, A., and van Gemund, A. 2006. A two-step hierarchical algorithm for model-based diagnosis. In Proc. AAAI'06, 827-833.
8. Feldman, A.; Provan, G.; and van Gemund, A. 2007. Approximate model-based diagnosis using greedy stochastic search. In Proc. SARA'07, 139-154.
9. Hansen, M.; Yalcin, H.; and Hayes, J. 1999. Unveiling the ISCAS-85 benchmarks: A case study in reverse engineering. IEEE Design & Test 16(3):72-80.
10. Hughes, J. L. A. 1988. Multiple fault detection using single fault test sets. IEEETCAD 7(1):100-108.
11. Kubiak, K., and Fuchs, W. K. 1991. Multiple-fault simulation and coverage of deterministic single-fault test sets. In Proc. of the IEEE International Test Conference, 956-962.
12. Provan, G., and Wang, J. 2007. Automated benchmark model generators for model-based diagnostic inference. In Proc. IJCAI'07, 513-518.
13. Roth, J. P. 1966. Diagnosis of automata failures: A calculus and a method. IBM Journal of R & D 10:278-291.
14. Siddiqi, S., and Huang, J. 2007. Hierarchical diagnosis of multiple faults. Proc. IJCAI'07 581-586.
15. Williams, B., and Ragno, R. 2007. Conflict-directed A* and its role in model-based embedded systems. Journal of Discrete Applied Mathematics 155(12): 1562-1595.
16. Zabih, R., and McAllester, D. 1988. A rearrangement search strategy for determining propositional satisfiability. In Proc. AAAI'88, 155-160.
17. Zhang, H., and Stickel, M. 2000. Implementing the davis-putnam method. JAR 24(1-2):277-296.