Artificial Intelligence
Problems of interval-based qualitative reasoning
Readings in qualitative reasoning about physical systems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Diagnosis of large active systems
Artificial Intelligence
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Meeting Re-use Requirements of Real-Life Diagnosis Applications
XPS '99 Proceedings of the 5th Biannual German Conference on Knowledge-Based Systems: Knowledge-Based Systems - Survey and Future Directions
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
DiKe - A Model-Based Diagnosis Kernel and Its Application
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
A layered approach to automated electrical safety analysis in automotive environments
Computers in Industry
A layered approach to automated electrical safety analysis in automotive environments
Computers in Industry
A Test Theory of the Model-Based Diagnosis
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Diagnosing a System with Value-Based Reasoning
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Dynamic theorem proving algorithm for consistency-based diagnosis
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Although the area of model-based diagnosis has developed a numberof prototypes with impressive features that promised economicimpact and, hence, caught industrial interest, the number of actualindustrial applications is still close to zero. One of the reasonsis that the successful techniques have not yet been turned intotools that reflect and support the current diagnostic workprocesses and their existing tools. The INDIA project joined eightGerman partners (research groups, software suppliers, and endusers) in an attempt to take a major step in the transfer ofmodel-based diagnosis techniques into industrial applications. Thispaper describes part of the work carried out in this project.Rather than presenting the theoretical foundations of thetechniques in depth, we focus on the aspect of how model-baseddiagnostic techniques can be related to established tools andsystems in order to provide some leverage for today's workprocesses and to change them gradually, as opposed to postulating aradical change in current practice and organizational structures.From this perspective, we discuss the utilization of model-basedtechniques for the generation of fault trees for on-line testingand diagnosis of fork lifters, generation of test plans for anintelligent authoring system for car diagnosis manuals, and theexploitation of existing state-chart process descriptions forpost-mortem diagnosis of processes in a dyeing plant.