DX-2002 - Accepted Papers

Full Papers

1. Model-Based Diagnosis for Information Survivability
   Howard Shrobe
2. Model-Based Reliability and Diagnostic: A Common Framework for Reliability and Diagnostics
   Berhard Anrig and Jürgen Kohlas
3. Possible Conflicts, ARRs, and Conflicts
   Belarmino Pulido Junquera and Carlos Alonso Gonzalez
4. State Tracking of Uncertain Hybrid Concurrent Systems
   Emmanuel Benazera, Louise Trave-Massuyes and Phillipe Dague
5. HCBFS: Combining Structure-Based and TMS-Based Approaches in Model-Based Diagnosis
   T.K. Satish Kumar
6. Hyprid Modeling and Diagnosis in the Real World: A Case Study
   Sriram Narasimhan, Gautam Biswas, Gabor Karsai and Tivadar Szemethy
7. Particle Filters for Real-Time Fault Detection in Planetary Rovers
   Richard Dearden and Dan Clancy
8. Consistency-Based Fault Isolation for Uncertain Systems with Applications to Quantitative Dynamic Models
   Colin N. Jones, Gregory W. Bond and Peter D. Lawrence
9. Observations and Results Gained from the Jade Project
   Wolfgang Mayer, Markus Stumptner, Dominik Wieland and Franz Wotawa
10. Far-sighted diagnosis of active systems
    Roberto Garatti, Gianfranco Lamperti and Marina Zanella
11. Model-based Monitoring of Piecewise Continuous Behaviors using Dynamic Uncertainty Space Partitioning
    Bernhard Rinner and Ulrich Weiss
12. Hybrid Diagnosis with Unknown Behavioral Modes
    Michael W. Hofbaur and Brian C. Williams
13. Structural Analysis Utilizing MSS Sets with Application to a Paper Plant
    Mattias Krysander and Mattias Nyberg
14. Merging Indiscriminable Diagnoses: An Approach Based on Automatic Domains Abstraction
    Pietro Torasso and Gianluca Torta
15. A Model-based Diagnosis Framework for Distributed Systems
    Gregory Provan

Industrial Session

1. Model-based Tools for the Integration of Design and Diagnosis into a Common Process -- A Project Report
   Peter Struss et al.
2. Suggestions from the software engineering practice for applying consistency-based diagnosis to configuration knowledge bases
   Gerhard Fleischanderl

Posters

1. A Model Counting Characterization of Diagnoses
   T.K. Satish Kumar
2. Object-Oriented Dynamic Bayesian Network-Templates for Modelling Mechatronic Systems
   Harald Renninger and Hermann von Hasseln
3. Development Tool for Distributed Monitoring and Diagnosis Systems
   M. Albert, T. Längle and H. Wörn
4. Computing Minimal Hitting Sets with Genetic Algorithm
   Lin Li and Jiang Yunfei
5. Using supervised learning techniques for diagnosis of dynamic systems
   Pedro J. Abad, Antonio J. Suarez, Rafael M. Gasca and J.A. Ortega
6. Fault isolation using process algebra models
   Dan Lawesson, Ulf Nilsson and Inger Klein
7. Distributed Diagnosis of Networked, Embedded Systems
   James Kurien, Xenofon Koutsoukos and Feng Zhao
8. Diagnostic Reasoning with Multilevel Set-Covering Models
   Joachim Baumeister and Dietmar Seipel
9. Computing Minimal Conflicts for Rich Constraint Languages
   Jakob Mauss and Mugur Tatar