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.

Share on facebook
Share on linkedin
Share on twitter
Share on whatsapp
Share on xing
Share on email
Share on print