Table of Contents

• Frontmatter
  
  
• Preface
  
  

Full papers

• Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults
  Valentin Bouziat, Xavier Pucel, Stéphanie Rousse
• Using LNT Formal Descriptions for Model-Based Diagnosis
  Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
• Anomaly Detection in Discrete Manufacturing Systems using Event Relationship Tables
  Emil Laftchiev, Xinmaio Sun, Hoang-Anh Dau, Daniel Nikovski
• Uncertain Dynamic Process Monitoring Using Moving Window PCA for Interval-Valued Data
  Mohamed Faouzi Harkat, Tarek Ait Izem, Frederic Kratz, Majdi Mansouri, Mohamed Nounou, Hazem Nounou
• Computer-aided Diagnosis via Hierarchical Density Based Clustering
  Tom Obry, Louise Travé-Massuyès, Audine Subias
• Optimal Sensor Placement Problem for an Electro-pneumatic Actuator
  Kornel Rostek
• Optimal Test/Sensor Selection Problems Formalized as Integer Programs
  Christian Artigues, Olivier Bassène, Elodie Chanthery , Asma Gasmi, Louise Travé-Massuyès
• QR-Augmented Spectrum-based Fault Localization
  Alexandre Perez, Rui Abreu
• On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation
  Ingo Pill, Franz Wotawa
• Generative Adversarial Network based Autoencoder: Application to Fault Detection Problem for Closed Loop Dynamical Systems
  Indrasis Chakraborty, Rudrasis Chakraborty, Draguna Vrabie
• LSTM for Model-based Anomaly Detection in Cyber-Physical Systems
  Benedikt Eiteneuer, Oliver Niggemann
• Anomaly Detection using Similarity-based One-Class SVM for Network Traffic Characterization
  Bouchra Lamrini, Augustin Gjini, Simon Daudin, Pascal Pratmarty, François Armando, Louise Travé-Massuyès
• Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory
  Alexander Diedrich, Oliver Niggemann
• Comparison of Two Distributed Fault Diagnosis Approaches based on Binary Integer Linear Programming (BILP) Optimization
  Vicenç Puig, Erdal Taskent
• A Non-intrusive Fault Diagnosis System for Robotic Platforms
  Youssef Youssef, Paul Plöger

Posters

• Multiple Model Adaptive Estimation for Blocked Wheel Fault Detection on Mobile Robots
  Mahmoud Almasri, Nicolas Tricot, Roland Lenain
• On the Superiority of Conflict-Driven Search in MUS Enumeration
  Roxane Koitz-Hristov, Franz Wotawa
• Survey of Fault Diagnosis and Accommodation of Unmanned Underwater Vehicles
  Andreas Nioras, George Karras, George Fourlas, Georges Stamoulis
• Analysis of Applicability of Deep Learning Methods in Compressor Fault Diagnosis
  Anna Sztyber, Łukasz Chechliński, Michał Syfert, Paweł Wnuk, Piotr Lipnicki, Daniel Lewandowski
• Milling Diagnosis Using Machine Learning Techniques Toward Industry 4.0
  Lorraine Codjo, Mohamed Jaafar, Hamid Makich, Dominique Knittel, Mohammed Nouari

Extended abstracts

• Alarm Correlation in Mobile Telecommunication Networks Based on Dice Coefficient (extended abstract)
  Artur Maździarz
• Reducing Sequential Diagnosis Costs by Modifying Reiter’s Hitting Set Tree (extended abstract; full paper published in AAAI Publications, Eleventh Annual Symposium on Combinatorial Search)
  Patrick Rodler, Manuel Herold
• Comparing the Performance of Traditional and Novel Heuristics for Sequential Diagnosis (extended abstract; full paper published in RuleML+RR 2018: Rules and Reasoning)
  Patrick Rodler, Wolfgang Schmid
• SCADA Data Based Wind Turbine Fault Diagnosis (extended abstract)
  Christian Tutiven, Yolanda Vidal, Francesc Pozo