DX-08 Proceedings

Follow the links below to download the individual papers. Alternativel, download the entire proceedings in PDF format or as ZIP Archive containing the individual papers.

Invited Talk

• Current Fault Management Trends in NASA's Planetary Spacecraft
  Lorraine Fesq, Michel Ingham

Full Papers

• A Dynamic Modeling Approach to Software Multiple-Fault Localization
  Rui Abreu, Peter Zoeteweij, Arjan J.C. van Gemund
• The Challenge of Solving POMDPs for Control, Monitoring and Repair of Complex Systems
  Emmanuel Benazera, Elodie Chanthery
• Generating Diagnoses from Conflicting Component Sets with Continuous Extends
  Emmanuel Benazera, Louise Trave-Massuyes
• Optimal Observability for Diagnosability
  Laura Brandan Briones, Alexander Lazovik, Philippe Dague
• Compilation Techniques for Fault Detection and Isolation: A Comparison of Three Methods
  Anibal Bregon, Gautam Biswas, Belarmino Pulido
• An Event-based Approach to Hybrid Systems Diagnosability
  Matthew Daigle, Xenofon Koutsoukos, Gautam Biswas
• Using Model-Based Diagnosis for Bayesian Inference
  Johan de Kleer
• A Framework for Continuously Estimating Persistent and Intermittent Failure Probabilities
  Johan de Kleer, Bob Price, Lukas Kuhn, Minh Do, Rong Zhou
• A Framework and Algorithm for Model-Based Active Testing
  Alexander Feldman, Gregory Provan, Arjan J.C. van Gemund
• FlexDx: A Reconfigurable Diagnosis Framework
  Fredrik Heintz, Mattias Krysander, Jacob Roll, Erik Frisk
• Diagnosis of Coordination Faults: A Matrix-Based Formulation
  Meir Kalech, Michael Lindner, Gal A. Kaminka
• Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems
  Priscilla Kan John, Alban Grastien
• Statistical Properties and Design Criterions for Fault Isolation in Noisy Systems
  Mattias Krysander, Mattias Nyberg
• Pervasive Diagnosis: Integration of Active Diagnosis into Production Plans
  Lukas Kuhn, Bob Price, Johan de Kleer, Minh Do, Rong Zhou
• Why Model Based Diagnosis for Spacecraft Never Took Off
  James Kurien, Mara Dolores R-Moreno
• Prioritising Model-Based Debugging Diagnostic Reports
  Wolfgang Mayer, Rui Abreu, Markus Stumptner, Arjan J.C. van Gemund
• How to Debug Sequential Code by Means of Constraint Representation
  Mihai Nica, Joerg Weber, Franz Wotawa
• A Bayesian Approach to Learning in Fault Isolation
  Anna Pernestal, Hannes Wettig, Tomi Silander, Mattias Nyberg, Petri Myllymaeki
• Comprehensive Diagnosis of Continuous Systems Using Dynamic Bayes Nets
  Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
• Model-based Test Generation using Quantified CSPs
  Martin Sachenbacher, Stefan Schwoon
• A Jointree Algorithm for Diagnosability and its Application to the Verification of Distributed Software Systems
  Anika Schumann, Wolfgang Mayer, Markus Stumptner
• Qualitative Modeling for Diagnosis of Machines Transporting Rigid Objects
  Peter Struss, Axel Kather, Dominik Schneider, Tobias Voigt
• A Mixed Causality Approach to Residual Generation Utilizing Equation System Solvers and Differential-Algebraic Equation Theory
  Carl Svard, Mattias Nyberg
• Hypothesis Discrimination with Abstractions based on Observation and Action Costs
  Gianluca Torta, Daniele Theseider Dupre, Luca Anselma
• A Heuristic for Near-Optimal Troubleshooting Using AO∗
  Hakan Warnquist, Mattias Nyberg
• Diagnosing Dependent Failures in the Context of Consistency-based Diagnosis
  Joerg Weber, Franz Wotawa

Posters

• Machine Learning and Model Based Diagnosis using Possible Conflicts and System Decomposition
  Carlos J. Alonso-Gonzalez, Juan J. Rodriguez, Oscar J. Prieto, Belarmino Pulido
• Distributed Consistency-Based Diagnosis without Conflicts
  Vincent Armant, Philippe Dague, Laurent Simon
• Towards Active Diagnosis of Hybrid Systems
  Mehdi Bayoudh, Louise Trave-Massuyes, Xavier Olive
• Model-Based Diagnosis of Hybrid Dynamical Networks for Fault Tolerant Control
  Lachlan Blackhall, Priscilla Kan John
• An Improved Approach for Generating Max-Fault Min-Cardinality Diagnoses
  Johan de Kleer
• A Query-Based Approach for Test Selection in Diagnosis -- Operating System Discovery as a Case Study
  Francois Gagnon, Babak Esfandiari
• A Comparison of Two Methods for Fault Detection: a Statistical Decision, and an Interval-based Approach
  Esteban R. Gelso, Gautam Biswas, Sandra Castillo, Joaquim Armengol
• Model-based Fault Detection Method Using Interval Analysis: Application to an Aeronautic Test Bench
  Jawad Karim, Carine Jauberthie, Michel Combacau
• Automated Learning of Diagnosis Models for Component-Oriented Robot Control Software
  Alexander Kleiner, Gerald Steinbauer, Franz Wotawa
• Adding Fault Adaptive Control To Embedded Systems
  Willibald Krenn, Franz Wotawa
• A Unified Information Criterion for Evaluating Probe and Test Selection
  Juan Liu, Johan de Kleer, Lukas Kuhn, Bob Price, Rong Zhou
• The Role of Agent Diagnosis in Multi-Agent Plan Repair
  Roberto Micalizio, Pietro Torasso
• Using Bayesian Networks for Candidate Generation in Consistency-based Diagnosis
  Sriram Narasimhan, Ole Mengshoel
• Model-Based Reasoning with Multiple Test Cases and its Application to Debugging
  Bernhard Peischl, Naveed Riaz, Franz Wotawa
• Control Surfaces Oscillatory Failures Identification Using Interval Analysis
  Renaud Pons, Carine Jauberthie, Louise Trave-Massuyes, Philippe Goupil
• Another Point of View on Diagnosability
  Xavier Pucel, Louise Trave-Massuyes, Yannick Pencole
• Combining State Estimation and Simulation in Consistency-based Diagnosis with Possible Conflicts
  Belarmino Pulido, Anibal Bregon, Carlos J. Alonso-Gonzalez
• Design Requirements for the Diagnosability of Distributed Discrete Event Systems
  Pauline Ribot, Yannick Pencole, Michel Combacau
• A Symbolic Approach for Component Abstraction in Model-Based Diagnosis
  Gianluca Torta, Pietro Torasso