scispace - formally typeset
Journal ArticleDOI

Multi-signal flow graphs: a novel approach for system testability analysis and fault diagnosis

TLDR
This paper presents a comprehensive methodology for a formal, but intuitive, cause-effect dependency modeling using multi-signal directed graphs that correspond closely to hierarchical system schematics and develop diagnostic strategies to isolate faults without making the unrealistic single fault assumption.
Abstract
In this paper, we present a comprehensive methodology for a formal, but intuitive, cause-effect dependency modeling using multi-signal directed graphs that correspond closely to hierarchical system schematics and develop diagnostic strategies to isolate faults in the shortest possible time without making the unrealistic single fault assumption A key feature of our methodology is that our models lend naturally to real-world necessities, such as system integration and hierarchical troubleshooting >

read more

Citations
More filters
Journal ArticleDOI

A Graph-Based Fault Identification and Propagation Framework for Functional Design of Complex Systems

TL;DR: The FFIP framework is introduced as a novel approach for evaluating and assessing functional-failure risk of physical systems during conceptual design and provides the designers and system engineers with a means of designing out functional failures where possible and designing in the capability to detect and mitigate failures early in the design process.
Journal ArticleDOI

A Formal Analysis of Fault Diagnosis with D-matrices

TL;DR: A theoretical assessment of the representation power of the D-matrix is provided and a surprising result relative to the difficulty of generating optimal diagnostic strategies from D-Matrices is proved.
Journal ArticleDOI

Sequential testing algorithms for multiple fault diagnosis

TL;DR: This work considers the problem of constructing optimal and near-optimal test sequences for multiple fault diagnosis and presents novel diagnostic strategies that generate a diagnostic directed graph, instead of a traditional diagnostic tree, for several fault diagnosis.
Journal ArticleDOI

A functional failure reasoning methodology for evaluation of conceptual system architectures

TL;DR: A new methodology for reasoning about the functional failures during early design of complex systems based on the notion that a failure happens when a functional element in the system does not perform its intended task is introduced.
Proceedings ArticleDOI

Model-based prognostic techniques [maintenance applications]

TL;DR: An integrated prognostic process based on data collected from model-based simulations under nominal and degraded conditions is developed, which has the potential to be applicable to a variety of systems, ranging from automobiles to aerospace systems.
References
More filters
Journal ArticleDOI

Depth-First Search and Linear Graph Algorithms

TL;DR: The value of depth-first search or “backtracking” as a technique for solving problems is illustrated by two examples of an improved version of an algorithm for finding the strongly connected components of a directed graph.
Journal ArticleDOI

A theory of diagnosis from first principles

TL;DR: The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
Journal ArticleDOI

Process fault detection based on modeling and estimation methods-A survey

Rolf Isermann
- 01 Jul 1984 - 
TL;DR: This contribution presents a brief summary of some basic fault detection methods, followed by a description of suitable parameter estimation methods for continuous-time models.
Book

Dynamic Programming: Deterministic and Stochastic Models

TL;DR: As one of the part of book categories, dynamic programming deterministic and stochastic models always becomes the most wanted book.
Book

Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge

TL;DR: Results have been encouraging, and steps are now being taken to develop additional mathematical power, hierarchical decomposition methods, and incremental quantitative constraints, to make qualitative reasoning into a formal reasoning method useful on realistic problems.