scispace - formally typeset
Open AccessProceedings Article

A diagnostic algorithm based on models at different level of abstraction

Reads0
Chats0
TLDR
A novel model-based diagnostic method, whose distinctive features make it practical for diagnostic problem solving in automated systems for monitoring continuous processes, and makes use of models at different levels of abstraction, qualitative and quantitative.
Abstract
The difficulties encountered in applying knowledge-based system technology to complex industrial environments have made the need for representing and using deep knowledge about physical systems increasingly clear to system designers. A rather large number of approaches to modeling and reasoning with deep knowledge have been experimented, but the impact of these new techniques, often referred to as model based reasoning, on real applications is still poor. This paper presents a novel model-based diagnostic method, whose distinctive features make it practical for diagnostic problem solving in automated systems for monitoring continuous processes. The method we introduce makes use of models at different levels of abstraction, qualitative and quantitative. In particular, we discuss an algorithm based on a quantitative, real-valued algebraic model, and a qualitative causal model that can be easily derived from the former in an automated way. The causal model is used for candidate generation, and the real-valued model for validation/rejection of candidates.

read more

Content maybe subject to copyright    Report

Citations
More filters
Journal ArticleDOI

Qualitative Reasoning: A Survey of Techniques Applications

Philippe Dague
- 01 Jul 1995 - 
TL;DR: A survey of the development of Qualitative Reasoning from the 80s is given, focusing on the present state-of-the-art of the mathematical formalisms and modelling techniques, and presents the principal domains of application through the applied research done in France.
Journal ArticleDOI

Generating on-board diagnostics of dynamic automotive systems based on qualitative models[1].

TL;DR: An approach which tries to reconcile two goalsc satisfying all the requirements and constraints imposed by the ondboard application, and exploiting the advantages of the modeldbased approach as much as possible is discussed.
Journal ArticleDOI

Combined qualitative-quantitative steady-state diagnosis of continuous-valued systems

TL;DR: In this paper, a qualitative and quantitative analysis of analytic constraint equation system models are combined to generate more precise and accurate candidate candidates for diagnosis of complex engineering systems, using ordinal information on the magnitude of component parameter deviations.
Journal ArticleDOI

Task classification for knowledge-based systems in industrial automation

TL;DR: A formal classification of primitive tasks for knowledge-based system applications in industrial automation is presented, based on a system theoretic perspective using the direction of temporal reasoning as the metric for classification.
Journal ArticleDOI

Controlling the complexity in model-based diagnosis*

TL;DR: IDA separates model interpretation from the search for minimal diagnoses in the sense that the model interpreter is replaceable, and it is shown that in some domains it is advantageous to use the constraint logic programming system CLP(ß) instead of a logic Programming system like Prolog.
References
More filters
Journal ArticleDOI

A qualitative physics based on confluences

TL;DR: A fairly encompassing account of qualitative physics, which introduces causality as an ontological commitment for explaining how devices behave, and presents algorithms for determining the behavior of a composite device from the generic behavior of its components.

Diagnostic Reasoning Based on Structure and Behavior

Davis, +1 more
TL;DR: A system that reasons from first principles, i.e., using knowledge of structure and behavior, which is implemented and tested on several examples in the domain of troubleshooting digital electronic circuits and describes a technique it calls constraint suspension that provides a powerful tool for troubleshooting.
Journal ArticleDOI

Diagnostic reasoning based on structure and behavior

TL;DR: In this paper, the authors describe a system that reasons from first principles, i.e., using knowledge of structure and behavior, to deal with situations that are novel in the sense that their outward manifestations may not have been encountered previously.
Book

Readings in qualitative reasoning about physical systems

TL;DR: "Readings in Qualitative Reasoning About Physical Systems" is an introduction and source book for this dynamic area, presenting reprints of key papers chosen by the editors and a group of expert referees.
Journal ArticleDOI

The use of design descriptions in automated diagnosis

TL;DR: Dart differs from previous approaches to diagnosis taken in the design-automation community in that it is more general and in many cases more efficient, and allows it to be applied to a wide class of devices ranging from digital logic to nuclear reactors.