Automated Diagnosis of Cyber-Physical Systems

Franz Wotawa*, Oliver Tazl, David Kaufmann

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Abstract

Research on cyber-physical systems has gained importance and we see an increasing number of applications ranging from ordinary cars to autonomous systems. The latter are of increasing interest requiring additional functionality like self-healing capabilities for improving availability. For autonomous systems, it is not only important to detect failures during operation, but also to come up with their causes. In this paper, we contribute to the foundations of diagnosis. We introduce a method for modeling cyber-physical systems considering behavior over time, in order to make use of model-based reasoning for computing diagnosis candidates. In particular, we discuss a thermal model coupled with a controller for keeping temperature within pre-defined values and show how this contributes to the computation of diagnoses given an unexpected behavior. The discussed modeling principles can be used as a blueprint for similar systems where controllers are coupled with a physical system. Diagnosis results obtained when using the thermal model and the observed diagnosis time, which was a fraction of a second, seem to indicate the applicability of the presented approach for industrial applications.

Original languageEnglish
Title of host publicationAdvances and Trends in Artificial Intelligence. From Theory to Practice - 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Proceedings
EditorsHamido Fujita, Ali Selamat, Jerry Chun-Wei Lin, Moonis Ali
PublisherSpringer Science and Business Media Deutschland GmbH
Pages441-452
Number of pages12
ISBN (Print)9783030794620
DOIs
Publication statusPublished - 2021
Event34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021 - Virtual, Online
Duration: 26 Jul 202129 Jul 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12799 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021
CityVirtual, Online
Period26/07/2129/07/21

Keywords

  • Answer set programming
  • Cyber-physical system diagnosis
  • Model-based diagnosis

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Automated Diagnosis of Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this