Accepted Papers

The program committee reviewed 29 submissions (including resubmissions), out of which 19 (65,5%) will appear in our archival open access conference proceedings that will be published by Dagstuhl as Volume 148 in the OASICS (Open Access Series in Informatics) series. The program is complemented also with presentations of papers that were not accepted for the proceedings.

Preliminary list of papers in the conference proceedings (ordered as they will be presented at the conference). Note that the four best paper award candidates are marked with an (AC) in the title, and we marked also short papers, encore papers, and DX Competition papers in this list:

• (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
• (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
• (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
• 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é
• 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
• 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
• (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
• (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