32nd International Workshop on Principle of Diagnosis – DX 2021 Workshop in Hamburg, Germany, September 13th – 15th, 2021 @ARIC


Dear participants, the following schedules are not final yet and may change.
The DX-21 workshop is free of charge.


Day 0

16:00 – Welcome reception at the workshop location


Day 1

09:00 – 10:00 Welcome Keynote

10:00 – 13:00 Workshops

10:00 A SAT-Based Encoding for Finding a Minimal Automated Test Pattern Generation Test-Suite
Alexander Feldman, Mikolas Janota, Alexandre Perez and Johan de Kleer

10:40 Integrating multiple observation sets into consistency-based diagnosis
Franz Wotawa

11:20 A Holistic Advanced Diagnosis Approach For Systems Under Uncertainty
Amaury Vignolles, Elodie Chanthery and Pauline Ribot

12:00 Diagnosis of hidden faults in the RCLL
Marco De Bortoli, Stalin Muñoz Gutiérrez and Gerald Steinbauer


13:00 – 14:00 Lunch

14:00 – 16:00 Workshops

14:00 Clustering of Similar Historical Alarm Subsequences Using Alarm Series and Characteristic Coactivations
Gianluca Manca, Marcel Dix and Alexander Fay

14:40 Automata Learning Enabling Model-Based Diagnosis
Edi Muskardin, Ingo Pill, Martin Tappler and Bernhard K. Aichernig

15:20 Deep Learning vs. Classical Model-Based Fault Detection in Industrial Heating-Cooling Systems
Klaus René Garcia Rosas, Martin Zimmer and Bernhard Nebel

17:00 – 18:00 Guided tour of the St. Michael’s church and organ

18:30 – 21:00 Dinner in a traditional maritime restaurant


Day 2

09:00 – 10:00 Keynote

10:00 – 13:00 Workshops

10:00 Cross-Project Smell-Based Defect Prediction
Bruno Sotto-Mayor and Meir Kalech

10:40 Bugs Assignment for Workload Distribution
Argaman Mordoch, Avraham Natan, Amir Elmishali and Meir Kalech

11:20 Issue-Driven Features for Software Fault Prediction
Amir Elmishali and Meir Kalech

12:00 On using distributed representations of source code for the detection of C security vulnerabilities
David Coimbra, Sofia Reis, Rui Abreu, Corina Pasareanu and Hakan Erdogmus

13:00 – 14:00 Lunch

14:00 – 16:00 Workshops

14:00 A Model Checking method to solve the event pattern diagnosis problem in safe labeled time Petri nets
Yannick Pencolé, Audine Subias and Camille Coquand

14:40 Generating Diagnosis Models using Integrated Physics-Based/Machine Learning Techniques: A Critical Comparison
Gregory Provan

15:20 Leakage localization in water distribution system using heuristic method
Anna Sztyber, Jan Kościelny and Bartłomiej Fajdek

16:30 – 18:30 Harbour boat tour


Day 3

09:00 – 12:00 Workshops

09:00 Comparative study of fault distinguishability based on bi- and three-valued diagnostic signals
Jan Koscielny and Michal Bartys

09:40 Adaptive Model-based Control with Reinforcement Learning for Fault Tolerance
Luke Bhan, Marcos Quinones-Grueiro and Gautam Biswas

10:20 Policy reuse for transfer reinforcement learning in fault-tolerant control
Ibrahim Ahmed, Marcos Quinones-Grueiro and Gautam Biswas

11:00 Sound and Complete Reconfiguration for a Class of Hybrid Systems
Kaja Balzereit and Oliver Niggemann


12:00 – 13:00 Lunch

The DX2021 is hosted by the Helmut-Schmidt-University / Universität der Bundeswehr Hamburg and the Artificial Intelligence Center Hamburg (ARIC) e.V.