DX 2018
Principles of Diagnosis

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