TY - GEN
T1 - Engineering of Digital Twins for Cyber-Physical Systems
AU - Fitzgerald, John
AU - Larsen, Peter Gorm
AU - Margaria, Tiziana
AU - Woodcock, Jim
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85115860219&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-83723-5_4
DO - 10.1007/978-3-030-83723-5_4
M3 - Conference contribution
AN - SCOPUS:85115860219
SN - 9783030837228
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 49
EP - 53
BT - Leveraging Applications of Formal Methods, Verification and Validation
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer Science and Business Media Deutschland GmbH
T2 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020
Y2 - 20 October 2020 through 30 October 2020
ER -