Hao Feng, Cláudio Gomes 0001, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen. Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?. In Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes 0001, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture, editors, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers. Volume 13230 of Lecture Notes in Computer Science, pages 143-155, Springer, 2021. [doi]
Abstract is missing.