Computing minimum-cardinality diagnoses using OBDDs

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2821, Issue , 2003, Pages 224-238

  Torasso, Pietro ^a   Torta, Gianluca ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; ENCODING (SYMBOLS); HEURISTIC METHODS; POLYNOMIALS; PROBLEM SOLVING; TIME VARYING SYSTEMS; BINARY DECISION DIAGRAMS; SPACECRAFT PROPULSION;

DIAGNOSTIC PROBLEMS; ORDERED BINARY DECISION DIAGRAMS (OBDD); SYMBOLIC MODEL CHECKING; CARDINALITIES; DIAGNOSTIC PROBLEM; DOMAIN THEORY; MINIMAL DIAGNOSIS; MODEL BASED DIAGNOSIS; ORDERED BINARY DECISION DIAGRAMS; PROPULSION SUBSYSTEMS; SYSTEM MODELING;

PROGRAM DIAGNOSTICS; PROBLEM SOLVING;

EID: 9444240277     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-39451-8_17     Document Type: Conference Paper

References (22)

1. Bertoli, P., Cimatti, A., Roveri, M., Traverse, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. Proc. IJCAI01 (2001) 473-478
2. Brusoni, V., Console, L., Terenziani, P., Theseider Dupré, D.: A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence 102 (1998) 39-79
3. Bryant, R.: Symbolic boolean manipulation with Ordered Decision Diagrams. ACM Computing Surveys 24 (1992) 293-318
4. Console, L., Portinale, L., Theseider Dupré, D., Torasso, P.: Diagnosing time-varying misbehavior: an approach based on model decomposition. Annals of Mathematics and AI 11 (1994) 381-398
5. Console, L., Picardi, C., Ribaudo, M.: Process algebras for system diagnosis. Artificial Intelligence 142(1) (2002) 19-51
6. Cordier, M.-O., Largouet, C.: Using model-checking techniques for diagnosing discrete-event systems. Proc. DX01 (2001) 39-46
7. Darwiche, A.: Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research 8 (1998) 165-222
8. de Kleer, J., Mackworth, A., Reiter, R.: Characterizing Diagnoses and Systems. Artificial Intelligence 56(2-3) (1992) 197-222
9. Dvorak, D., Kuipers, B.: Model-Based Monitoring of Dynamic Systems. Proc. IJCAI89 (1989) 1238-1243
10. Friedrich, G.: Theory Diagnoses: A Concise Characterization of Faulty Systems. Proc. IJCAI93 (1993) 1466-1471
11. Goldszmidt, M., Pearl, J.: Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions. Proc. KR92 (1992) 661-672
12. 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
13. Kurien, J., Nayak, P. Pandurang: Back to the Future for Consistency-Based Trajectory Tracking. Proc. AAAI (2000) 370-377
14. Mozetič, I.: Hierarchical Model-Based Diagnosis. Int. Journal of Man-Machine Studies 35(3) (1991) 329-362
15. Muscettola, N., Nayak, P., Pell, B., Williams, B.: Remote Agent: to Boldly Go Where No AI System has Gone Before. Artificial Intelligence 103 (1998) 5-47
16. Portinale, L., Torasso, P.: Diagnosis as a Variable Assignment Problem: a Case Study in a Space Robot Fault Diagnosis. Proc. IJCAI99 (1999) 1087-1093
17. Sachenbacher, M., Struss, P.: AQUA: A Framework for Automated Qualitative Abstraction. Proc. QR01 (2001)
18. Sauerhoff, M., Wegener, I., Werchner, R.: Optimal Ordered Binary Decision Diagrams for Fanout-Free Circuits. Proc. SASIMI (1996) 197-204
19. Struss, P.: Fundamentals of model-based diagnosis of dynamic systems. Proc. IJ-CAI97 (1997) 480-485
20. Struss, P., Rehfus, B., Brignolo, R., Cascio, F., Console, L., Dague, P., Dubois, P., Dressier, 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. Torta, G., Torasso, P.: Automatic abstraction in component-based diagnosis driven by system observability. Proc. IJCAI (2003) to appear