Programm
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.
