Standard
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? / Feng, Hao
; Gomes, Cláudio; Sandberg, Michael et al.
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. ed. / Antonio Cerone; Marco Autili; Alessio Bucaioni; Cláudio Gomes; Pierluigi Graziani; Maurizio Palmieri; Marco Temperini; Gentiane Venture. Cham: Springer, 2022. p. 143-155 (Lecture Notes in Computer Science, Vol. 13230).
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Harvard
Feng, H
, Gomes, C, Sandberg, M, Macedo, HD & Larsen, PG 2022,
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? in A Cerone, M Autili, A Bucaioni, C Gomes, P Graziani, M Palmieri, M Temperini & G Venture (eds),
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Springer, Cham, Lecture Notes in Computer Science, vol. 13230, pp. 143-155, Software Engineering and Formal Metods,
06/12/2021.
https://doi.org/10.1007/978-3-031-12429-7_11APA
Feng, H.
, Gomes, C., Sandberg, M., Macedo, H. D., & Larsen, P. G. (2022).
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini, & G. Venture (Eds.),
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 143-155). Springer.
https://doi.org/10.1007/978-3-031-12429-7_11CBE
Feng H
, Gomes C, Sandberg M, Macedo HD, Larsen PG. 2022.
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?. Cerone A, Autili M, Bucaioni A, Gomes C, Graziani P, Palmieri M, Temperini M, Venture G, editors. In Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Cham: Springer. pp. 143-155. (Lecture Notes in Computer Science, Vol. 13230).
https://doi.org/10.1007/978-3-031-12429-7_11MLA
Feng, Hao et al.
"Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?"., Cerone, Antonio, Autili, Marco, Bucaioni, Alessio and Gomes, Cláudio Graziani, Pierluigi Palmieri, Maurizio Temperini, Marco Venture, Gentiane (editors).
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Cham: Springer. (Lecture Notes in Computer Science, Vol. 13230). 2022, 143-155.
https://doi.org/10.1007/978-3-031-12429-7_11Vancouver
Feng H
, Gomes C, Sandberg M, Macedo HD, Larsen PG.
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? In Cerone A, Autili M, Bucaioni A, Gomes C, Graziani P, Palmieri M, Temperini M, Venture G, editors, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Cham: Springer. 2022. p. 143-155. (Lecture Notes in Computer Science, Vol. 13230). doi: 10.1007/978-3-031-12429-7_11
Author
Bibtex
@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",
}
RIS
TY - GEN
T1 - Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?
AU - Feng, Hao
AU - Gomes, Cláudio
AU - Sandberg, Michael
AU - Macedo, Hugo Daniel
AU - Larsen, Peter Gorm
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
KW - Cyber-Physical System
KW - Digital Shadow
KW - Stability
KW - Tracking
U2 - 10.1007/978-3-031-12429-7_11
DO - 10.1007/978-3-031-12429-7_11
M3 - Article in proceedings
SN - 978-3-031-12428-0
T3 - Lecture Notes in Computer Science
SP - 143
EP - 155
BT - Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers
A2 - Cerone, Antonio
A2 - Autili, Marco
A2 - Bucaioni, Alessio
A2 - Gomes, Cláudio
A2 - Graziani, Pierluigi
A2 - Palmieri, Maurizio
A2 - Temperini, Marco
A2 - Venture, Gentiane
PB - Springer
CY - Cham
T2 - Software Engineering and Formal Metods
Y2 - 6 December 2021 through 10 December 2021
ER -
