Accepted Posters
  • Validation of a Multi-Agent Architecture for Planning and Execution - Maria D. R-Moreno, Guillaume Brat, Nicola Muscettola (slides)

  • WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis - L. Console, D. Ardagna, L. Ardissono, S. Bocconi, C. Cappiello, M.O. Cordier, P. Dague, K. Drira, J. Eder, G. Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, A. Hess, V. Ivanchenko, X. Le Guillou, M. Lehmann, J. Mangler, Yingmin Li, T. Melliti,S. Modafferi, E. Mussi, Y. Pencolé, G. Petrone, B. Pernici, C. Picardi, X. Pucel, S. Robin, L. Rozé, M. Segnan, A. Tahamtan, A. Ten Tejie, D. Theseider Dupré, L. Travé Massuyès, F. Van Harmelen, and T. Vidal (slides)

  • Diagnosis of Multi-Agent Plans under Partial Observability - Roberto Micalizio, Pietro Torasso (slides)

  • Approximate Model-based Diagnosis Using Greedy Stochastic Search - Alexander Feldman, Gregory Provan, Arjan van Gemund

  • Dynamic domain abstraction through meta-diagnosis - Johan de Kleer (slides)

  • New results for Sensor Placement with Diagnosability Purpose - Abed Alrahim Yassine, Stéphane Ploix, Jean-Marie Flaus (slides)

  • Monitoring Plan Optimality during Execution: Theory and Implementation - Christian Fritz and Sheila A. McIlraith

  • Diagnosability Analysis forWeb Services with Constraint-based Models - Xavier Pucel, Stefano Bocconi, Claudia Picardi, Daniele Theseider Dupré, and Louise Travé-Massuyès (slides)

  • Self-healablity = diagnosability + repairability - Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, and Thierry Vidal (slides)

  • Towards a Modeling Approach of Dynamic Systems for a Multi Model Based Diagnosis - Emilie Masse and Marc Le Goc (slides)

  • Fault Diagnostic of Bearing Via Physics-Based Modeling Techniques - Amir Shirkhodaie

  • On Choosing Abstractions for Hierarchical Diagnosis - Fabien Perrot and Louise Travé-Massuyès (slides)

  • Real World Model-based Fault Management - Ravi Kapadia, Greg Stanley, and Mark Walker (slides)

  • 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 (slides)

  • Operating Part Model for On-line Diagnosis - Eric Deschamps, Sébastien Henry, and Eric Zamaï (slides)

  • Designing Resource-Bounded Reasoners using Bayesian Networks: System Health Monitoring and Diagnosis - Ole J. Mengshoel (slides) (poster)

  • Finding Explanations in Bayesian Networks - Changhe Yuan and Tsai-Ching Lu (slides)

  • Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques - Satnam Singh, Kihoon Choi, Anuradha Kodail, Krishna Pattipati, John W Sheppard, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, and Liu Qiao (slides)

  • Intermittent fault diagnosis: a diagnoser derived from the normal behavior - Siegfried Soldani, Michel Combacau, Audine Subias, and Jérôme Thomas (slides)

  • Chronicle modelling using automata and colored Petri nets - Olivier Bertrand, Patrice Carle, and Christine Choppy (slides)

  • A Discrete Event Approach to Diagnosis of Continuous Systems - Matthew Daigle, Xenofon Koutsoukos, and Gautam Biswas (slides) (poster)

  • Gradient-based Diagnosis - Willibald Krenn and Franz Wotawa (slides)

  • State Tracking in the Mode Space - Mehdi Bayoudh, Louise Travé-Massuyès, and Xavier Olive (slides)

  • Diagnosing Dependent Failures – an Extension of Consistency-based Diagnosis - Jörg Weber and Franz Wotawa (slides)

  • Improving Diagnostic Accuracy by Blending Probabilities: Some Initial Experiments - Stephyn G. W. Butcher John W. Sheppard

  • Sensor Fault Diagnosis using Linear Interval Observers - Jordi Meseguer, Vicenç Puig, Teresa Escobet, Joseba Quevedo, and Belarmino Pulido (slides)