Readings in model-based diagnosis
Readings in model-based diagnosis
Diagnosis and Fault-Tolerant Control
Diagnosis and Fault-Tolerant Control
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Possible conflicts: a compilation technique for consistency-based diagnosis
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
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
Hi-index | 0.00 |
This paper presents a diagnosis system in which, an algorithm automatically finds all minimal structurally overdetermined (MSO) sets in a structural model of a system. It combines a first set of MSO sets to get the additional MSO sets, which were obtained after determining a complete matching between equations and unknown variables. Finding the complete set is useful for the diagnosis task increasing the fault isolability due to the fact that it can provide different signatures to each fault. The efficiency of the algorithm for finding all MSO sets is illustrated using the DAMADICS benchmark, which is a pneumatically-actuated control valve.