Digital Twin Engineering

Abstract

Digital twins make use of numerous models during to design, deployment, operations and maintain Cyber-Physical systems and have received significant uptake in industry and academia. However, the engineering of digital twins themselves is a difficult task that has attracted more attention in the last years. This short paper introduces the ISoLA 2024 series of papers on the engineering of digital twins, with a focus on the connection to data-driven approaches, interoperability and adaptation to changes at runtime.

Publication
Proc. 12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). LNCS 15223. © Springer 2025.