| 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
|