DX 2024
Mon 4 - Thu 7 November 2024 Vienna, Austria
DX 2024 (series) /

Schedule

Roughly speaking, we will start our program with an opening on Monday at 1:50 PM and will close the workshop after lunch on Thursday at 2 PM. On Monday, there will be two technical presentation sessions after the opening and a welcome reception at 6 PM. Tuesday will begin with keynote talks by Dimitris E. Simos and Günther Waxenegger-Wilfing. The rest of the day will be dedicated to a poster session and two technical presentation sessions. Wednesday will begin with two technical presentation sessions followed by the business meeting. In the second half of the day, we will have the social event followed by the banquet dinner (details TBA). On Thursday morning, we will have a keynote talk by Sophie Rogenhofer, followed by the last technical presentation session of the conference. After that, we will have a closing before lunch.

Info for our presenters: each paper will be allotted 30 minutes (including Q&A), please prepare presentations between 20 and 22 minutes so that there is enough time for discussions.

We marked the candidates for the DX’24 Best Paper Award with the prefix AC: in the titles. More information about the best paper award will be added soon to a dedicated best paper page (TBA).

Important details for the social program: If you loose the group for one or the other reason, you can rejoin us easily at some points along out program: at 15:30 we will enjoy some experimental demonstration at the Vienna Technical Museum (https://g.co/kgs/NbU2zrL). So if you are at the museum some time before that you should be able to find us. From around 18:00 we will enjoy dinner at a Heurigen (Mayer am Pfarrplatz, Pfarrplatz 2, 1190 Wien).

Program November 4-7, 2024

Monday, Nov. 4th
13:50 - 14:00 Opening chaired by Franz Wotawa, Ingo Pill, Avraham Natan
14:00 - 15:30 Paper Session 1 chaired by Alexander Diedrich
  • Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities, by Louise Travé-Massuyès and Franz Wotawa
  • AC: Challenges for Model-Based Diagnosis, by Ingo Pill and Johan de Kleer
  • AC: MSO sets and MTES for dummies, by Maxence Glotin, Louise Travé-Massuyès and Elodie Chanthery
15:30 - 16:00 Coffee Break
16:00 - 17:30 Paper Session 2 chaired by Martin Sachenbacher
  • A Hierarchical Monitoring and Diagnosis System for Autonomous Robots, by Gerald Steinbauer-Wagner, Leo Fürbaß, Marco De Bortoli and Louise Travé-Massuyès
  • Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems, by Lorenz Klampfl and Franz Wotawa
  • A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies, by Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn and Lars Bernd Vosteen
18:00 Welcome Reception

Tuesday, Nov. 5th
9:00 - 9:50 Combinatorial Methods beyond Testing: Optimizing Disaster Scenarios to Strengthen Disaster Preparedness and Resilience
DX'24 keynote by Dimitris E. Simos, Key Researcher, Applied Discrete Mathematics for Information Security research area, Head of MATRIS Research Group, SBA Research, hosted by Ingo Pill
9:50 - 10:40 Rocket engine control through deep reinforcement learning
DX'24 keynote by Günther Waxenegger-Wilfing, Professor of Intelligent Space and Energy Systems, University of Würzburg, Head of the Applied AI Group, DLR Institute of Space Propulsion, hosted by Avraham Natan
10:40 - 11:00 Coffee Break
11:00 - 13:00 Poster Session chaired by Avraham Natan
  1. Diagnosing Non-Intermittent Anomalies in Reinforcement Learning Policy Executions, by Avraham Natan, Roni Stern and Meir Kalech
  2. Usability of Symbolic Regression for Hybrid System Identification - System Classes and Parameters, by Swantje Plambeck, Maximilian Schmidt, Audine Subias, Louise Travé-Massuyès and Goerschwin Fey
  3. Using Multi-Modal LLMs to Create Models for Fault Diagnosis, by Silke Merkelbach, Alexander Diedrich, Anna Sztyber-Betley, Louise Travé-Massuyès, Elodie Chanthery, Oliver Niggemann and Roman Dumitrescu
  4. Data-Driven Diagnosis of Electrified Vehicles: Results From a Structured Literature Review, by Stan Muñoz Gutiérrez, Adil Mukhtar and Franz Wotawa
  5. Faster Diagnosis with Answer Set Programming, by Liliana Marie Prikler and Franz Wotawa
  6. Hyperplanes Based Zonotopic Contractor, by Rahma Bengamra, Soheib Fergani and Carine Jauberthie
  7. Test Selection for Diagnosing Multimode Systems, by Mattias Krysander and Fatemeh Hashemniya
  8. On a Method to Measure Supervised Multiclass Model’s Interpretability: Application to Degradation Diagnosis, by Charles-Maxime Gauriat, Yannick Pencolé, Pauline Ribot and Gregory Brouillet
  9. FLEX: Fault Localization and Explanation Using Open-Source Large Language Models in Powertrain Systems, by Herbert Mühlburger and Franz Wotawa
  10. Achieving Complete Structural Test Coverage in Embedded Systems using Trace-based Monitoring, by Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, and Martin Leucker
  11. Data-Driven RUL Prediction Using Performance Metrics, by Abel Diaz-Gonzalez, Austin Coursey, Marcos Quinones-Grueiro, Chetan S. Kulkarni and Gautam Biswas
  12. Detecting Soft Faults in Heat Pumps, by Birgit Hofer and Franz Wotawa
  13. Transformer-Based Signal Inference for Electrified Vehicle Powertrains, by Stan Muñoz Gutiérrez, Adil Mukhtar and Franz Wotawa
13:00 - 14:00 Lunch
14:00 - 15:30 Paper Session 3 chaired by Mattias Nyberg
  • Summary of A Lazy Approach to Neural Numerical Planning with Control Parameters, by René Heesch, Alessandro Cimatti, Jonas Ehrhardt, Alexander Diedrich and Oliver Niggemann
  • Summary of Sequence-Oriented Diagnosis of Discrete-Event Systems, by Gianfranco Lamperti, Stefano Trerotola, Marina Zanella and Xiangfu Zhao
  • Summary of Randomized Problem-Relaxation Solving for Over-Constrained Schedules, by Patrick Rodler, Erich Teppan and Dietmar Jannach
15:30 - 16:00 Coffee Break
16:00 - 17:30 Paper Session 4 chaired by Daniel Jung
  • A Review of Fault Diagnosis Techniques Applied to Aircraft Air Data Sensors, by Lucas Gabriel Lima Lopes, Louise Travé-Massuyès, Carine Jauberthie and Guillaume Alcalay
  • Quantifying the Sim-To-Real Gap in UAV Disturbance Rejection, by Austin Coursey, Marcos Quiñones-Grueiro, Luis Alvarez and Gautam Biswas
  • Real-Time Sensor Fault Detection in Drones: A Correlation-Based Algorithmic Approach, by Inbal Roshanski, Magenya Roshanski and Meir Kalech

Wednesday, Nov. 6th
9:00 - 10:00 Paper Session 5 chaired by Elodie Chanthery
  • AC: A Study on Redundancy and Intrinsic Dimension for Data-Driven Fault Diagnosis, by Daniel Jung and David Axelsson
  • Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory, by Alexander Diedrich, René Heesch, Marco Bozzano, Björn Ludwig, Alessandro Cimatti and Oliver Niggemann
10:00 - 10:30 Coffee Break
10:30 - 12:00 Paper Session 6, chaired by Pauline Ribot
  • Design Principles for Falsifiable, Replicable and Reproducible Empirical Machine Learning Research, by Daniel Vranješ, Jonas Ehrhardt, René Heesch, Lukas Moddemann, Henrik Sebastian Steude and Oliver Niggemann
  • Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine, by David Kaufmann, Franz Wotawa and Matus Kozovsky
  • Property Learning-Based Fault Detection for Liquid Propellant Rocket Engine Control Systems, by Andrea Urgolo, Ingo Pill, Günther Waxenegger-Wilfing and Manuel Freiberger
12:00 - 13:00 Business Meeting chaired by DX steering committee chair Ingo Pill
13:00 - 13:50 Lunch
14:00 - 18:00 Social Event (pick-up at 13:50 in front of hotel; high voltage show at 15:30 at Technisches Museum, Mariahilfer Straße 212, 1140 Wien)
18:00 Banquet Dinner (Mayer am Pfarrplatz, Pfarrplatz 2, 1190 Wien)

Thursday, Nov. 7th
9:00 - 10:00 Sustainability at Siemens - Scaling sustainability impact
DX'24 keynote by Sophie Rogenhofer, Product Configuration Expert, Project Manager, Siemens Foundational Technology, Data Analytics and AI, hosted by Franz Wotawa
10:00 - 10:30 Coffee Break
10:30 - 12:30 Paper Session 7 chaired by Marcos Quinones-Grueiro
  • AC: Diagnosing Multi-Agent STRIPS Plans, by Avraham Natan, Roni Stern, Meir Kalech, William Yeoh and Tran Cao Son
  • Minimalist Diagnosis of Discrete-Event Systems, by Gianfranco Lamperti and Marina Zanella
  • Leveraging Causal Information for Multivariate Timeseries Anomaly Detection, by Lukas Heppel, Andreas Gerhardus, Ferdinand Rewicki, Jan Deeken and Günther Waxenegger-Wilfing
  • One-Class Classification and Cluster Ensembles for Anomaly Detection and Diagnosis in Multivariate Time Series Data, by Adil Mukhtar, Thomas Hirsch and Gerald Schweiger
12:30 - 13:00 Closing chaired by Ingo Pill, Avraham Natan and Franz Wotawa
13:00 - 14:00 Lunch