On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model

Knowledge-Based Systems

Volumn 19, Issue 5, 2006, Pages 316-323

  Torta, Gianluca ^a,b   Torasso, Pietro ^a,b  

^a UNIVERSITY OF TURIN   (Italy)

^b NONE   (Italy)

Author keywords

Model compilation; Model partitioning; Model based diagnosis; Ordered Binary Decision Diagrams

Indexed keywords

ALGORITHMS; BENCHMARKING; COMPUTATIONAL METHODS; COMPUTER SIMULATION; DECISION THEORY; DIAGNOSIS; MATHEMATICAL MODELS; SIGNAL ENCODING;

MODEL COMPILATION; MODEL PARTITIONING; MODEL-BASED DIAGNOSIS; ORDERED BINARY DECISION DIAGRAMS (OBDD);

KNOWLEDGE BASED SYSTEMS;

EID: 33747040568     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2005.11.013     Document Type: Article

References (14)

1. F. Aloul, I. Markov, K. Sakallah, FORCE: a fast and easy-to-implement variable- ordering heuristic, in: Proc. Great Lakes Symposium on VLSI-GLSVLSI, 2003, pp. 116-119.
2. P. Bertoli, A. Cimatti, M. Roveri, P. Traverso, Planning in nondeterministic domains under partial observability via symbolic model checking, in: Proc. 17th Int. Joint Conf. on AI-IJCAI, 2001, pp. 473-478.
3. Bollig B., and Wegener I. Improving the variable ordering of OBDDs is NP-complete. IEEE Transactions on Computers 45 9 (1994) 932-1002
4. Bryant R. Symbolic Boolean manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys 24 (1992) 293-318
5. Chittaro L., and Ranon R. Hierarchical model-based diagnosis based on structural abstraction. Artificial Intelligence 155 1-2 (2004) 147-182
6. Darwiche A. Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research 8 (1998) 165-222
7. A. Darwiche, A compiler for deterministic, decomposable negation normal form, in: Proc. 18th National Conf. on AI-AAAI, 2002, pp. 627-634.
8. A. Darwiche, New advances in compiling CNF to decomposable negation normal form, in: Proc. 16th European Conf. on AI-ECAI, 2004, pp. 328-332.
9. J. Kurien, P.P. Nayak, Back to the future for consistency-based trajectory tracking, in: Proc. 17th National Conf. on Artificial Intelligence, 2000, pp. 370-377.
10. A. Schumann, Y. Pencolé, S. Thiébaux, Diagnosis of discrete-event systems using Binary Decision Diagrams, Proc. 15th Int. Workshop on Principles of Diagnosis, 2004, pp. 197-202.
11. J. Sztipanovits, A. Misra, Diagnosis of discrete event systems using Ordered Binary Decision Diagrams, in: Proc. 7th Int. Workshop on Principles of Diagnosis, 1996.
12. P. Torasso, G. Torta, Computing minimum-cardinality diagnoses using OBDDs, LNAI 2821, 2003, pp 224-238.
13. th Int. Work. on Principles of Diagnosis, 2004, pp. 9-14.
14. B.C. Williams, P.P. Nayak, A model-based approach to reactive self-configuring systems, in: Proc. AAAI96, 1996, pp. 971-978.