May 2-4, 2002
Grand Hotel Panhans Semmering, Austria. See the DX'02
Webite for reference.
DX'02 Proceedings
Below are the
papers that were presented at this years DX Workshop. Select the
relevant document title to access the pdf file.
Particle
Filters for Real Time Planetary Rovers.
R Dearden & D 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
|
