Workshop Program
Day 1 Day 2 Day 3 Complete Program

Day 1: May 29, 2007
07:30 - 08:30 Breakfast
08:30 - 08:40 Welcome, Introductions
Session 1: Sensor/Measurement Selection
08:40 - 09:10 Computation of Minimal Sensor Sets from Precompiled Discriminability Relations - Gianluca Torta and Pietro Torasso
09:10 - 09:40 Sensor placement for maximum fault isolability - Erik Frisk and Mattias Krysander
09:40 - 10:10 Diagnosing Intermittent Faults - Johan de Kleer
10:10 - 10:30 Break
Session 2: Dynamic Systems
10:30 - 11:00 HyDE – A General Framework for Stochastic and Hybrid Model-based Diagnosis - Sriram Narasimhan and Lee Brownston
11:00 - 11:30 Analyzing the influence of temporal constraints in possible conflicts calculation for model-based diagnosis - Belarmino Pulido, Carlos Alonso, Anibal Bregon, Vicenç Puig, and Teresa Escobet
11:30 - 12:00 Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference - Alexander Feldman, Gregory Provan and Arjan van Gemund
12:00 - 13:00 Lunch
Invited Talk
13:00 - 14:00 An Integrated Architecture for Fault Diagnosis and Failure Prognosis with an Application to Aircraft Systems
- George Vachtsevanos, Georgia Institute of Technology
14:00 - 14:15 Break
Session 3: Software Systems
14:15 - 14:45 Obtaining Models for Test Generation from Natural-language-like Functional Specifications - M. W. Esser and P. Struss
14:45 - 15:15 Models and Tradeoffs in Model-Based Debugging - Wolfgang Mayer and Markus Stumptner
15:15 - 15:45 Distributed Chronicles for On-line Diagnosis of Web Services - Marie-Odile Cordier, Xavier Le Guillou, Sophie Robin, Laurence Rozé, and Thierry Vidal
15:45 - 16:00 Break
Poster Session
16:00 - 17:30
Fault Tolerant Estimation with Sensor Redundancy Management in Distributed Dynamical Systems by Means of Nonlinear Federated Filtering - A. Edelmayer, M. Miranda, and L. Nádai
WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis - The Ws-DIAMOND Team
Diagnosis of Multi-Agent Plans under Partial Observability - Roberto Micalizio, Pietro Torasso
Approximate Model-based Diagnosis Using Greedy Stochastic Search - Alexander Feldman, Gregory Provan, Arjan van Gemund
Dynamic domain abstraction through meta-diagnosis - Johan de Kleer
New results for Sensor Placement with Diagnosability Purpose - Abed Alrahim Yassine, Stéphane Ploix, Jean-Marie Flaus
Monitoring Plan Optimality during Execution: Theory and Implementation - Christian Fritz and Sheila A. McIlraith
Diagnosability Analysis for Web Services with Constraint-based Models - Xavier Pucel, Stefano Bocconi, Claudia Picardi, Daniele Theseider Dupré, and Louise Travé-Massuyès
Self-healablity = diagnosability + repairability - Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, and Thierry Vidal
Improving Diagnostic Accuracy by Blending Probabilities: Some Initial Experiments - Stephyn G. W. Butcher John W. Sheppard
On Choosing Abstractions for Hierarchical Diagnosis - Fabien Perrot and Louise Travé-Massuyès
Real World Model-based Fault Management - Ravi Kapadia, Greg Stanley, and Mark Walker
Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques - Satnam Singh, Kihoon Choi, Anuradha Kodali, Krishna Pattipati, John W Sheppard, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, and Liu Qiao

Day 2: May 30, 2007
07:30 - 08:30 Breakfast
Session 1: DES Diagnosis
08:30 - 09:00 Online Posterior Probability Calculation for Failure Diagnosis in Finite State Machines based on Unreliable Sensor Information - Eleftheria Athanasopoulou, Lingxi Li, and Christoforos N. Hadjicostis
09:00 - 09:30 On Monotonic Monitoring of Discrete-Event Systems - Gianfranco Lamperti and Marina Zanella
09:30 - 10:00 Modeling and Solving Diagnosis of Discrete-Event Systems via Satisfiability - Alban Grastien, Anbulagan, Jussi Rintanen, and Elena Kelareva
10:00 - 10:30 Break
Session 2: Applications
10:30 - 11:00 Advanced Diagnostics and Prognostics Testbed - Scott Poll, Ann Patterson-Hine, Joe Camisa, David Garcia, David Hall, Charles Lee, Ole Mengshoel, Christian Neukom, David Nishikawa, John Ossenfort, Adam Sweet, Serge Yentus, Indranil Roychoudhury, Matthew Daigle, Gautam Biswas, and Xenofon Koutsoukos
11:00 - 11:30 Fault Detection using Interval LPV Models with Uncertain Transport Delay: Application to Canals - Joaquim Blesa, Vicenç Puig, and Yolanda Bolea
11:30 - 12:00 Fault Diagnosis of Civil Engineering Structures using the Bond Graph Approach - Abbas Moustafa, Matthew Daigle, Indranil Roychoudhury, Chris Shantz, Gautam Biswas, Sankaran Mahadevan, and Xenofon Koutsoukos
12:00 - 13:00 Lunch
Panel Discussion
13:00 - 14:30 Primary challenges in deploying health monitoring and fault diagnosis systems in industry today. How do we bridge technology gaps and impediments to successful deployment?
- Stan Ofsthun, Boeing Phantom Works
- Christophe Dousson, France Telecom
- Serdar Uckun, NASA Ames Research Center
- Liu Qiao, Toyota Technical Center
Moderator: Johan de Kleer, Palo Alto Research Center
14:30 - 14:45 Break
Session 3: Testing
14:45 - 15:15 Automated Debugging and Repair of Utility Constraints in Recommender Knowledge Bases - A. Felfernig, G. Friedrich, and E. Teppan
15:15 - 15:45 Generating Manifestations of Max-Fault Min-Cardinality Diagnoses - Alexander Feldman, Gregory Provan, and Arjan van Gemund
15:45 - 16:00 Break
Business Meeting
16:00 - 17:00 Business Meeting
17:00 - 18:15 Break
Social Event
18:15 - 22:00 General Jackson Dinner Cruise

