Hierarchical model-based diagnosis
International Journal of Man-Machine Studies
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Artificial Intelligence
Characterizing diagnoses and systems
Artificial Intelligence
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Compiling constraint satisfaction problems
Artificial Intelligence
Faster SAT and smaller BDDs via common function structure
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
Hierarchical diagnosis of multiple faults
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Formal verification of diagnosability via symbolic model checking
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automatic abstraction in component-based diagnosis driven by system observability
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning in nondeterministic domains under partial observability via symbolic model checking
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems
Integrating CSP decomposition techniques and BDDs for compiling configuration problems
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Hi-index | 0.00 |
In the present paper, we address the problem of automatically synthesizing component abstractions by taking into account the level of observability of the system as well as restrictions on its operating conditions. Compared with previous work, the proposed approach can be applied to a significantly wider class of systems, namely those whose nominal and faulty behaviors can be modeled with finite-domain relations.The computed abstractions are specifically tailored for the Model-Based Diagnosis task, with the main goal of getting fewer and more informative diagnoses through the use of abstract models. To this end, we define a spectrum of indiscriminability relations among the states of subsystems, and formally prove that respecting indiscriminability is both a necessary and sufficient condition for abstracting the original model without losing any relevant diagnostic information.We present an algorithm for the computation of abstractions that implements two specially important cases of indiscriminability, namely local and global-indiscriminability. The implemented system is exploited to collect experimental results that confirm the benefits of using the abstractions for diagnosis, in terms of both the number of returned diagnoses and the computational cost.