Search Results

Documents authored by Chanthery, Elodie


Document
Early Failure Prediction from Near-Anomaly Detection: A Proactive Approach

Authors: Léa Billet, Louise Travé-Massuyès, Elodie Chanthery, and Alexandre Gaffet

Published in: OASIcs, Volume 148, 37th International Conference on Principles of Diagnosis and Resilient Systems (DX 2026)


Abstract
Anomaly detection methods often have uncertain behavior with respect to samples near the distribution boundary, limiting their ability to anticipate future anomalies. This work introduces the concept of near-anomalies that, while not yet anomalous, lie close to the boundary and are likely to transition into anomalies in the near future. To address this, we propose an unsupervised method, named Christoffel-based ANomaly Anticipation for eaRly dIscovery (CANARI), which leverages the strong theoretical foundations of the Christoffel function to detect near-anomalies. The method is validated on industrial in-circuit testing data from printed circuit boards, with synthetically generated near-anomaly samples due to the lack of real-world data labeling. Experimental results show that CANARI outperforms the compared baselines that generally use a dual-threshold mechanism (one for anomalies and one for near-anomalies). It therefore provides a proactive solution for anticipating anomalies before they occur, offering a promising approach for resilience, predictive maintenance, and quality control.

Cite as

Léa Billet, Louise Travé-Massuyès, Elodie Chanthery, and Alexandre Gaffet. Early Failure Prediction from Near-Anomaly Detection: A Proactive Approach. In 37th International Conference on Principles of Diagnosis and Resilient Systems (DX 2026). Open Access Series in Informatics (OASIcs), Volume 148, pp. 4:1-4:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)


Copy BibTex To Clipboard

@InProceedings{billet_et_al:OASIcs.DX.2026.4,
  author =	{Billet, L\'{e}a and Trav\'{e}-Massuy\`{e}s, Louise and Chanthery, Elodie and Gaffet, Alexandre},
  title =	{{Early Failure Prediction from Near-Anomaly Detection: A Proactive Approach}},
  booktitle =	{37th International Conference on Principles of Diagnosis and Resilient Systems (DX 2026)},
  pages =	{4:1--4:18},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-455-0},
  ISSN =	{2190-6807},
  year =	{2026},
  volume =	{148},
  editor =	{Pill, Ingo and Zanella, Marina and Provan, Gregory},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2026.4},
  URN =		{urn:nbn:de:0030-drops-278189},
  doi =		{10.4230/OASIcs.DX.2026.4},
  annote =	{Keywords: Unsupervised anomaly detection, Christoffel function, Near-anomalies}
}
Document
Geometric Feature Selection for Interpretable SVM Classifiers in Cyber-Physical Systems

Authors: Leonie Hatte, Pauline Ribot, and Elodie Chanthery

Published in: OASIcs, Volume 148, 37th International Conference on Principles of Diagnosis and Resilient Systems (DX 2026)


Abstract
Identifying mode-transition conditions in Cyber-Physical Systems (CPS) is fundamental to model-based diagnosis, but learning them from scarce, multivariate time-series data requires boundary expressions that remain interpretable in physical variables. A central challenge is that some features are actively detrimental: their inclusion distorts the orientation of the learned boundary, degrading robustness to future crossings without affecting training accuracy. We introduce SVM-GRFE (Geometric Recursive Feature Elimination for SVM), a feature selection method that operates on polynomial monomials rather than raw variables, jointly assessing accuracy and geometric criteria that capture each monomial’s structural role in boundary orientation; the boundary is back-projected analytically to an explicit polynomial inequality in physical variables. We prove SVM-GRFE returns an interpretable, geometrically stable, and robust boundary. On seven synthetic scenarios, SVM-GRFE achieves 33%-85% monomial reduction, matches or outperforms SVM-RFE in five out of seven scenarios and consistently outperforms SVM-RFE under noise at equal complexity, most notably under heteroscedastic noise.

Cite as