Day 3: May 31, 2007
07:30 - 08:30 Breakfast
Session 1: Methods
08:30 - 09:00 Coverage Techniques for Checking Temporal-Observation Subsumption - Andrea Ducoli, Gianfranco Lamperti, Emanuele Piantoni, and Marina Zanella
09:00 - 09:30 A Spectrum of Symbolic On-line Diagnosis Approaches - Anika Schumann, Yannick Pencolé, and  Sylvie Thiébaux
09:30 - 10:00 Ontologies for Data Mining and Knowledge Discovery to Support Diagnostic Maturation - Timothy J. Wilmering and John W. Sheppard
10:00 - 10:30 Break
Session 2: Fault Detection/FDI
10:30 - 11:00 Inversion-based residual generation for robust detection and isolation of faults by means of estimation of the inverse dynamics in linear dynamical systems - A. Edelmayer, J. Bokor, Z. Szabó, and S. Molnár
11:00 - 11:30 Passive Robust Fault Detection: Inverse vs Direct Image Tests using Zonotopes - Pedro Guerra, Vicenç Puig, Ari Ingimundarson
11:30 - 12:00 A Diagnosis Driven Self-Reconfigurable Filter - Emmanuel Benazera and Louise Travé-Massuyès
12:00 - 13:00 Lunch
Invited Talk
13:00 - 14:00 Health Management Technology Integration
- Kirby Keller, Boeing Phantom Works
14:00 - 14:15 Break
Session 3: Temporal Reasoning
14:15 - 14:45 Symbolic Factorization of Propagation Delays out of Diagnostic System Models - Jurryt Pietersma and Arjan J.C. van Gemund
14:45 - 15:15 Using An Oriented J-Measure to Prune Chronicle Models - Benayadi Nabil and Marc Le Goc
15:15 - 15:45 Troubleshooting temporal behavior in “combinational” circuits - Johan de Kleer
15:45 - 16:00 Break
Poster Session
16:00 - 17:30
Validation of a Multi-Agent Architecture for Planning and Execution - Maria D. R-Moreno, Guillaume Brat, Nicola Muscettola
Operating Part Model for On-line Diagnosis - Eric Deschamps, Sébastien Henry, and Eric Zamaï
Designing Resource-Bounded Reasoners using Bayesian Networks: System Health Monitoring and Diagnosis - Ole J. Mengshoel
Finding Explanations in Bayesian Networks - Changhe Yuan and Tsai-Ching Lu
Intermittent fault diagnosis: a diagnoser derived from the normal behavior - Siegfried Soldani, Michel Combacau, Audine Subias, and Jérôme Thomas
Chronicle modelling using automata and colored Petri nets - Olivier Bertrand, Patrice Carle, and Christine Choppy
A Discrete Event Approach to Diagnosis of Continuous Systems - Matthew Daigle, Xenofon Koutsoukos, and Gautam Biswas
Gradient-based Diagnosis - Willibald Krenn and Franz Wotawa
State Tracking in the Mode Space - Mehdi Bayoudh, Louise Travé-Massuyès, and Xavier Olive
Diagnosing Dependent Failures – an Extension of Consistency-based Diagnosis - Jörg Weber and Franz Wotawa
Fault Diagnostic of Bearing Via Physics-Based Modeling Techniques - Amir Shirkhodaie
Sensor Fault Diagnosis using Linear Interval Observers - Jordi Meseguer, Vicenç Puig, Teresa Escobet, Joseba Quevedo, and Belarmino Pulido
Towards a Modeling Approach of Dynamic Systems for a Multi Model Based Diagnosis - Emilie Masse and Marc Le Goc