| PaperId | Title |
|---|
| 4 | FlexDx: A Reconfigurable Diagnosis Framework |
| 6 | The Challenge of Solving POMDPs for Control, Monitoring and Repair of Complex Systems |
| 8 | Generating Diagnoses from Conflicting Component Sets with Continuous Extends |
| 11 | A Bayseian Approach to Learning in Fault Isolation |
| 15 | Prioritizing Model-Based Debugging Diagnostic Reports |
| 18 | A Dynamic Modeling Approach to Software Multiple-Fault Localization |
| 19 | Compilation Techniques for Fault Detection and Isolation: A Comparison of Three Methods |
| 24 | A Mixed Causality Approach to Residual Generation Utilizing Equation System Solvers and Differential-Algebraic Equation Theory |
| 27 | An Event-based Approach to Hybrid Systems Diagnosability |
| 30 | Statistical Properties and Design Criterions for Fault Isolation in Noisy Systems |
| 32 | A Framework and Algorithm for Model-Based Active Testing |
| 33 | A framework for continuously estimating persistent and intermittent failure probabilities |
| 35 | Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems |
| 37 | Pervasive Diagnosis: Integration of Active Diagnosis into Production Plans |
| 39 | Optimal observability for diagnosability |
| 40 | A Heuristic for Near-Optimal Troubleshooting Using AO* |
| 41 | A Jointree Algorithm for Diagnosability and its Application to the Verification of Distributed Software Systems |
| 42 | Diagnosing Dependent Failures in the Context of Consistency-based Diagnosis |
| 43 | Hypothesis Discrimination with Abstractions based on Observation and Action Costs |
| 46 | How to debug Sequential Code by means of Constraint Representation |
| 47 | Diagnosis of Coordination Faults: A Matrix-Based Formulation |
| 53 | Using Model-Based Diagnosis for Bayesian Inference |
| 55 | Why Model Based Diagnosis for Spacecraft Never Took Off |
| 57 | Model-based Test Generation using Quantified CSPs |
| 58 | Qualitative Modeling for Diagnosis of Machines Transporting Rigid Objects |
| 61 | Comprehensive Diagnosis of Continuous Systems Using Dynamic Bayes Nets |
| PaperId | Title |
|---|
| 3 | A Formalization of Program Debugging in the Situation Calculus |
| 5 | Control surfaces oscillatory failures identification using interval analysis |
| 7 | Combining state estimation and simulation in Consistency-based Diagnosis with Possible Conflicts |
| 9 | A Measure of the Crisscross of the Timed Observations Series |
| 12 | The Role of Agent Diagnosis in Multi-Agent Plan Repair |
| 13 | A Query-Based Approach for Test Selection in Diagnosis - Operating System Discovery as a Case Study |
| 16 | Another Point of View on Diagnosability |
| 20 | A Comparison of Two Methods for Fault Detection: a Statistical Decision, and an Interval-based Approach |
| 22 | Machine Learning and Model Based Diagnosis using Possible Conflicts and System Decomposition |
| 23 | Design requirements for the diagnosability of distributed discrete event systems |
| 25 | Model-Based Reasoning with Multiple Test Cases and its Application to Debugging |
| 31 | A Unified Information Criterion for Evaluating Probe and Test Selection |
| 38 | Model-based fault detection method using interval analysis:Application to an aeronautic test bench |
| 45 | Learning Dynamic Bayesian Networks with the Stochastic ApproachLearning Dynamic Bayesian Networks with the Stochastic Approach |
| 48 | A Symbolic Approach for Component Abstraction in Model-Based Diagnosis |
| 49 | Adding Fault Adaptive Control To Embedded Systems |
| 50 | Distributed Consistency-Based Diagnosis without Conflicts |
| 51 | Towards Active Diagnosis of Hybrid Systems |
| 52 | Using Bayesian Networks for Candidate Generation in Consistency-based Diagnosis |
| 54 | An Improved Approach for Generating Max-Fault Min-Cardinality Diagnoses |
| 56 | Model-Based Diagnosis of Hybrid Dynamical Networks for Fault Tolerant Control |
| 60 | Automated Learning of Diagnosis Models for Component-Oriented Robot Control Software |