Program

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

Day 0

16:00 – 18:00 Welcome reception at the workshop location (6th floor of the building, follow the sings on site)

Day 1

09:00 – 09:15 Opening Words

09:15 – 10:00 Keynote: by Dr. Markus Durstewitz

10:00 – 13:00 MBD Workshop – Chair: Alexander Diedrich
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 at the workshop location

14:00 – 16:00 Data Based Workshop – Chair: Kaja Balzereit
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 at the Old Commercial Room

Day 2

09:00 – 09:45 Keynote: „Integration of structural and process knowledge to improve the diagnosis in industrial plants” by Prof. Dr.-Ing. Alexander Fay

10:00 – 13:00 Software Workshop – Chair: Samim Multaheb
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 at L’Osteria Hamburg Fischmarkt

14:00 – 16:00 New Approaches Workshop – Chair: Steven Dehlan
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 starting from the event location pier

Day 3

09:00 – 12:00 Control Systems Workshop – Chair: Bernd Zimmering
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 at the workshop location

HSU

Letzte Änderung: 10. September 2021