| | |
| | |
| | |
| | |
Tuesday, September 1st
|
| | |
| | |
| | |
| | |
|
|
08:30 - 09:00
|
DX and TIME registration
|
|
|
09:00 - 09:20
|
Opening - shared with TIME chaired by Gregory Provan, Marina Zanella, Andrea Orlandini, Sophie Pinchinat, and Ingo Pill
|
|
|
9:30 - 10:30
|
Engineering Resilience for Critical Infrastructure
DX'26 invited talk by Prof. Utz Roedig, Professor of Security and AI, UCC, hosted by Gregory Provan
|
| | |
|
|
10:30 - 11:00
|
Coffee Break
|
| | |
|
|
11:00 - 12:00
|
DX Paper Session 1
- (AC) On the Practical Utility of Diagnoses, by Ingo Pill and Johan de Kleer
- HSU TwinFlow: A Living Benchmark for Evaluating Data-Driven Methods for Anomaly Detection and Diagnosis in Cyber-Physical Production Systems Using Digital-Twin-Generated Data, by Nemanja Hranisavljevic, Alexander Diedrich, Lukas Moddemann, Domenic Schaeffer, Frank Marek, Ingo Pill and Oliver Niggemann
|
| | |
|
|
12:00 - 13:00
|
Lunch
|
| | |
|
|
13:00 - 14:30
|
DX Paper Session 2
- (Encore) Summary of: Modelling Cyber-Physical Systems for Fault Diagnosis, by Alexander Diedrich, Mattias Krysander, René Heesch and Oliver Niggemann
- (Encore) Uncertainty-Aware Fault Diagnosis of Unknown Faults Using Ensemble-Based NODE Residuals, by Daniel Jung and Theodor Westny
- FELIX: Model Repair in Numeric Planning, by Nir Aharoni, Yarin Benyamin, Shiwali Mohan and Roni Stern
|
| | |
|
|
14:30 - 15:00
|
Coffee Break
|
| | |
|
|
15:00 - 16:30
|
DX Paper Session 3
- (DX Competition) Physics-Informed ML Diagnostic Engine: DXC’26 LiU-ICE Track Solution by Antoni Rogowski and Anna Sztyber-Betley
- A Geometric Theory of Model-Based Diagnosis, by Gregory Provan
- (AC) Early Failure Prediction from Near-Anomaly Detection: A Proactive Approach, by Léa Billet, Louise Travé-Massuyès, Elodie Chanthery and Alexandre Gaffet
|
|
|
16:30 - 18:00
|
DX Ph.D. panel chaired by Marina Zanella, expert feedback by Johan de Kleer and Franz Wotawa
- Felix Janzen: Fault Diagnosis of Pump Systems with Surrogate Foundation Models: A Simulation-First, Industry-Validated ApproachUnsupervised Multimodal Learning for Fault Diagnosis and Prognosis
- Lukas Moddemann: Learning Interpretable System Representations for Root-Cause Diagnosis from Time Series Data
|
| | |
|
|
18:00 - 20:00
|
(Preliminary Schedule) DX and TIME Welcome Reception chaired by the DX'26 and TIME'26 chairs Gregory Provan, Marina Zanella, Andrea Orlandini, Sophie Pinchinat and Ingo Pill
|
| | |
| | |
| | |
| | |
Wednesday, September 2nd (Joint Program with TIME)
|
| | |
| | |
| | |
| | |
|
|
8:50 - 9:00
|
Announcements of the day (social event)
|
|
|
9:00 - 10:30
|
From Runtime Verification to Model-Based Diagnosis
DX'26 and TIME'26 keynote by Alessandro Cimatti, Director of Fondazione Bruno Kessler's Digital Industry Center, hosted by Ingo Pill and Andrea Orlandini
|
| | |
|
|
10:30 - 11:00
|
Coffee Break
|
| | |
|
|
11:00 - 12:00
|
Joint Paper Session 1 chaired by Marina Zanella
- Planning Domain Repair using Preferred Plans and Background Knowledge, by Thomas Eckstein and Gerald Steinbauer
- (AC) Reinforcement Learning-Driven Predictive Maintenance Planning via Timed Automata Modeling, by Ferhat Tamssaouet, Pauline Ribot and Yannick Pencolé
|
| | |
|
|
12:00 - 13:00
|
Lunch
|
| | |
|
|
13:00 - 14:30
|
Joint Paper Session 2 chaired by Andrea Orlandini
- A Multi-Scale Process for Mining and Abstracting Environmental Spatiotemporal Graphs, by Assaad Zeghina, Aurélie Leborgne, Florence Le Ber and Antoine Vacavant
- The Satisfiability Problem of Temporal-Spatial Logics over Quasi-Temporal Graphs, by Eric Alsmann, Martin Lange and Igor Semezies
- Dynamic Quantitative Skill Distribution in Multi-Agent Temporal Planning as SMT, by Josselin Guéneron and Frédéric Maris
|
| | |
|
|
14:30 - 15:00
|
(Preliminary Schedule) Preparations for the Social Event: Boarding the Bus
|
|
|
15:00 - 21:30
|
(Preliminary Schedule) Social Event: Bus Tour to Kinsale, Kinsale Tour, Scenic Walk, Gala Dinner, Return to Cork chaired by Gregory Provan
|
| | |
| | |
| | |
| | |
Thursday, September 3rd
|
| | |
| | |
| | |
| | |
|
|
9:00 - 10:30
|
DX Paper Session 4
- Using SMLs and LLMs for Diagnosis, by Sophia Plank and Franz Wotawa
- Geometric feature selection for interpretable SVM classifiers in cyber-physical systems, by Léonie Hatte, Pauline Ribot and Elodie Chanthery
- An Explainable GNN Framework for Component-Level Anomaly Diagnosis, by Sena Ozgunay, Louise Travé-Massuyès, Jean Michel Loubes and Raul Sena Ferreira
|
| | |
|
|
10:30 - 11:00
|
Coffee Break
|
| | |
|
|
11:30 - 12:00
|
DX Paper Session 5
- QSIM-Guided Weak Supervision for Fault Detection in Cyber-Physical Systems, by Ankita Das, Roxane Koitz-Hristov and Franz Wotawa
- (AC) Hybrid Fault Detection and Isolation for the Fuel Turbopump Subsystem of the LOX/LNG Expander-Bleed Rocket Engine LUMEN, by Eldin Kurudzija, Kai Dresia, Günther Waxenegger-Wilfing, Marcos Quinones-Grueiro, Austin Coursey and Gautam Biswas
|
| | |
|
|
12:00 - 13:00
|
Lunch
|
| | |
|
|
13:00 - 14:00
|
DX Paper Session 6
- (Short) When Dynamic Slicing Helps and Hurts Spectrum-Based Fault Localization: Evidence from an Expanded TCAS Benchmark, by Iulia Nica and Franz Wotawa
- Dissecting NetDoktor With Entropy, Tree Simplification & Logical Abduction, by Alexander Perko, Emir Mujić and Franz Wotawa
|
|
|
14:00 - 15:00
|
Coffee Break and DX Poster Session
- (Short) Counterfactual Fault Responsibility in a Dynamic Structural Causal Model of a DC Motor, by Emir Mujić and Franz Wotawa
- A General Diagnostic System Specification: Integrating Diagnostic Approaches, by Gregory Provan
- (Work in Progress) A Unified Framework for Runtime Verification and Model-Based Diagnosis in Lola, by Raik Hipler, Martin Leucker and Patrick Rodler
- Towards Model-based Run-time Cybersecurity: On Control-Flow Anomaly Detection, Attack Identification, and Hardware Monitoring, Martin Sachenbacher, Martin Leucker, Alexander Weiss and Aliyu Tanko Ali
|
|
|
15:00 - 16:00
|
DX Business Meeting, DX Competition and DX Award Ceremony chaired by Ingo Pill
|
|
|
16:00 - 16:20
|
Closing ceremony chaired by Gregory Provan, Marina Zanella and Ingo Pill
|