Abstract
Advances in sensing, communications and data analytics have made it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas, known as digital twins, can in principle inform decision making during operation and evolution of the systems they model. This short paper introduces the ISoLA 2020/21 series of papers on the technology and practice of engineering digital twins for CPSs. The focus is on the relationship between model-based design, machine learning, digital twins and CPSs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
References
Foldager, F.F., Thule, C., Balling, O., Larsen, P.G.: Towards a digital twin - modelling an agricultural vehicle. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 109–123. Springer, Cham (2021)
Kamburjan, E., Schlatte, R., Johnsen, E.B., Tarifa, S.L.T.: Designing distributed control with hybrid active objects. Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 88–108. Springer, Cham (2021)
Lecomte, T.: Digital modelling in the railways. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 124–139. Springer, Cham (2021)
Li, B., Neilsen, R.O., Johnasen, K.W., Teizer, J., Larsen, P.G., Schultz, C.: Towards digital twins for knowledge-driven construction progress and predictive safety analysis on a construction site. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 153–174. Springer, Cham (2021)
Matei, A., Tocu, N.A., Zamfirescu, C.B., Gellert, A., Neghină, M.: Engineering a digital twin for manual assembling. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 140–152. Springer, Cham (2021)
Woodcock, J., Gomes, C., Macedo, H.D., Larsen, P.G.: Uncertainty quantification and runtime monitoring using environment-aware digital twins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 72–87. Springer, Cham (2021)
Yue, T., Arcaini, P., Ali, S.: Understanding digital twins for cyber-physical systems: a conceptual model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 54–71. Springer, Cham (2021)
Acknowledgements
We acknowledge the support of the Poul Due Jensen Foundation for research towards the engineering of digital twins; the European Union’s funding of HUBCAP (Grant Agreement 872698) and DIGITbrain (Grant Agreement 952071); the Innovation Foundation Denmark for funding MADE FAST; AgroRobottiFleet and ITEA3 for funding the UPSIM project (19006).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Fitzgerald, J., Larsen, P.G., Margaria, T., Woodcock, J. (2021). Engineering of Digital Twins for Cyber-Physical Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends. ISoLA 2020. Lecture Notes in Computer Science(), vol 12479. Springer, Cham. https://doi.org/10.1007/978-3-030-83723-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-83723-5_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-83722-8
Online ISBN: 978-3-030-83723-5
eBook Packages: Computer ScienceComputer Science (R0)