Proceedings of the 13th International Workshop on Principles of Diagnosis (DX-2002)

May 2nd-4th, 2002

Semmering Austria

Title page

Content

Appendix

Papers

  1. Particle Filters for Real-Time Fault Detection in Planetary Rovers
    Richard Dearden and Dan Clancy
  2. Hyprid Modeling and Diagnosis in the Real World: A Case Study
    Sriram Narasimhan, Gautam Biswas, Gabor Karsai and Tivadar Szemethy
  3. A Model-Based Diagnosis Framework for Distributed Systems
    Gregory Provan
  4. Model-based Tools for the Integration of Design and Diagnosis into a Common Process - A Project Report
    Peter Struss et al.
  5. Suggestions from the software engineering practice for applying consistency-based diagnosis to configuration knowledge bases
    Gerhard Fleischanderl
  6. Consistency-Based Fault Isolation for Uncertain Systems with Applications to Quantitative Dynamic Models
    Colin N. Jones, Gregory W. Bond and Peter D. Lawrence
  7. Merging Indiscriminable Diagnoses: An Approach Based on Automatic Domains Abstraction
    Pietro Torasso and Gianluca Torta
  8. Structural Analysis Utilizing MSS Sets with Application to a Paper Plant
    Mattias Krysander and Mattias Nyberg
  9. Diagnostic Reasoning with Multilevel Set-Covering Models
    Joachim Baumeister and Dietmar Seipel
  10. Computing Minimal Conflicts for Rich Constraint Languages
    Jakob Mauss and Mugur Tatar
  11. A Model Counting Characterization of Diagnoses
    T.K. Satish Kumar
  12. Computing Minimal Hitting Sets with Genetic Algorithm
    Lin Li and Jiang Yunfei
  13. Model-Based Diagnosis for Information Survivability
    Howard Shrobe
  14. Observations and Results Gained from the Jade Project
    Wolfgang Mayer, Markus Stumptner, Dominik Wieland and Franz Wotawa
  15. Hybrid Diagnosis with Unknown Behavioral Modes
    Michael W. Hofbaur and Brian C. Williams
  16. State Tracking of Uncertain Hybrid Concurrent Systems
    Emmanuel Benazera, Louise Trave-Massuyes and Phillipe Dague
  17. HCBFS: Combining Structure-Based and TMS-Based Approaches in Model-Based Diagnosis
    T.K. Satish Kumar
  18. Possible Conflicts, ARRs, and Conflicts
    Belarmino Pulido Junquera and Carlos Alonso Gonzalez
  19. Model-Based Reliability and Diagnostic: A Common Framework for Reliability and Diagnostics
    Berhard Anrig and Jürgen Kohlas
  20. Far-sighted diagnosis of active systems
    Roberto Garatti, Gianfranco Lamperti and Marina Zanella
  21. Model-based Monitoring of Piecewise Continuous Behaviors using Dynamic Uncertainty Space Partitioning
    Bernhard Rinner and Ulrich Weiss
  22. Object-Oriented Dynamic Bayesian Network-Templates for Modelling Mechatronic Systems
    Harald Renninger and Hermann von Hasseln
  23. Development Tool for Distributed Monitoring and Diagnosis Systems
    M. Albert, T. Längle and H. Wörn
  24. Using supervised learning techniques for diagnosis of dynamic systems
    Pedro J. Abad, Antonio J. Suarez, Rafael M. Gasca and J.A. Ortega
  25. Fault isolation using process algebra models
    Dan Lawesson, Ulf Nilsson and Inger Klein
  26. Distributed Diagnosis of Networked, Embedded Systems
    James Kurien, Xenofon Koutsoukos and Feng Zhao
Download: DX-2002 Proceedings (tar.gz)