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