|
|
|
Program > Technical program
Monday, August 27, 2018
| Time | Event | |
| 12:00 - 14:00 | Lunch | |
| 14:00 - 14:30 | DX'18 Opening | |
| 14:30 - 16:30 | Formal theories for diagnosis | |
| 14:30 - 15:00 | › Diagnosing Hybrid-Systems using Consistency-Based Methods - Gregory Provan | |
| 15:00 - 15:30 | › Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory - Alexander Diedrich, Oliver Niggemann | |
| 15:30 - 16:00 | › Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults - Valentin Bouziat, Xavier Pucel, Stéphanie Roussel, Louise Travé-Massuyès | |
| 16:00 - 16:30 | › Using LNT Formal Descriptions for Model-Based Diagnosis - Franz Wotawa, Birgit Hofer, Radu Mateescu, Wendelin Serwe | |
| 16:30 - 17:00 | Tea & Coffee break | |
| 17:00 - 18:30 | Event based diagnosis | |
| 17:00 - 17:30 | › Estimating Information Loss with Incomplete Queries - Lior Chen, Meir Kalech, Roni Stern, Dennis Potashnik | |
| 17:30 - 18:00 | › Alarm Correlation in Mobile Telecommunication Networks Based on Dice Coefficient - Artur Maździarz | |
| 18:00 - 18:30 | › Anomaly Detection in Discrete Manufacturing Systems using Event Relationship Tables - Emil Laftchiev, Xinmaio Sun, Hoang-Anh Dau, Daniel Nikovski |
Tuesday, August 28, 2018
| Time | Event | |
| 08:30 - 09:30 | Invited talk : Architecturing for Diagnosis at BigData Scale by Nathalie Barbosa Roa (Continental Automotive France SAS) | |
| 09:30 - 10:30 | Data based diagnosis | |
| 09:30 - 10:00 | › Computer-aided Diagnosis via Hierarchical Density Based Clustering - Tom Obry, Louise Travé-Massuyès, Audine Subias | |
| 10:00 - 10:30 | › Generative Adversarial Network based Autoencoder: Application to fault detection problem for closed loop dynamical systems - Indrasis Chakraborty, Rudrasis Chakraborty, Draguna Vrabie | |
| 10:30 - 11:00 | Tea & Coffee Break | |
| 11:00 - 12:30 | Optimal test and sensor selection | |
| 11:00 - 11:30 | › Optimal test / sensor selection problems formalized as integer programs - Christian Artigues, Olivier Bassène, Elodie Chanthery, Asma Gasmi, Louise Travé-Massuyès | |
| 11:30 - 12:00 | › Comparison of Two Distributed Fault Diagnosis Approaches based on Binary Integer Linear Programming (BILP) Optimization - Vicenç puig, Erdal Taskent | |
| 12:00 - 12:30 | › Optimal Sensor Placement Problem for an Electro-pneumatic Actuator - Kornel Rostek | |
| 12:30 - 14:00 | Lunch | |
| 14:00 - 18:00 | Social Program | |
| 18:00 - 20:00 | Safeprocess Welcome Reception For all DX participants - For all DX participants. |
Wednesday, August 29, 2018
| Time | Event | |
| 08:00 - 08:30 | DX-SAFEPROCESS JOINT DAY All sessions are open | |
| 08:30 - 08:45 | Safeprocess Opening Ceremony - For all DX participants | |
| 08:45 - 09:45 | Safeprocess Plenary talk by Gautam Biswas - For all DX participants | |
| 09:45 - 10:00 | Tea & Coffee break | |
| 10:00 - 12:00 | Models and processes for diagnosis | |
| 10:00 - 10:30 | › Model-based Gait Analysis for Juvenile Idiopathic Arthritis Patients - Peter Struss, Robert Reiser, Florian Kreuzpointner | |
| 10:30 - 11:00 | › QR-Augmented Spectrum-based Fault Localization - Alexandre Perez, Rui Abreu | |
| 11:00 - 11:30 | › StaticHS: Stateful Iterative Hitting Set Computation for Sequential Diagnosis - Patrick Rodler, University of Klagenfurt | |
| 11:30 - 12:00 | › A Non-intrusive Fault Diagnosis System for Robotic Platforms - Youssef Youssef, Paul Plöger | |
| 12:00 - 13:30 | Joint DX-Safeprocess Lunch | |
| 13:30 - 14:15 | Safeprocess Semi-Plenaries - For all DX participants | |
| 14:15 - 14:30 | Tea & Coffee break | |
| 14:30 - 16:30 | Learning models and enhancing diagnosis | |
| 14:30 - 15:00 | › On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation - Ingo Pill, Franz Wotawa | |
| 15:00 - 15:30 | › Safe Partial Diagnosis from Normal Observations - Roni Stern, Brendan Juba | |
| 15:30 - 16:00 | › Analytic Redundancy Relations Guided Parameter Estimation for Model-Based Diagnosis - Ion Matei, Maksym Zhenirovskyy, Alexander Feldman, Johan de Kleer | |
| 16:00 - 16:30 | › Analog Accelerator for Simulation and Diagnostics - Alexander Feldman, Ion Matei, Emil Totev, Johan de Kleer | |
| 16:30 - 18:30 | Poster session | |
| 16:30 - 18:30 | › 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 | › Comparing Physics-Based Methods for Distinguishing Attacks from Faults - Gregory Provan, Riccardo Orizio | |
| 16:30 - 18:30 | › DeBGUer: A Tool for Bug Prediction and Diagnosis @ BGU - Amir Elmishali, Meir Kalech, Roni Stern | |
| 16:30 - 18:30 | › 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 | › 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 | › Milling diagnosis using machine learning techniques toward Industry 4.0 - Lorraine Codjo, Mohamed Jaafar, Hamid Makich, Dominique Knittel, Mohammed Nouari | |
| 16:30 - 18:30 | › Model-based diagnosis: a frequency domain view - Ion Matei, Alexander Feldman, Johan de Kleer | |
| 16:30 - 18:30 | › Moving Window ICA Method with Adaptive Thresholds for Fault Detection - Mingguang Liu, Xiangshun Li, Jiang Jin, Wei Chen | |
| 16:30 - 18:30 | › Multiple model adaptive estimation for blocked wheel fault detection on mobile robots - Mahmoud Almasri, Nicolas Tricot, Roland Lenain | |
| 16:30 - 18:30 | › On the Superiority of Conflict-Driven Search in MUS Enumeration - Roxane Koitz-Hristov, Franz Wotawa | |
| 16:30 - 18:30 | › SCADA Data Based Wind Turbine Fault Diagnosis - Christian Tutiven, Yolanda Vidal, Francesc Pozo | |
| 16:30 - 18:30 | › Survey of fault diagnosis and accommodation of unmanned underwater vehicles - Andreas Nioras, George Karras, George Fourlas, Georges Stamoulis | |
| 19:00 - 23:00 | Small tour & DX'18 Dinner |
Thursday, August 30, 2018
| Time | Event | |
| 08:30 - 09:30 | Invited talk : The role of fault diagnosis in functional safety by Michał Bartyś (Warsaw University of Technology) | |
| 09:30 - 10:30 | Duality diagnosis design / Sequential diagnosis | |
| 09:30 - 10:00 | › The Duality of Design and Diagnosis - Johan de Kleer, Alex Feldman, Ion Matei | |
| 10:00 - 10:30 | › Evaluating Active Learning Heuristics for Sequential Diagnosis - Patrick Rodler, Wolfgang Schmid | |
| 10:30 - 11:00 | Tea & Coffee break | |
| 11:00 - 12:30 | Data based anomaly detection | |
| 11:00 - 11:30 | › 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 | |
| 11:30 - 12:00 | › LSTM for model-based Anomaly Detection in Cyber-Physical Systems - Benedikt Eiteneuer, Oliver Niggemann | |
| 12:00 - 12:30 | › Uncertain Dynamic Process Monitoring Using Moving Window PCA for Interval-Valued Data - Mohamed Faouzi Harkat, Tarek Ait Izem, Frédéric Kratz, Majdi Mansouri, Mohamed Nounou, Hazem Nounou | |
| 12:30 - 13:00 | DX'18 Business meeting and closing |
| Online user: 1 |
|
