Engineering of Digital Twins for Cyber-Physical Systems
You are here
| Title | Engineering of Digital Twins for Cyber-Physical Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Fitzgerald J, Larsen PGorm, Margaria T, Woodcock J |
| Editor | Margaria T, Steffen B |
| Conference Name | Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends |
| Publisher | Springer International Publishing |
| Conference Location | Cham |
| ISBN Number | 978-3-030-83723-5 |
| 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. |
