Abstract:
Abstract. The computation of consistency-based diagnoses is addressed by using OBDDs (Ordered Binary Decision Diagrams) for encoding both the system model and the resulting diagnoses. We show that the time needed for solving a diagnostic problem is polynomial in the size of the OBDD encoding the system model. While in the worst case such OBDD may have an exponential size, a suitable ordering of the domain variables can lead to OBDDs of small size. The paper introduces heuristics for selecting a suitable ordering of the variables and discusses their impact on the encoding size of complex system models. The approach is extended to deal with ambiguous observations and non-deterministic domain theories. Extensive experimental data concerning a complex real world domain show the effectiveness of the approach in efficiently solving a large test set of diagnostic problems involving multiple faults. Such efficiency is preserved when we consider diagnostic cases with ambiguous observations. 1
Citations
|
765
|
Symbolic Boolean manipulation with ordered binary-decision diagrams
– Bryant
- 1992
|
|
148
|
Characterizing diagnoses and systems
– Kleer, Mackworth, et al.
- 1992
|
|
98
|
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
– Bertoli, Cimatti, et al.
- 2001
|
|
46
|
Model-based diagnosis using structured system descriptions
– Darwiche
- 1998
|
|
14
|
Formal verification of diagnosability via symbolic model checking
– Cimatti, Pecheur, et al.
- 2003
|
|
14
|
OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents
– Jensen, Veloso
- 1999
|
|
12
|
Using model-checking techniques for diagnosing discrete-event systems
– Cordier, Largouët
- 2001
|
|
8
|
Process algebras for system diagnosis
– Console, Picardi, et al.
- 2002
|
|
7
|
Computing minimum-cardinality diagnoses using obdds
– Torasso, Torta
- 2003
|
|
5
|
Diagnosis as a variable assignment problem: a case study in a space robot fault diagnosis
– Portinale, Torasso
- 1999
|
|
5
|
Model-based tools for the integration of design and diagnosis into a common process - a project report
– Struss, Rehfus, et al.
- 2002
|
|
4
|
Diagnosis of discrete event systems using ordered binary decision diagrams
– Sztipanovits, Misra
- 1996
|
|
3
|
Performance issues in unimodal and multimodal reasoning approaches to diagnosis
– Magro, Torasso
- 2000
|
|
3
|
Optimal ordered binary decision diagrams for fanout-free circuits
– Sauerhoff, Wegener, et al.
- 1996
|
|
2
|
Pandurang Nayak, ‘Back to the future for consistencybased trajectory tracking
– Kurien, P
- 2000
|