Leonie Hatte, Pauline Ribot, and Elodie Chanthery. Geometric Feature Selection for Interpretable SVM Classifiers in Cyber-Physical Systems. In 37th International Conference on Principles of Diagnosis and Resilient Systems (DX 2026). Open Access Series in Informatics (OASIcs), Volume 148, pp. 6:1-6:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)


Copy BibTex To Clipboard

@InProceedings{hatte_et_al:OASIcs.DX.2026.6,
  author =	{Hatte, Leonie and Ribot, Pauline and Chanthery, Elodie},
  title =	{{Geometric Feature Selection for Interpretable SVM Classifiers in Cyber-Physical Systems}},
  booktitle =	{37th International Conference on Principles of Diagnosis and Resilient Systems (DX 2026)},
  pages =	{6:1--6:20},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-455-0},
  ISSN =	{2190-6807},
  year =	{2026},
  volume =	{148},
  editor =	{Pill, Ingo and Zanella, Marina and Provan, Gregory},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2026.6},
  URN =		{urn:nbn:de:0030-drops-278200},
  doi =		{10.4230/OASIcs.DX.2026.6},
  annote =	{Keywords: Feature Selection, SVM, Geometric boundary learning, CPS}
}
Document
Are Diagnostic Concepts Within the Reach of LLMs?

Authors: Anna Sztyber-Betley, Elodie Chanthery, Louise Travé-Massuyès, Silke Merkelbach, Karol Kukla, Maxence Glotin, Alexander Diedrich, and Oliver Niggemann

Published in: OASIcs, Volume 136, 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)


Abstract
Model-based diagnosis is a cornerstone of system health monitoring, allowing for the identification of faulty components based on observed behavior and a formal system model. However, obtaining a useful and reliable model is often an expensive and manual task. While the generation of a formal model was the aim of previous work, in this paper, we propose a methodology to use large language models to generate Minimal Structurally Overdetermined sets (MSOs). MSOs are specific subsets of the model equations from which diagnosis tests can be obtained. We investigate two different directions: (i) the large-language-models' ability to generate MSO sets for hybrid systems, similar to those generated by the well-known Fault Diagnosis Toolbox (FDT) (ii) the automated generation of MSOs for Boolean circuits, as well as the computation of the diagnoses. We thus show how both dynamic and static systems can be analysed by large-language models and how their output can be used for effective fault diagnosis. We evaluate our approach on a set of arithmetic and logic circuits, using OpenAI’s LLMs 4o-mini, o1, and o3-mini.

Cite as

Anna Sztyber-Betley, Elodie Chanthery, Louise Travé-Massuyès, Silke Merkelbach, Karol Kukla, Maxence Glotin, Alexander Diedrich, and Oliver Niggemann. Are Diagnostic Concepts Within the Reach of LLMs?. In 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025). Open Access Series in Informatics (OASIcs), Volume 136, pp. 2:1-2:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)


Copy BibTex To Clipboard

@InProceedings{sztyberbetley_et_al:OASIcs.DX.2025.2,
  author =	{Sztyber-Betley, Anna and Chanthery, Elodie and Trav\'{e}-Massuy\`{e}s, Louise and Merkelbach, Silke and Kukla, Karol and Glotin, Maxence and Diedrich, Alexander and Niggemann, Oliver},
  title =	{{Are Diagnostic Concepts Within the Reach of LLMs?}},
  booktitle =	{36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)},
  pages =	{2:1--2:20},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-394-2},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{136},
  editor =	{Quinones-Grueiro, Marcos and Biswas, Gautam and Pill, Ingo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.2},
  URN =		{urn:nbn:de:0030-drops-247913},
  doi =		{10.4230/OASIcs.DX.2025.2},
  annote =	{Keywords: Fault Diagnosis, Large Language Models, LLMs, Model Based Diagnosis, MSO, Redundancy Relations, Conflicts, Diagnoses}
}
Document
MSO Sets and MTES for Dummies

Authors: Maxence Glotin, Louise Travé-Massuyès, and Elodie Chanthery

Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)


