@inproceedings{0403592c33cf4fe6b8e1a1b4f67c3afd,
title = "Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?",
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.",
keywords = "Cyber-Physical System, Digital Shadow, Stability, Tracking",
author = "Hao Feng and Cl{\'a}udio Gomes and Michael Sandberg and Macedo, {Hugo Daniel} and Larsen, {Peter Gorm}",
year = "2022",
doi = "10.1007/978-3-031-12429-7_11",
language = "English",
isbn = "978-3-031-12428-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "143--155",
editor = "Antonio Cerone and Marco Autili and Alessio Bucaioni and Cl{\'a}udio Gomes and Pierluigi Graziani and Maurizio Palmieri and Marco Temperini and Gentiane Venture",
booktitle = "Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers",
address = "Netherlands",
note = "Software Engineering and Formal Metods ; Conference date: 06-12-2021 Through 10-12-2021",
}