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 |