,
Roxane Koitz-Hristov
,
Franz Wotawa
Creative Commons Attribution 4.0 International license
This paper presents an initial investigation into the combination of qualitative simulation and machine learning for fault detection in cyber-physical systems. In recent years, the detection and diagnosis of faults in cyber-physical systems has become increasingly dependent on machine learning. However, supervised machine learning approaches rely on large labelled datasets, which are rarely available during the initial deployment phase. In systems such as smart buildings, faults occur rarely, and even the nominal behaviour of a system can vary across structurally identical installations. We therefore propose a framework that addresses this issue by generating weak supervision labels using qualitative reasoning. Given a qualitative model that captures the system’s nominal behaviour, we use a conformance check to determine whether the system traces are likely to be faulty or not. These binary pseudo-labels are then used to train a downstream classifier. Unlike statistical anomaly detection or self-supervised techniques, the generated supervision signal is based on physical consistency rather than deviations from a learned baseline. We evaluate our approach on four benchmarks relating to electrical, fluid, mechanical and thermal dynamics, comparing our methodology with unsupervised anomaly detection and supervised learning with limited labels. Our initial experiments suggest that, while qualitative conformance checks can provide usable training signals when labelled data is unavailable, their effectiveness depends on the discriminative structure of the qualitative model.
@InProceedings{das_et_al:OASIcs.DX.2026.11,
author = {Das, Ankita and Koitz-Hristov, Roxane and Wotawa, Franz},
title = {{QSIM-Guided Weak Supervision for Fault Detection in Cyber-Physical Systems}},
booktitle = {37th International Conference on Principles of Diagnosis and Resilient Systems (DX 2026)},
pages = {11:1--11: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.11},
URN = {urn:nbn:de:0030-drops-278254},
doi = {10.4230/OASIcs.DX.2026.11},
annote = {Keywords: Qualitative Simulation, Fault Detection, Outlier Detection}
}