The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review

• URL: http://arxiv.org/abs/2506.20435v1
• Date: Wed, 25 Jun 2025 13:45:16 GMT
• Title: The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review
• Abstract summary: This systematic literature review investigates DT composition and verification and validation (V&V) methodologies.<n>V&V approaches vary, with semi-formal methods and simulations dominating; formal verification is underutilized.<n>There is a need to move beyond model validation to address integration and cyber-physical consistency.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Digital Twins (DTs) are increasingly used to model complex systems, especially in Cyber-Physical Systems (CPS) and System-of-Systems (SoS), where effective integration is key. This systematic literature review investigates DT composition and verification and validation (V&V) methodologies. Analyzing 21 studies from 2022-2024, we examined composition mechanisms, SoS characteristics, and V&V formality, scope, and challenges. While composition is discussed, formalization is limited. V&V approaches vary, with semi-formal methods and simulations dominating; formal verification is underutilized. Key technical challenges include model uncertainty and integration complexity. Methodological challenges highlight the lack of standardized DT-specific V&V frameworks. There is a need to move beyond model validation to address integration and cyber-physical consistency. This review contributes a structured classification of V&V approaches and emphasizes the need for standardized, scalable V&V and rigorous composition methodologies for complex DT implementations.

Related papers

• A System-of-Systems Case Study for the Verification of Composed Digital Twins [4.424567144395299]
  This study aims to identify challenges that a framework for DT validation and verification should address in Systems-of-Systems.<n>We present a case study based on a DT-enabled greenhouse SoS modelled in VDM-RT.<n>We consider how DT qualities may be operationalised as sets of verifiable properties.
  arXiv  Detail & Related papers  (2026-08-28T16:29:10Z)
• Neural Proofs for Sound Verification and Control of Complex Systems [64.97409769546992]
  This informal contribution presents an ongoing line of research that is pursuing a new approach to the construction of sound proofs.<n>It is possible to generate provably-correct policies/strategies/controllers that, in conjunction with neural certificates, formally attain the given specifications for the models of interest.
  arXiv  Detail & Related papers  (2025-12-20T15:01:41Z)
• Data-Driven Methods and AI in Engineering Design: A Systematic Literature Review Focusing on Challenges and Opportunities [0.2545763876632975]
  Machine learning and statistical methods dominate current practice, whereas deep learning exhibits a clear upward trend in adoption.<n>Key challenges in existing applications include limited model interpretability, poor cross-stage traceability, and insufficient validation under real-world conditions.<n>This review is a first step toward design-stage guidelines; a follow-up synthesis should map computer science algorithms to engineering design problems and activities.
  arXiv  Detail & Related papers  (2025-11-25T11:16:38Z)
• Runtime Composition in Dynamic System of Systems: A Systematic Review of Challenges, Solutions, Tools, and Evaluation Methods [2.172969718238335]
  Despite growing interest, the literature lacks a synthesis of runtime composition in dynamic SoSs.<n>This study synthesizes research on runtime composition in dynamic SoSs and identifies core challenges, solution strategies, supporting tools, and evaluation methods.
  arXiv  Detail & Related papers  (2025-10-14T15:14:57Z)
• Deep Learning-based Techniques for Integrated Sensing and Communication Systems: State-of-the-Art, Challenges, and Opportunities [54.12860202362483]
  This article comprehensively reviews recent developments and research on deep learning-based (DL-based) techniques for integrated sensing and communication (ISAC) systems.<n>ISAC is regarded as a key enabler for 6G and beyond networks, as many emerging applications, such as vehicular networks and industrial robotics, necessitate both sensing and communication capabilities.<n>As an alternative to conventional techniques, DL-based techniques offer efficient and near-optimal solutions with reduced computational complexity.
  arXiv  Detail & Related papers  (2025-08-23T22:27:51Z)
• Hyperspectral Imaging [49.45523645429475]
  Hyperspectral imaging (HSI) is an advanced sensing modality that simultaneously captures spatial and spectral information.<n>This Primer presents a comprehensive overview of HSI, from the underlying physical principles and sensor architectures to key steps in data acquisition, calibration, and correction.
  arXiv  Detail & Related papers  (2025-08-11T15:47:24Z)
• Testing, Evaluation, Verification and Validation (TEVV) of Digital Twins: A Comprehensive Framework [0.0]
  Digital twins have emerged as a powerful technology for modeling and simulating complex systems across various domains.<n>This paper presents a framework for the Testing, Evaluation, Verification and Validation (TEVV) of digital twins.
  arXiv  Detail & Related papers  (2025-07-06T22:12:06Z)
• Systems of Twinned Systems: A Systematic Literature Review [0.3749861135832073]
  Modern systems exhibit unprecedented complexity due to their increased scale, interconnectedness, and the heterogeneity of their digital and physical components.<n>In response to scaling challenges, the system-of-systems (SoS) paradigm proposes flexible aggregations of subsystems into a larger whole.<n>In response to the cyber-physical convergence, the digital twin (DT) paradigm proposes a tight coupling between digital and physical components through computational reflection and precise control.
  arXiv  Detail & Related papers  (2025-05-26T12:40:38Z)
• A Theory-driven Interpretation and Elaboration of Verification and Validation [49.97673761305336]
  This paper presents a formal theory of verification and validation (V&V) within systems engineering.<n>We develop precise definitions of verification and validation, articulating their roles in confirming and contextualizing knowledge about systems.
  arXiv  Detail & Related papers  (2025-04-11T17:58:07Z)
