FRACTAL: Efficient fault isolation using active testing

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 778-784

  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

APPROXIMATION ALGORITHMS; BELT DRIVES;

CONTROL SETTINGS; EXISTING SYSTEMS; GREEDY APPROACHES; INFORMATION ENTROPY; MODEL BASED DIAGNOSIS; SEQUENTIAL DIAGNOSIS; SYSTEM DESCRIPTION; TESTING ALGORITHM;

FRACTALS;

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

References (19)

1. Rajeev Alur, Costas Courcoubetis, and Mihalis Yannakakis. Distinguishing tests for nondeterministic and probabilisticmachines. In Proc. ACMSymposium on Theory of Computing, pages 363-372, 1995.
2. A. Andreas Krause, H. Brendan McMahan, Carlos Guestrin, and Anupam Gupta. Robust submodular observation selection. Journal of Machine Learning Research, 9:2761-2801, 2008.
3. Franc Brglez and Hideo Fujiwara. A neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran. In Proc. ISCAS'85, pages 695-698, 1985.
4. Mark Brodie, Irina Rish, Sheng Ma, and Natalia Odintsova. Active probing strategies for problem diagnosis in distributed systems. In Proc. IJCAI'03, pages 1337-1338, 2003.
5. Johan de Kleer and Brian Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130, 1987.
6. Michael Esser and Peter Struss. Fault-model-based test generation for embedded software. In Proc. IJCAI'07, 2007.
7. Uriel Feige. A threshold of ln n for approximating set cover. Journal of ACM, 45(4):634-652, 1998.
8. Stefan Heinz and Martin Sachenbacher. Using model counting to find optimal distinguishing tests. In Proc. of COUNTING'08, pages 91-106, 2008.
9. Andreas Krause and Carlos Guestrin. Near-optimal observation selection using submodular functions. In Proc. AAAI'07, pages 1650-1654, 2007.
10. Lukas Kuhn, Bob Price, Johan de Kleer, Minh Do, and Rong Zhou. Pervasive diagnosis: Integration of active diagnosis into production plans. In Proc. DX'08, pages 106-119, 2008.
11. O. Erhun Kundakcioglu and Tonguç Ünlüyurt. Bottom-up construction of minimum-cost and/or trees for sequential fault diagnosis. IEEE Trans. on SMC, 37(5):621-629, 2007.
12. S. Thomas McCormick. Handbooks in Operations Research and Management Science, volume 12, chapter Submodular Function Minimization, pages 321-391. Elsevier, 2005.
13. George Nemhauser, Laurence Wolsey, and Marshall Fisher. An analysis of approximations for maximizing submodular set functions - I. Mathematical Programming, 14(1):165-294, 1978.
14. Krishna Pattipati and Mark Alexandridis. Application of heuristic search and information theory to sequential fault diagnosis. IEEE Trans. on SMC, 20(4):872-887, 1990.
15. Vijaya Raghavan, Mojdeh Shakeri, and Krishna Pattipati. Optimal and near-optimal test sequencing algorithms with realistic test models. IEEE Trans. on SMC, 29(1):11-26, 1999.
16. Sajjad Siddiqi and Jinbo Huang. Hierarchical diagnosis of multiple faults. In Proc. IJCAI' 07, pages 581-586, 2007.
17. Paul Stephan, Robert Brayton, and Alberto Sangiovanni-Vincentelli. Combinational test generation using satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems, 15(9):1167-1176, 1996.
18. Peter Struss. Testing physical systems. In Proc. AAAI'94, pages 251-256, 1994.
19. Fang Tu and Krishna Pattipati. Rollout strategies for sequential fault diagnosis. IEEE Trans. on SMC, 33(1):86-99, 2003.