Abstract
Structural analysis-based diagnosis allows for the extraction of a wealth of information and properties by studying a structural model that represents a physical system. This diagnosis approach is centered on structurally overdetermined sets, which enable the generation of residuals for fault detection and isolation. As the 'for Dummies' editorial collection, this article aims at taking on complex concepts and making them easy to understand. It aims to clarify and compare key concepts in structural analysis, focusing on Minimally Structurally Overdetermined (MSO) sets and Minimal Test Equation Supports (MTES). Additionally, we explain and illustrate the Dulmage-Mendelsohn decomposition, which helps identify structurally overdetermined parts of the system and plays a important role in the structural analysis process. Through detailed exploration and practical examples, we demonstrate the roles, applications, and interrelations of these sets, highlighting their respective strengths and limitations. The paper provides an overview of the algorithms used to identify and use these sets, including a theoretical and practical comparison of their computational efficiency and diagnostic capabilities.

Cite as

Maxence Glotin, Louise Travé-Massuyès, and Elodie Chanthery. MSO Sets and MTES for Dummies. In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 13:1-13:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@InProceedings{glotin_et_al:OASIcs.DX.2024.13,
  author =	{Glotin, Maxence and Trav\'{e}-Massuy\`{e}s, Louise and Chanthery, Elodie},
  title =	{{MSO Sets and MTES for Dummies}},
  booktitle =	{35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)},
  pages =	{13:1--13:15},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-356-0},
  ISSN =	{2190-6807},
  year =	{2024},
  volume =	{125},
  editor =	{Pill, Ingo and Natan, Avraham and Wotawa, Franz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.13},
  URN =		{urn:nbn:de:0030-drops-221054},
  doi =		{10.4230/OASIcs.DX.2024.13},
  annote =	{Keywords: Structural analysis, MTES, MSO sets}
}
Document
Short Paper
Using Multi-Modal LLMs to Create Models for Fault Diagnosis (Short Paper)

Authors: Silke Merkelbach, Alexander Diedrich, Anna Sztyber-Betley, Louise Travé-Massuyès, Elodie Chanthery, Oliver Niggemann, and Roman Dumitrescu

Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)


Abstract
Creating models that are usable for fault diagnosis is hard. This is especially true for cyber-physical systems that are subject to architectural changes and may need to be adapted to different product variants intermittently. We therefore can no longer rely on expert-defined and static models for many systems. Instead, models need to be created more cheaply and need to adapt to different circumstances. In this article we present a novel approach to create physical models for process industry systems using multi-modal large language models (i.e ChatGPT). We present a five-step prompting approach that uses a piping and instrumentation diagram (P&ID) and natural language prompts as its input. We show that we are able to generate physical models of three systems of a well-known benchmark. We further show that we are able to diagnose faults for all of these systems by using the Fault Diagnosis Toolbox. We found that while multi-modal large language models (MLLMs) are a promising method for automated model creation, they have significant drawbacks.

Cite as

Silke Merkelbach, Alexander Diedrich, Anna Sztyber-Betley, Louise Travé-Massuyès, Elodie Chanthery, Oliver Niggemann, and Roman Dumitrescu. Using Multi-Modal LLMs to Create Models for Fault Diagnosis (Short Paper). In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 31:1-31:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@InProceedings{merkelbach_et_al:OASIcs.DX.2024.31,
  author =	{Merkelbach, Silke and Diedrich, Alexander and Sztyber-Betley, Anna and Trav\'{e}-Massuy\`{e}s, Louise and Chanthery, Elodie and Niggemann, Oliver and Dumitrescu, Roman},
  title =	{{Using Multi-Modal LLMs to Create Models for Fault Diagnosis}},
  booktitle =	{35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)},
  pages =	{31:1--31:15},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-356-0},
  ISSN =	{2190-6807},
  year =	{2024},
  volume =	{125},
  editor =	{Pill, Ingo and Natan, Avraham and Wotawa, Franz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.31},
  URN =		{urn:nbn:de:0030-drops-221236},
  doi =		{10.4230/OASIcs.DX.2024.31},
  annote =	{Keywords: Fault Diagnosis, Large Language Models, LLMs, Physical Modelling, Process Industry, P\&IDs}
}

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail