Fitzgerald, John, Larsen, Peter Gorm, Margaria, Tiziana et al. (1 more author) (2021) Engineering of Digital Twins for Cyber-Physical Systems. In: Margaria, Tiziana and Steffen, Bernhard, (eds.) Leveraging Applications of Formal Methods, Verification and Validation:Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, 20-30 Oct 2020 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , GRC , pp. 49-53.
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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | 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. |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 05 Oct 2022 14:16 |
Last Modified: | 27 Oct 2024 00:12 |
Published Version: | https://doi.org/10.1007/978-3-030-83723-5_4 |
Status: | Published |
Publisher: | Springer |
Series Name: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Identification Number: | 10.1007/978-3-030-83723-5_4 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:191737 |