Hierarchical model-based diagnosis
International Journal of Man-Machine Studies
A spectrum of definitions for temporal model-based diagnosis
Artificial Intelligence
Adcuctive Reasoning with Abstraction Axioms
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Back to the Future for Consistency-Based Trajectory Tracking
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Hierarchical model-based diagnosis based on structural abstraction
Artificial 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
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
Hi-index | 0.00 |
This paper addresses the problem of automatic abstraction of component variables in the context of the MBD of Time-Varying Systems (i.e. systems where the behavioral modes of components can evolve over time); the main goal is to produce abstract models capable of deriving fewer and more general diagnoses when the current observability of the system is reduced and/or the system operates under specific operating conditions. The notion of indiscriminability among instantiations of a subset of components is introduced and constitutes the basis for a formal definition of abstractions which preserve all the distinctions that are relevant for diagnosis given the current observability and operating conditions of the system. The automatic synthesis of abstract models further restricts abstractions so that the temporal behavior of abstract components can be expressed in terms of a simple combination of the temporal behavior of their subcomponents. As a validation of our proposal, we present the results obtained with the automatic abstraction of a non-trivial model adapted from the spacecraft domain.