Abstract:Model-based diagnosis (MBD) has been widely acknowledged to be an effective fault diagnosis paradigm for combinational circuits. Most diagnosis algorithms (DAs) return a single diagnosis, a list of diagnoses or a score for every returned diagnosis, which estimates the likelihood of each diagnosis to be correct. Roni Stern et al. recently proposed the heath state as an output of DA to provide a manageable view of which components are likely to be faulty for human operators in the circuit diagnosis area. The health state can be used widely in areas such as troubleshooting problems, among others. This paper proposes a novel approach that improves the quality of health state with difference degree (IHSD) utilizing the MBD approach with multiple observations in the circuit diagnosis area, which returns a list of possible diagnoses that explain these observations simultaneously. In addition, we also propose a multi-observation “scoring” method based on the difference degree for every returned diagnosis, where the difference degree denotes the “distance” from the multi-observations diagnosis to the relevant diagnosis that satisfies only one observation. We present evidence that shows that, compared with the state-of-the-art algorithm on health state (Stern et al., Artif Intell 248:26–45 2018), our approach improves the quality of health state.

Model-based Diagnosis with Improved Implicit Hitting Set Dualization

DiagDO: an Efficient Model Based Diagnosis Approach with Multiple Observations

Two Compacted Models for Efficient Model-Based Diagnosis

Efficient Zonal Diagnosis with Maximum Satisfiability

Model-based Diagnosis with Low-Cost Fault Identification

Improved Algorithms For Deriving All Minimal Conflict Sets In Model-Based Diagnosis

A Novel Approach for Improving Quality of Health State with Difference Degree in Circuit Diagnosis

Solving model-based fault diagnosis with flag propagation

Deriving All Minimal Hitting-Sets By Merging

A New Algorithm Combining with the Characteristic of the Problem for Model-Based Diagnosis

Computing Minimal Diagnosis with Binary Decision Diagrams Algorithm.

A Compounded Genetic and Simulated Annealing Algorithm for Computing Minimal Diagnosis

Modeling of the Hybrid System with the HBG in MBD

Improved HSSE-tree Method Based on Binary Label

MTDiag: An Effective Multi-Task Framework for Automatic Diagnosis

A Parameter Matrix Based Approach to Computing Minimal Hitting Sets

New Method of Using Causal Relations for Model-Based Fault Diagnosis

A Hybrid and Hierarchy Modeling Approach to Model-Based Diagnosis

Modeling Hybrid System in MBD

A Method of Computing Minimal Diagnoses Based on Pseudo-Failure-Degree to Create New Enumeration Tree

Diagnosis of Multiple Faults: A Sensitivity Analysis