Accepted Papers & Posters

Posters will be tacked to foam core boards which are 32” x 40” and then set on easels. We don’t have templates for posters but 32” x 40” would be the maximum size. Paper presentations will be 30 minutes long which will include 25 minutes for presentation and 5 minutes for discussion.

Papers accepted for Oral Presentation

Title Authors
Overcoming Non-Discernibility through Mode-Sequence Analytic Redundancy Relations in Hybrid Diagnosis
and Estimation
Michael W. Hofbaur, Louise Travé-Massuyès, Theresa Rienmüller, Mehdi Bayoudh
Efficient Optimal Sensor Placement for Structural Model Based Diagnosis Albert Rosich, Abed Alrahim Yassine, Stéphane Ploix
A Framework for Integrating Requirements-Based Design and Diagnosis Gregory Provan
Decentralized Fault Detection and Isolation of Manufacturing Systems Moamar Sayed-Mouchaweh
A Structural Algorithm for Finding Testable Sub-models and Multiple Fault
Isolability AnalysisSpectrum-Based Sequential Diagnosis
Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J.C. van Gemund
Factoring Dynamic Bayesian Networks using Possible Conflicts Carlos J. Alonso-Gonzalez, Noemi Moya, Gautam Biswas
Diagnosing Process Trajectories Under Partially Known Behavior Gerhard Friedrich, Wolfgang Mayer, Markus Stumptner
Sensor and Actuator Fault Isolation Using Parameter Interval based Method for
Nonlinear Dynamic Systems
Zetao Li, Boutaieb Dahhou, Gilles Roux, Jing Yang, Cuixia Zhang
Diagnosability Analysis Considering Causal Interpretations for Differential
Constraints
Erik Frisk, Anibal Bregon, Jan Åslund, Mattias Krysander, Belarmino Pulido,
Gautam Biswas
Reformulation for the Diagnosis of Discrete-Event Systems Alban Grastien, Gianluca Torta
A Diagnosis Algorithm for Inconsistent Constraint Sets Alexander Felfernig, Monika Schubert
On Non Invertibilities for Structural Analysis Vincent de Flaugergues, Vincent Cocquempot, Mireille Bayart, Marco Pengov
Distributed Consistency-Based Diagnosis Without Behavior Gianfranco Lamperti, Marina Zanella
An Event-based Approach to Distributed Diagnosis of Continuous Systems Matthew Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
Diagnosis as Planning Revisited: An Abridged Report Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
Diagnosing Intermittent and Persistent Faults Using Static Bayesian Networks Brian Ricks, Ole Mengshoel
Generalizing Diagnosability Definition and Checking for Open Systems: A Game
Structure Approach
Tarek Melliti, Philippe Dague

Papers accepted for Poster Presentation

Title Authors
Computing Energy-Optimal Tests using DNNF Graphs Anika Schumann, Martin Sachenbacher
OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design
of Business Processes
A. J. Varela- Vaca, Rafael M. Gasca, L. Parody
A Decentralized Service Based Architecture for Design and Modeling of Fault
Tolerant Control Systems
Mattias Nyberg, Carl Svärd
Large-scale Signal Reconstruction for Sensor Monitoring and Diagnostics in
Nuclear Power Plants
Giulio Gola, Davide Roverso, Mario Hoffmann
Event-driven Data Mining Techniques for Automotive Fault Diagnosis Chaitanya Sankavaram, Anuradha Kodali, Diego Fernando Martinez Ayala, Krishna
Pattipati
Injecting Semantics into Diagnosis of Discrete-Event Systems Gianfranco Lamperti, Marina Zanella
Efficient Drive-Based Analysis of Fault Detection Measures in Safety-Related
Pneumatic Systems
Andreas Barner, Jan Bgreenau, Frank Schiller
Structural Observability – Application to Decompose a System with Possible
Conflicts
Noemi Moya, Gautam Biswas, Carlos J. Alonso-Gonzalez, Xenofon Koutsoukos
Synthesis of a Distributed and Accurate Diagnoser Priscilla Kan John, Alban Grastien, Yannick Pencolé
Solving the ADAPT Benchmark Problem – A Student Project Study Erik Almqvist, Daniel Eriksson, Andreas Lundberg, Emil Nilsson, Erik Frisk,
Mattias Krysander
Contract Based Diagnosis for Business Process Instances using Business
Compliance Rules
Diana Borrego, Rafael M. Gasca, María T. Gómez-López, Luisa Parody
Using Distinguishing Tests to Reduce the Number of Fault Candidates Mihai Nica, Simona Nica, Franz Wotawa
Remote Diagnosis of Timed I/O Automata Thorsten Schlage, Jan Lunze
Defining and Exploring Properties in Diagnostic Systems Nuno Belard, Yannick Pencolé, Michel Combacau
Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa Alexander Feldman, Gregory Provan, Johan de Kleer, Stephan Robert, Arjan van
Gemund
Self-adapting Strategies guided by Diagnosis and Situation Assessment in
Collaborative Communicating Systems
Audine SUBIAS, Ernesto EXPOSITO, Christophe CHASSOT, Louise Travé-Massuyès,
Khalil DRIRA
MBD Techniques for Internet Delay Diagnosis Roni Stern, Meir Kalech
On the Way to Automated Belief Repair for Autonomous Robots Gerald Steinbauer, Franz Wotawa
Fault Diagnosis in Databases for Business Processes M. Teresa Gomez-Lopez, Rafael M. Gasca
Towards Partial (and Useful) Model Identification for Model-Based Diagnosis Vladimir Sadov, Eliahu Khalastchi, Meir Kalech, Gal A. Kaminka
Diagnosability for Patterns in Distributed Discrete Event Systems Yuhong Yan, Lina Ye, Philippe Dague
Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults Lukas Kuhn, Johan de Kleer
Role-Based Diagnosis for Distributed Vehicle Functions Jens Kohl,
Andreas Bauer
Combining Model-Based and Feature-Driven Diagnosis Approaches – A Case Study on
Electromechanical Actuators
Sriram Narasimhan, Indranil Roychoudhury, Edward Balaban, Abhinav Saxena
Diagnosis of Autosub 6000 using Automatically Generated Software Models Juhan Ernits, Richard Dearden, Miles Pebody, James Guggenheim
Foundations for Consistency-based Diagnosis of Systems with Arbitrary, Uncertain
Delays
Peter Struss