Document Open Access Logo

Summary Of: Modelling Cyber-Physical Systems for Fault Diagnosis (Extended Abstract)

Authors Alexander Diedrich , Mattias Krysander , René Heesch , Oliver Niggemann

PDF

File

Thumbnail PDF
PDF
OASIcs.DX.2026.18.pdf
  • Filesize: 0.52 MB
  • 6 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Computing methodologies → Knowledge representation and reasoning
Keywords
  • Fault Diagnosis
  • SMT
  • Multimode Systems

Metrics

Abstract

This is an extended abstract of the manuscript 'Modelling Cyber-Physical Systems for Fault Diagnosis' [Diedrich et al., 2025] that was published in the journal IEEE Transactions on Systems, Man, and Cybernetics in December 2025.

Cite As Get BibTex

Alexander Diedrich, Mattias Krysander, René Heesch, and Oliver Niggemann. Summary Of: Modelling Cyber-Physical Systems for Fault Diagnosis (Extended Abstract). In 37th International Conference on Principles of Diagnosis and Resilient Systems (DX 2026). Open Access Series in Informatics (OASIcs), Volume 148, pp. 18:1-18:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/OASIcs.DX.2026.18

Author Details

Alexander Diedrich
  • Helmut-Schmidt-University, Hamburg, Germany
Mattias Krysander
  • Linköping University, Sweden
René Heesch
  • Helmut-Schmidt-University, Hamburg, Germany
Oliver Niggemann
  • Helmut-Schmidt-University, Hamburg, Germany

Funding

  • Heesch, René: This research as part of the project EKI is funded by dtec.bw – Digitalization and Technology Research Center of the Bundeswehr, which we gratefully acknowledge.

References

  1. Kaja Balzereit, Alexander Diedrich, Jonas Ginster, Stefan Windmann, and Oliver Niggemann. An ensemble of benchmarks for the evaluation of ai methods for fault handling in cpps. In 19th IEEE International Conference on Industrial Informatics, November 2021. Google Scholar
  2. Andreas Bunte, Benno Stein, and Oliver Niggemann. Model-based diagnosis for cyber-physical production systems based on machine learning and residual-based diagnosis models. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 33(01), pages 2727-2735, 2019. URL: https://doi.org/10.1609/AAAI.V33I01.33012727.
  3. Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, and Roberto Sebastiani. Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. ACM Transactions on Computational Logic (TOCL), 19(3):1-52, 2018. URL: https://doi.org/10.1145/3230639.
  4. Alexander Diedrich, Mattias Krysander, Rene Heesch, and Oliver Niggemann. Modeling cyber-physical systems for fault diagnosis. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2025. Google Scholar
  5. Alexander Diedrich, Alexander Maier, and Oliver Niggemann. Model-based diagnosis of hybrid systems using satisfiability modulo theory. In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 2019. Google Scholar
  6. Alexander Diedrich, Lukas Moddemann, and Oliver Niggemann. Learning system descriptions for cyber-physical systems. In Proceedings of 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, 2024. Google Scholar
  7. Alexander Diedrich, Lukas Moddemann, and Oliver Niggemann. On validating propositional logic system descriptions for fault diagnosis. Engineering Applications of Artificial Intelligence, 165:113379, 2026. URL: https://doi.org/10.1016/J.ENGAPPAI.2025.113379.
  8. Alexander Diedrich and Oliver Niggemann. On residual-based diagnosis of physical systems. Engineering Applications of Artificial Intelligence, 109:104636, 2022. URL: https://doi.org/10.1016/j.engappai.2021.104636.
  9. Jonas Ehrhardt, Malte Ramonat, Rene Heesch, Kaja Balzereit, Alexander Diedrich, and Oliver Niggemann. An ai benchmark for diagnosis, reconfiguration & planning. In 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, 2012. Google Scholar
  10. Alexander Feldman, Gregory Provan, and Arjan Van Gemund. Approximate model-based diagnosis using greedy stochastic search. Journal of Artificial Intelligence Research, 38:371-413, 2010. URL: https://doi.org/10.1613/JAIR.3025.
  11. Alban Grastien. Diagnosis of hybrid systems with smt: opportunities and challenges. In Proceedings of the Twenty-first European Conference on Artificial Intelligence, pages 405-410. IOS Press, 2014. URL: https://doi.org/10.3233/978-1-61499-419-0-405.
  12. Fatemeh Hashemniya, Arvind Balachandran, Erik Frisk, and Mattias Krysander. Structural diagnosability analysis of switched and modular battery packs. In 2024 Prognostics and System Health Management Conference (PHM), pages 362-369. IEEE, 2024. Google Scholar
  13. Rolf Isermann and Peter Balle. Trends in the application of model-based fault detection and diagnosis of technical processes. Control engineering practice, 5(5):709-719, 1997. Google Scholar
  14. Samuel Kolb, Stefano Teso, Andrea Passerini, and Luc De Raedt. Learning smt (lra) constraints using smt solvers. In IJCAI International Joint Conference on Artificial Intelligence, volume 2018, pages 2333-2340. ijcai. org, 2018. URL: https://doi.org/10.24963/IJCAI.2018/323.
  15. Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, and Alexander Feldman. A hybrid qualitative and quantitative diagnosis approach. In Annual Conference of the PHM Society, volume 11(1), 2019. Google Scholar
  16. Amit Metodi, Roni Stern, Meir Kalech, and Michael Codish. A novel sat-based approach to model based diagnosis. Journal of Artificial Intelligence Research, 51:377-411, 2014. URL: https://doi.org/10.1613/JAIR.4503.
  17. Lukas Moddemann, Henrik Sebastian Steude, Alexander Diedrich, and Oliver Niggemann. Discret2di - deep learning based discretization for model-based diagnosis. In Proceedings of 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, 2024. Google Scholar
  18. Phillip Johann Overlöper, Lukas Moddemann, Nemanja Hranisavljevic, Alexander Windmann, and Oliver Niggemann. Discretization of cps time series with neural networks. In 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1-8. IEEE, 2024. URL: https://doi.org/10.1109/ETFA61755.2024.10710901.
  19. André Platzer. Logical foundations of cyber-physical systems. Springer, 2018. URL: https://doi.org/10.1007/978-3-319-63588-0.
  20. Raymond Reiter. A theory of diagnosis from first principles. Artificial intelligence, 32(1):57-95, 1987. URL: https://doi.org/10.1016/0004-3702(87)90062-2.
  21. Raymond Reiter. Nonmonotonic reasoning. In Exploring artificial intelligence, pages 439-481. Elsevier, 1988. Google Scholar
  22. Patrick Rodler. How should i compute my candidates? a taxonomy and classification of diagnosis computation algorithms. In 33rd International Workshop on Principle of Diagnosis – DX 2022, 2022. Google Scholar
  23. P Struss. Model-based on-board diagnosis and tools for the developer of on-board systems-vmbd and idd: Two projects of the european car industries. MONET Newsletter Issue 2 - Automotive Supplement, 2002. Google Scholar
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
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact