A new efficient and flexible algorithm for the design of testable subsystems

Authors:
StéPhane Ploix;Abed Yassine;Jean-Marie Flaus
Affiliations:
G-SCOP lab, 46 avenue Félix Viallet, 38 031 Grenoble, France;G-SCOP lab, 46 avenue Félix Viallet, 38 031 Grenoble, France;G-SCOP lab, 46 avenue Félix Viallet, 38 031 Grenoble, France
Venue:
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Year:
2010

Citing 17
Cited 0

Diagnostic reasoning based on structure and behavior

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
Fault diagnosis in dynamic systems: theory and application

Fault diagnosis in dynamic systems: theory and application
Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy—a survey and some new results

Automatica (Journal of IFAC)
Join processing in relational databases

ACM Computing Surveys (CSUR)
Diagnosis with behavioral modes

Readings in model-based diagnosis
What's in SD?: Towards a theory of modeling for diagnosis

Readings in model-based diagnosis
Causality and model abstraction

Artificial Intelligence
A relational model of data for large shared data banks

Communications of the ACM
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Constraint Processing

Constraint Processing
Hierarchical model-based diagnosis based on structural abstraction

Artificial Intelligence
Diagnosis and Fault-Tolerant Control

Diagnosis and Fault-Tolerant Control
A semantic theory of abstractions

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

Abstract

In complex industrial plants, there are usually many sensors and the modeling of plants leads to lots of mathematical relations. This paper presents a general method for finding all the possible testable subsystems, i.e., sets of relations that can lead to various types of detection tests. This method, which is based on structural analysis, provides the constraints that have to be used for the design of each detection test and manages situations where constraints contain non-deductible variables and where some constraints cannot be gathered in the same test. Thanks to these results, it becomes possible to select the most interesting testable subsystems regarding detectability and diagnosability criteria. Application examples dealing with a road network, a digital counter and an electronic circuit are presented.