• TwinArch: A Digital Twin Reference Architecture [83.71071897785683]
  Digital Twins (DTs) are dynamic virtual representations of physical systems, enabled by seamless, bidirectional communication between the physical and digital realms.<n>The proposed Digital Twin Reference Architecture is named TwinArch. It is documented using the Views and Beyond methodology by the Software Engineering Institute.
  arXiv  Detail & Related papers  (2025-04-10T07:53:11Z)
• Empowering Time Series Analysis with Synthetic Data: A Survey and Outlook in the Era of Foundation Models [104.17057231661371]
  Time series analysis is crucial for understanding dynamics of complex systems.<n>Recent advances in foundation models have led to task-agnostic Time Series Foundation Models (TSFMs) and Large Language Model-based Time Series Models (TSLLMs)<n>Their success depends on large, diverse, and high-quality datasets, which are challenging to build due to regulatory, diversity, quality, and quantity constraints.<n>This survey provides a comprehensive review of synthetic data for TSFMs and TSLLMs, analyzing data generation strategies, their role in model pretraining, fine-tuning, and evaluation, and identifying future research directions.
  arXiv  Detail & Related papers  (2025-03-14T13:53:46Z)
• Complete FSM Testing Using Strong Separability [1.0128808054306186]
  Apartness is a concept developed in constructive mathematics, which has resurfaced as a powerful notion for separating states.<n>We identify some fundamental shortcomings of apartness in quantitative models, such as in hybrid and systems.<n>We propose a closely-related alternative, called strong separability, and show that using it to replace apartness addresses the identified shortcomings.
  arXiv  Detail & Related papers  (2025-02-06T12:54:24Z)
• Identifying Large-Scale Linear Parameter Varying Systems with Dynamic Mode Decomposition Methods [5.217516787417401]
  This work develops a methodology for the local and global identification of large-scale LPV systems.<n>The method is coined as DMD-LPV for being inspired in the Dynamic Mode Decomposition (DMD)<n>Experiments show that the proposed method can easily identify a reduced-order model of a given large-scale system without the need to perform identification in the full-order dimension.
  arXiv  Detail & Related papers  (2025-02-04T14:15:16Z)
• Automatically Learning Hybrid Digital Twins of Dynamical Systems [56.69628749813084]
  Digital Twins (DTs) simulate the states and temporal dynamics of real-world systems. DTs often struggle to generalize to unseen conditions in data-scarce settings. In this paper, we propose an evolutionary algorithm ($textbfHDTwinGen$) to autonomously propose, evaluate, and optimize HDTwins.
  arXiv  Detail & Related papers  (2024-10-31T07:28:22Z)
• Identifiability Analysis of Linear ODE Systems with Hidden Confounders [45.14890063421295]
  This paper presents a systematic analysis of identifiability in linear ODE systems incorporating hidden confounders. In the first case, latent confounders exhibit no causal relationships, yet their evolution adheres to specific forms. Subsequently, we extend this analysis to encompass scenarios where hidden confounders exhibit causal dependencies.
  arXiv  Detail & Related papers  (2024-10-29T10:15:56Z)
• Learning Paradigms and Modelling Methodologies for Digital Twins in Process Industry [1.1060425537315088]
  Digital Twins (DTs) are virtual replicas of physical manufacturing systems that combine sensor data with sophisticated data-based or physics-based models, or a combination thereof, to tackle a variety of industrial-relevant tasks like process monitoring, predictive control or decision support. The backbone of a DT, i.e. the concrete modelling methodologies and architectural frameworks supporting these models, are complex, diverse and evolve fast, necessitating a thorough understanding of the latest state-of-the-art methods and trends to stay on top of a highly competitive market.
  arXiv  Detail & Related papers  (2024-07-02T14:05:10Z)
• An Interventional Perspective on Identifiability in Gaussian LTI Systems with Independent Component Analysis [44.892642197610215]
  We show that in Gaussian Linear Time-Invariant (LTI) systems, the system parameters can be identified by introducing diverse intervention signals. We show that Hidden Markov Models, in general, and (Gaussian) LTI systems, fulfil a generalization of the Causal de Finetti theorem with continuous parameters.
  arXiv  Detail & Related papers  (2023-11-29T19:51:35Z)
• Embedding in Recommender Systems: A Survey [54.55152033023537]
  This survey presents a comprehensive analysis of advances in recommender system embedding techniques.<n>In matrix-based scenarios, collaborative filtering generates embeddings that effectively model user-item preferences.<n>We introduce emerging approaches, including AutoML, hashing techniques, and quantization methods, to enhance performance.
  arXiv  Detail & Related papers  (2023-10-28T06:31:06Z)
• Interactive System-wise Anomaly Detection [66.3766756452743]
  Anomaly detection plays a fundamental role in various applications. It is challenging for existing methods to handle the scenarios where the instances are systems whose characteristics are not readily observed as data. We develop an end-to-end approach which includes an encoder-decoder module that learns system embeddings.
  arXiv  Detail & Related papers  (2023-04-21T02:20:24Z)
• A Verification Framework for Component-Based Modeling and Simulation Putting the pieces together [0.0]
  The proposed verification framework provides methods, techniques and tool support for verifying composability at its different levels. In particular we focus on the Dynamic-Semantic Composability level due to its significance in the overall composability correctness and also due to the level of difficulty it poses in the process.
  arXiv  Detail & Related papers  (2023-01-08T18:53:28Z)
• Leveraging the structure of dynamical systems for data-driven modeling [111.45324708884813]
  We consider the impact of the training set and its structure on the quality of the long-term prediction. We show how an informed design of the training set, based on invariants of the system and the structure of the underlying attractor, significantly improves the resulting models.
  arXiv  Detail & Related papers  (2021-12-15T20:09:20Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.