


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














