Journal
SOFTWARE ENGINEERING AND FORMAL METHODS: SEFM 2021 COLLOCATED WORKSHOPS
Volume 13230, Issue -, Pages 143-155Publisher
SPRINGER INTERNATIONAL PUBLISHING AG
DOI: 10.1007/978-3-031-12429-7_11
Keywords
Digital Shadow; Cyber-Physical System; Stability; Tracking
Categories
Funding
- Poul Due Jensen Foundation
- China Scholarship Council
Ask authors/readers for more resources
The complete initial state of a system is not always necessary for synchronization between a Digital Shadow and a Cyber-Physical System. Traditional stability analysis can determine the conditions under which a simulation can eventually synchronize with the CPS even without knowing the initial state.
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available