default search action
35th DX 2024: Vienna, Austria
- Ingo Pill, Avraham Natan, Franz Wotawa:
35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, November 4-7, 2024, Vienna, Austria. OASIcs 125, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-356-0 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xvi
- Gerald Steinbauer-Wagner, Leo Fürbaß, Marco De Bortoli, Louise Travé-Massuyès:
A Hierarchical Monitoring and Diagnosis System for Autonomous Robots. 1:1-1:9 - Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Lars Bernd Vosteen:
A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. 2:1-2:15 - Lucas Lima Lopes, Louise Travé-Massuyès, Carine Jauberthie, Guillaume Alcalay:
A Review of Fault Diagnosis Techniques Applied to Aircraft Air Data Sensors. 3:1-3:20 - Daniel Jung, David Axelsson:
A Study on Redundancy and Intrinsic Dimension for Data-Driven Fault Diagnosis. 4:1-4:17 - Louise Travé-Massuyès, Franz Wotawa:
Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities. 5:1-5:15 - Ingo Pill, Johan de Kleer:
Challenges for Model-Based Diagnosis. 6:1-6:20 - Daniel Vranjes, Jonas Ehrhardt, René Heesch, Lukas Moddemann, Henrik Sebastian Steude, Oliver Niggemann:
Design Principles for Falsifiable, Replicable and Reproducible Empirical Machine Learning Research. 7:1-7:13 - Avraham Natan, Roni Stern, Meir Kalech, William Yeoh, Tran Cao Son:
Diagnosing Multi-Agent STRIPS Plans. 8:1-8:20 - Alexander Diedrich, René Heesch, Marco Bozzano, Björn Ludwig, Alessandro Cimatti, Oliver Niggemann:
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory. 9:1-9:19 - Lorenz Klampfl, Franz Wotawa:
Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems. 10:1-10:20 - Lukas Heppel, Andreas Gerhardus, Ferdinand Rewicki, Jan Christian Deeken, Günther Waxenegger-Wilfing:
Leveraging Causal Information for Multivariate Timeseries Anomaly Detection. 11:1-11:18 - Gianfranco Lamperti, Marina Zanella:
Minimalist Diagnosis of Discrete-Event Systems. 12:1-12:20 - Maxence Glotin, Louise Travé-Massuyès, Elodie Chanthery:
MSO Sets and MTES for Dummies. 13:1-13:15 - Adil Mukhtar, Thomas Hirsch, Gerald Schweiger:
One-Class Classification and Cluster Ensembles for Anomaly Detection and Diagnosis in Multivariate Time Series Data. 14:1-14:19 - Andrea Urgolo, Ingo Pill, Günther Waxenegger-Wilfing, Manuel Freiberger:
Property Learning-Based Fault Detection for Liquid Propellant Rocket Engine Control Systems. 15:1-15:20 - Austin Coursey, Marcos Quiñones-Grueiro, Gautam Biswas:
Quantifying the Sim-To-Real Gap in UAV Disturbance Rejection. 16:1-16:18 - Inbal Roshanski, Magenya Roshanski, Meir Kalech:
Real-Time Sensor Fault Detection in Drones: A Correlation-Based Algorithmic Approach. 17:1-17:20 - David Kaufmann, Matus Kozovsky, Franz Wotawa:
Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine. 18:1-18:21 - Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, Martin Leucker:
Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). 19:1-19:12 - Stan Muñoz Gutiérrez, Adil Mukhtar, Franz Wotawa:
Data-Driven Diagnosis of Electrified Vehicles: Results from a Structured Literature Review (Short Paper). 20:1-20:14 - Abel Díaz-González, Austin Coursey, Marcos Quiñones-Grueiro, Chetan S. Kulkarni, Gautam Biswas:
Data-Driven RUL Prediction Using Performance Metrics (Short Paper). 21:1-21:15 - Birgit Hofer, Franz Wotawa:
Detecting Soft Faults in Heat Pumps (Short Paper). 22:1-22:10 - Avraham Natan, Roni Stern, Meir Kalech:
Diagnosing Non-Intermittent Anomalies in Reinforcement Learning Policy Executions (Short Paper). 23:1-23:13 - Liliana Marie Prikler, Franz Wotawa:
Faster Diagnosis with Answer Set Programming (Short Paper). 24:1-24:13 - Herbert Mühlburger, Franz Wotawa:
FLEX: Fault Localization and Explanation Using Open-Source Large Language Models in Powertrain Systems (Short Paper). 25:1-25:14 - Rahma Bengamra, Soheib Fergani, Carine Jauberthie:
Hyperplanes Based Zonotopic Contractor (Short Paper). 26:1-26:13 - Charles-Maxime Gauriat, Yannick Pencolé, Pauline Ribot, Gregory Brouillet:
On a Method to Measure Supervised Multiclass Model's Interpretability: Application to Degradation Diagnosis (Short Paper). 27:1-27:14 - Mattias Krysander, Fatemeh Hashemniya:
Test Selection for Diagnosing Multimode Systems (Short Paper). 28:1-28:14 - Stan Muñoz Gutiérrez, Adil Mukhtar, Franz Wotawa:
Transformer-Based Signal Inference for Electrified Vehicle Powertrains (Short Paper). 29:1-29:14 - Swantje Plambeck, Maximilian Schmidt, Audine Subias, Louise Travé-Massuyès, Görschwin Fey:
Usability of Symbolic Regression for Hybrid System Identification - System Classes and Parameters (Short Paper). 30:1-30:14 - Silke Merkelbach, Alexander Diedrich, Anna Sztyber-Betley, Louise Travé-Massuyès, Elodie Chanthery, Oliver Niggemann, Roman Dumitrescu:
Using Multi-Modal LLMs to Create Models for Fault Diagnosis (Short Paper). 31:1-31:15 - René Heesch, Alessandro Cimatti, Jonas Ehrhardt, Alexander Diedrich, Oliver Niggemann:
Summary of "A Lazy Approach to Neural Numerical Planning with Control Parameters" (Extended Abstract). 32:1-32:3 - Patrick Rodler, Erich Teppan, Dietmar Jannach:
Summary of "Randomized Problem-Relaxation Solving for Over-Constrained Schedules" (Extended Abstract). 33:1-33:4 - Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao:
Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract). 34:1-34:2
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.