@inproceedings{aeb01e86e02c4291be672605b6bb1bf0,
title = "Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model",
abstract = "Digital Twins (DTs) are revolutionizing Cyber-Physical Systems (CPSs) in many ways, including their development and operation. The significant interest of industry and academia in DTs has led to various definitions of DTs and related concepts, as seen in many recently published papers. Thus, there is a need for precisely defining different DT concepts and their relationships. To this end, we present a conceptual model that captures various DT concepts and their relationships, some of which are from the published literature, to provide a unified understanding of these concepts in the context of CPSs. The conceptual model is implemented as a set of Unified Modeling Language (UML) class diagrams and the concepts in the conceptual model are explained with a running example of an automated warehouse case study from published literature and based on the authors{\textquoteright} experience of working with the real CPS case study in previous projects.",
keywords = "Conceptual model, Cyber-physical systems, Digital twins",
author = "Tao Yue and Paolo Arcaini and Shaukat Ali",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020",
year = "2021",
doi = "10.1007/978-3-030-83723-5\_5",
language = "英语",
isbn = "9783030837228",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "54--71",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
address = "德国",
}