Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?

Hao Feng*, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen

*Corresponding author for this work

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Abstract

The synchronization between a Digital Shadow (DS) and a Cyber-Physical System (CPS) is paramount to enable anomaly detection, predictive maintenance, what-if analysis, etc. Such synchronization means that a simulation reflects, as closely as possible, the states of the CPS. The simulation however, requires the complete initial state of the system to be known, which is often infeasible in real applications. In our work, we study the conditions under which knowing the initial state of the system is irrelevant for a simulation to eventually synchronize with the CPS. We apply traditional stability analysis to answer this question for linear periodic systems. We demonstrate the method using a simple but representative system, an incubator with a periodic control signal.

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers
EditorsAntonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
Number of pages13
Place of publicationCham
PublisherSpringer
Publication date2022
Pages143-155
ISBN (Print)978-3-031-12428-0
DOIs
Publication statusPublished - 2022
EventSoftware Engineering and Formal Metods: SEFM 2021 Collocated Workshops - Virtual event
Duration: 6 Dec 202110 Dec 2021

Conference

ConferenceSoftware Engineering and Formal Metods
LocationVirtual event
Period06/12/202110/12/2021
SeriesLecture Notes in Computer Science
Volume13230
ISSN0302-9743

Keywords

  • Cyber-Physical System
  • Digital Shadow
  • Stability
  • Tracking

Fingerprint

Dive into the research topics of 'Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?'. Together they form a unique fingerprint.

Cite this