The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Hierarchical model-based diagnosis
International Journal of Man-Machine Studies
Characterizing diagnoses and systems
Artificial Intelligence
A spectrum of definitions for temporal model-based diagnosis
Artificial Intelligence
A protocol for multi-agent diagnosis with spatially distributed knowledge
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Enhancing Web Services with Diagnostic Capabilities
ECOWS '05 Proceedings of the Third European Conference on Web Services
Model-Based Diagnosability Analysis for Web Services
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Distributed Consistency-Based Diagnosis
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
QoS-based probabilistic fault-diagnosis method for exception handling
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Incremental service level agreements violation handling with time impact analysis
Journal of Systems and Software
Hi-index | 0.00 |
In this paper we propose a framework for decentralized model-based diagnosis of complex systems modeled with qualitative constraints and whose models are distributed among their subsystems. We assume that Local Diagnosers are associated with subsystems and are coordinated by a Supervisor which acts as the diagnoser for the complex system. The Local Diagnosers and the Supervisor communicate via a standard interface and share a common modeling ontology. In this diagnostic architecture, connections between subsystems only need to be known at runtime, thus allowing for dynamic (re)configuration of the system. The approach is designed to compute partial hypotheses in order to avoid unnecessary queries to Local Diagnosers.