› Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory - Alexander Diedrich, Oliver Niggemann
15:00-15:30 (30min)
› Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults - Valentin Bouziat, Xavier Pucel, Stéphanie Roussel, Louise Travé-Massuyès
15:30-16:00 (30min)
› Using LNT Formal Descriptions for Model-Based Diagnosis - Franz Wotawa, Birgit Hofer, Radu Mateescu, Wendelin Serwe
16:00-16:30 (30min)
› Estimating Information Loss with Incomplete Queries - Lior Chen, Meir Kalech, Roni Stern, Dennis Potashnik
17:00-17:30 (30min)
› Alarm Correlation in Mobile Telecommunication Networks Based on Dice Coefficient - Artur Maździarz
17:30-18:00 (30min)
› Anomaly Detection in Discrete Manufacturing Systems using Event Relationship Tables - Emil Laftchiev, Xinmaio Sun, Hoang-Anh Dau, Daniel Nikovski
18:00-18:30 (30min)
› Computer-aided Diagnosis via Hierarchical Density Based Clustering - Tom Obry, Louise Travé-Massuyès, Audine Subias
09:30-10:00 (30min)
› Generative Adversarial Network based Autoencoder: Application to fault detection problem for closed loop dynamical systems - Indrasis Chakraborty, Rudrasis Chakraborty, Draguna Vrabie
10:00-10:30 (30min)
› Optimal test / sensor selection problems formalized as integer programs - Christian Artigues, Olivier Bassène, Elodie Chanthery, Asma Gasmi, Louise Travé-Massuyès
11:00-11:30 (30min)
› Comparison of Two Distributed Fault Diagnosis Approaches based on Binary Integer Linear Programming (BILP) Optimization - Vicenç puig, Erdal Taskent
11:30-12:00 (30min)
› Optimal Sensor Placement Problem for an Electro-pneumatic Actuator - Kornel Rostek
12:00-12:30 (30min)
› On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation - Ingo Pill, Franz Wotawa
14:30-15:00 (30min)
› Safe Partial Diagnosis from Normal Observations - Roni Stern, Brendan Juba
15:00-15:30 (30min)
› Analytic Redundancy Relations Guided Parameter Estimation for Model-Based Diagnosis - Ion Matei, Maksym Zhenirovskyy, Alexander Feldman, Johan de Kleer
15:30-16:00 (30min)
› Analog Accelerator for Simulation and Diagnostics - Alexander Feldman, Ion Matei, Emil Totev, Johan de Kleer
16:00-16:30 (30min)
› Analysis of applicability of deep learning methods in compressor fault diagnosis - Anna Sztyber, Łukasz Chechliński, Michał Syfert, Paweł Wnuk, Piotr Lipnicki, Daniel Lewandowski
16:30-18:30 (2h)
› Comparing Physics-Based Methods for Distinguishing Attacks from Faults - Gregory Provan, Riccardo Orizio
16:30-18:30 (2h)
› DeBGUer: A Tool for Bug Prediction and Diagnosis @ BGU - Amir Elmishali, Meir Kalech, Roni Stern
16:30-18:30 (2h)
› Deploying Robots in Everyday Environments: Towards Dependable and Practical Robotic Systems - Alex Mitrevski, Santosh Thoduka, Argentina Ortega Sainz, Maximilian Schöbel, Patrick Nagel, Paul Plöger, Erwin Prassler
16:30-18:30 (2h)
› Fault Isolation of a power hydraulic system through parameter estimation using temporal infor-mation and Genetic Algorithm - Sanjoy Kumar Ghoshal, Sawan Kumar, Subhamay Das, J. Das
16:30-18:30 (2h)
› Milling diagnosis using machine learning techniques toward Industry 4.0 - Lorraine Codjo, Mohamed Jaafar, Hamid Makich, Dominique Knittel, Mohammed Nouari
16:30-18:30 (2h)
› Model-based diagnosis: a frequency domain view - Ion Matei, Alexander Feldman, Johan de Kleer
16:30-18:30 (2h)
› Multiple model adaptive estimation for blocked wheel fault detection on mobile robots - Mahmoud Almasri, Nicolas Tricot, Roland Lenain
16:30-18:30 (2h)
› On the Superiority of Conflict-Driven Search in MUS Enumeration - Roxane Koitz-Hristov, Franz Wotawa
16:30-18:30 (2h)
› SCADA Data Based Wind Turbine Fault Diagnosis - Christian Tutiven, Yolanda Vidal, Francesc Pozo
16:30-18:30 (2h)
› Survey of fault diagnosis and accommodation of unmanned underwater vehicles - Andreas Nioras, George Karras, George Fourlas, Georges Stamoulis
16:30-18:30 (2h)
