Abstract:Given a system that does not work as expected, Sequential Diagnosis (SD) aims at suggesting a series of system measurements to isolate the true explanation for the system's misbehavior from a potentially exponential set of possible explanations. To reason about the best next measurement, SD methods usually require a sample of possible fault explanations at each step of the iterative diagnostic process. The computation of this sample can be accomplished by various diagnostic search algorithms. Among those, Reiter's HS-Tree is one of the most popular due its desirable properties and general applicability. Usually, HS-Tree is used in a stateless fashion throughout the SD process to (re)compute a sample of possible fault explanations in each iteration, each time given the latest (updated) system knowledge including all so-far collected measurements. At this, the built search tree is discarded between two iterations, although often large parts of the tree have to be rebuilt in the next iteration, involving redundant operations and calls to costly reasoning services. As a remedy to this, we propose DynamicHS, a variant of HS-Tree that maintains state throughout the diagnostic session and additionally embraces special strategies to minimize the number of expensive reasoner invocations. In this vein, DynamicHS provides an answer to a longstanding question posed by Raymond Reiter in his seminal paper from 1987. Extensive evaluations on real-world diagnosis problems prove the reasonability of the DynamicHS and testify its clear superiority to HS-Tree wrt. computation time. More specifically, DynamicHS outperformed HS-Tree in 96% of the executed sequential diagnosis sessions and, per run, the latter required up to 800% the time of the former. Remarkably, DynamicHS achieves these performance improvements while preserving all desirable properties as well as the general applicability of HS-Tree.

Improved HSSE-tree Method Based on Binary Label

A New Computer-Aided Method for Diagnosis of Breast Cancer Based on Decision Tree

An improved binary tree SVM and application for fault diagnosis

Research on rapid diagnosis algorithm for complex system based on Bayesian theory

DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis

Spacecraft Fault Diagnosis Based on Hierarchical Digraphs

Research of Fault Diagnosis System for Remote Sensing Satellite Receiving System Base on Fault Tree

Study for Multiple Fault Diagnosis Technology for Spacecrafts Based on Multi-Signal Model

Multi-class fault diagnosis based on support vector machines with sequenced binary tree archtecture

Spacecraft Fault Diagnosis Based on Telemetry Data Mining and Fault Tree Analysis and Design of Expert System

Test sequencing and diagnosis in electronic system with decision table

Dependency Matrix-Based Fast Fault Diagnosis Using Search Algorithm

A Fault Diagnosis Approach For Autonomous Spacecraft Based On Transition-System Model

A Hierarchical Minimum Hitting Set Calculation Method for Multiple Multiphase Faults in Power Distribution Networks

A Novel Bottom-Up/Top-Down Hybrid Strategy-Based Fast Sequential Fault Diagnosis Method

Graph-based Fault Diagnosis Method for Complex Electronic Systems

Reliability analysis of satellite system with cold-standby components using sequential binary decision diagrams

Fault Diagnosis Approach Based on Fuzzy Probabilistic SDG Model and Bayesian Inference

Research on Fault Diagnosis Approach for Spacecrafts Based on Fuzzy SDG Model

Fault Diagnosis of Ship Ballast Water System Based on Support Vector Machine Optimized by Improved Sparrow Search Algorithm

An Improved Fault Diagnosis Method for Hierarchical Graph with Radar Systems