By the same authors

Engineering of Digital Twins for Cyber-Physical Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published copy (DOI)


  • John Fitzgerald
  • Peter Gorm Larsen
  • Tiziana Margaria
  • Jim Woodcock


Publication details

Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
DatePublished - 5 Aug 2021
Number of pages5
PublisherSpringer Science and Business Media Deutschland GmbH
EditorsTiziana Margaria, Bernhard Steffen
Original languageEnglish
ISBN (Print)9783030837228

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12479 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


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.

Bibliographical note

Funding Information:
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).

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations