Model-based diagnosis through OBDD compilation: A complexity analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4155 LNAI, Issue , 2006, Pages 287-305

  Torasso, Pietro ^a   Torta, Gianluca ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; CHLORINE COMPOUNDS; DATA STRUCTURES; DECISION MAKING; DIGITAL CIRCUITS; DIGITAL INTEGRATED CIRCUITS; FILE ORGANIZATION; HEALTH; POLYNOMIAL APPROXIMATION; POLYNOMIALS; PROBLEM SOLVING; SET THEORY;

CARDINALITY; COMPLEXITY ANALYSIS; DIAGNOSTIC PROBLEM; DOMAIN MODELING; EXPONENTIAL SIZE; MODEL-BASED DIAGNOSIS; ORDERED BINARY DECISION DIAGRAMS; POLYNOMIAL-TIME; SEARCH SPACES; SOLUTION SPACES; STATIC MODELLING; TROUBLE SHOOTING;

MODAL ANALYSIS;

EID: 34547180048     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11829263_16     Document Type: Conference Paper

References (25)

1. F. Aloul, I. Markov, K. Sakallah: Faster SAT and Smaller BDDs via Common Function Structure. Proc. Int. Conf. on Computer Aided Design (2001)
2. F. Aloul, I. Markov, K. Sakallah: FORCE: a Fast and Easy-to-Implement Variable-Ordering Heuristic. Proc. Great Lakes Symposium on VLSI (2003) 116-119
3. Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. Proc. IJCAI01 (2001) 473-478
4. Bollig, B., Wegener, I.: Improving the Variable Ordering of OBDDs is NP-complete. IEEE Transactions on Computers 45(9) (1994) 932-1002
5. Brusoni, V., Console, L., Terenziani, P., Theseider Dupré, D.: A Spectrum of Definitions for Temporal Model-Based Diagnosis. Artificial Intelligence 102 (1998) 39-79
6. Bryant, R.: Symbolic boolean manipulation with Ordered Decision Diagrams. ACM Computing Surveys 24 (1992) 293-318
7. Bylander, T., Allemang, D., Tanner, M., Josephson, J.: The Computational Complexity of Abduction. Artificial Intelligence 49(1-3) (1991) 25-60
8. Cimatti, A., Pecheur, C., Cavada, R.: Formal Verification of Diagnosability via Symbolic Model Checking. Proc. IJCAI (2003) 363-369
9. Console, L., Picardi, C., Ribaudo, M.: Process algebras for system diagnosis. Artificial Intelligence 142(1) (2002) 19-51
10. Cordier, M.-O., Largouet, C.: Using model-checking techniques for diagnosing discrete-event systems. Proc. DX01 (2001) 39-46
11. Darwiche, A.: Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research 8 (1998) 165-222
12. de Kleer, J.: Using Crude Probability Estimates to Guide Diagnosis. Artificial Intelligence 45(3) (1990) 381-391
13. de Kleer, J., Mackworth, A., Reiter, R.: Characterizing Diagnoses and Systems. Artificial Intelligence 56(2-3) (1992) 197-222
14. ISCAS 85 Benchmark http://www.visc.vt.edu/~mhsiao/iscas85.html
15. Jensen, R. M., Veloso, M. M.: Obdd-based universal planning: Specifying and solving planning problems for synchronized agents in nondeterministic domains. Lecture Notes in Computer Science 1600 (1999) 213-248
16. Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications. Springer-Verlag, Berlin, Heidelberg, New York (1998)
17. Pogliano, P., Riccardi, L.: Modeling Process Diagnostic Knowledge through Causal Networks. Lecture Notes in Computer Science 992 (1995) 323-334
18. th Int. Work on Principles of Diagnosis (DX04) (2004) 197-202
19. Sieling, D., Wegener, I.: NC-algorithms for Operations on Binary Decision Diagrams. Parallel Processing Letters 3(1) (1993) 3-12
20. Struss, P., Rehfus, B., Brignolo, R., Cascio, F., Console, L., Dague, P., Dubois, P., Dressler, P., Millet, D.: Model-based Tools for the Integration of Design and Diagnosis into a Common Process - A Project Report. Proc. DX02 (2002)
21. Sztipanovits, J., Misra, A.: Diagnosis of discrete event systems using Ordered Binary Decision Diagrams. Proc. DX96 (1996)
22. Torasso, P., Torta, G.: Computing Minimum-Cardinality Diagnoses Using OBDDs. Lecture Notes in Artificial Intelligence 2821 (2003) 224-238
23. Torasso, P., Torta, G.: Compact Diagnoses Representation in Diagnostic Problem Solving. Computational Intelligence 21(1) (2005) 27-68
24. Torta, G., Torasso, P.: The Role of OBDDs in Controlling the Complexity of Model Based Diagnosis. Proc. Int. Work, on Principles of Diagnosis (2004) 9-14
25. Torta, G., Torasso, P.: On the use of OBDDs in Model-Based Diagnosis: an Approach Based on the Partition of the Model. Knowledge-Based Systems 19 (2006)