Schedule

Monday, Nov. 4^th

• 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

• 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

Tuesday, Nov. 5^th

• Diagnosing Non-Intermittent Anomalies in Reinforcement Learning Policy Executions, by Avraham Natan, Roni Stern and Meir Kalech
• 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
• 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
• Data-Driven Diagnosis of Electrified Vehicles: Results From a Structured Literature Review, by Stan Muñoz Gutiérrez, Adil Mukhtar and Franz Wotawa
• Faster Diagnosis with Answer Set Programming, by Liliana Marie Prikler and Franz Wotawa
• Hyperplanes Based Zonotopic Contractor, by Rahma Bengamra, Soheib Fergani and Carine Jauberthie
• Test Selection for Diagnosing Multimode Systems, by Mattias Krysander and Fatemeh Hashemniya
• 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
• FLEX: Fault Localization and Explanation Using Open-Source Large Language Models in Powertrain Systems, by Herbert Mühlburger and Franz Wotawa
• Achieving Complete Structural Test Coverage in Embedded Systems using Trace-based Monitoring, by Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, and Martin Leucker
• Data-Driven RUL Prediction Using Performance Metrics, by Abel Diaz-Gonzalez, Austin Coursey, Marcos Quinones-Grueiro, Chetan S. Kulkarni and Gautam Biswas
• Detecting Soft Faults in Heat Pumps, by Birgit Hofer and Franz Wotawa
• Transformer-Based Signal Inference for Electrified Vehicle Powertrains, by Stan Muñoz Gutiérrez, Adil Mukhtar and Franz Wotawa

• 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

• 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. 6^th

• 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

• 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

Thursday, Nov. 7^th

• 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