English
Related papers

Related papers: Contract-based Verification of Digital Twins

200 papers

Nonlinear, adaptive, or otherwise complex control techniques are increasingly relied upon to ensure the safety of systems operating in uncertain environments. However, the nonlinearity of the resulting closed-loop system complicates…

Systems and Control · Computer Science 2018-01-17 John F. Quindlen , Ufuk Topcu , Girish Chowdhary , Jonathan P. How

Brain digital twins aim to provide faithful, individualized computational representations of brains as dynamical systems, enabling mechanistic understanding and supporting prediction of clinical interventions. Yet current approaches remain…

Computational Engineering, Finance, and Science · Computer Science 2026-04-16 Alexandre Muzy

Commonly adopted in the manufacturing and aerospace sectors, digital twin (DT) platforms are increasingly seen as a promising paradigm to control, monitor, and analyze software-based, "open", communication systems. Notably, DT platforms…

Signal Processing · Electrical Eng. & Systems 2023-08-30 Clement Ruah , Osvaldo Simeone , Bashir Al-Hashimi

Internet of Things (IoT) devices are available in a multitude of scenarios, and provide constant, contextual data which can be leveraged to automatically reconfigure and optimize smart environments. To realize this vision, Artificial…

Networking and Internet Architecture · Computer Science 2023-01-31 Luca Bedogni , Federico Chiariotti

Digital Twin -- a virtual replica of a physical system enabling real-time monitoring, model updating, prediction, and decision-making -- combined with recent advances in machine learning, offers new opportunities for proactive control…

Machine Learning · Computer Science 2025-04-14 Yi-Ping Chen , Vispi Karkaria , Ying-Kuan Tsai , Faith Rolark , Daniel Quispe , Robert X. Gao , Jian Cao , Wei Chen

The demand for condition-based and predictive maintenance is rising across industries, especially for remote, high-value, and high-risk assets. In this article, the diagnostic digital twin concept is introduced, discussed, and implemented…

Machine Learning · Computer Science 2024-06-06 Florian Stadtmann , Adil Rasheed

Digital twins have attracted a great deal of recent attention from a wide range of fields. A basic requirement for digital twins of nonlinear dynamical systems is the ability to generate the system evolution and predict potentially…

Machine Learning · Computer Science 2023-09-21 Ying-Cheng Lai

Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate…

Software Engineering · Computer Science 2015-02-11 Andrew Gacek , Andreas Katis , Michael W. Whalen , John Backes , Darren Cofer

The potential of digital twin technology is yet to be fully realized due to its diversity and untapped potential. Digital twins enable systems' analysis, design, optimization, and evolution to be performed digitally or in conjunction with a…

Cryptography and Security · Computer Science 2024-07-23 MohammadHossein Homaei , Oscar Mogollon Gutierrez , Jose Carlos Sancho Nunez , Mar Avila Vegas , Andres Caro Lindo

Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external contracts, leading to substantial monetary losses.…

Cryptography and Security · Computer Science 2024-07-04 Haojia Sun , Kunal Singh , Jan-Paul Ramos-Dávila , Jonathan Aldrich , Jenna DiVincenzo

Blockchain adoption is reaching an all-time high, with a plethora of blockchain architectures being developed to cover the needs of applications eager to integrate blockchain into their operations. However, blockchain systems suffer from…

Cryptography and Security · Computer Science 2024-12-10 Georgios Diamantopoulos , Nikos Tziritas , Rami Bahsoon , Nan Zhang , Georgios Theodoropoulos

We introduce real-is-sim, a new approach to integrating simulation into behavior cloning pipelines. In contrast to real-only methods, which lack the ability to safely test policies before deployment, and sim-to-real methods, which require…

Digital twin (DT) enables smart manufacturing by leveraging real-time data, AI models, and intelligent control systems. This paper presents a state-of-the-art analysis on the emerging field of DTs in the context of milling. The critical…

Systems and Control · Electrical Eng. & Systems 2025-12-16 Wenyi Liu , R. Sharma , W. "Grace" Guo , J. Yi , Y. B. Guo

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…

Software Engineering · Computer Science 2025-06-26 Mennatullah T. Khedr , John S. Fitzgerald

The accurate and efficient modeling of nuclear reactor transients is crucial for ensuring safe and optimal reactor operation. Traditional physics-based models, while valuable, can be computationally intensive and may not fully capture the…

Applications · Statistics 2024-11-28 James Daniell , Kazuma Kobayashi , Ayodeji Alajo , Syed Bahauddin Alam

Digital Twin was introduced over a decade ago, as an innovative all-encompassing tool, with perceived benefits including real-time monitoring, simulation and forecasting. However, the theoretical framework and practical implementations of…

Machine Learning · Computer Science 2020-12-07 Angira Sharma , Edward Kosasih , Jie Zhang , Alexandra Brintrup , Anisoara Calinescu

Industrial processes rely on sensory data for critical decision-making processes. Extracting actionable insights from the collected data calls for an infrastructure that can ensure the trustworthiness of data. To this end, we envision a…

Cryptography and Security · Computer Science 2023-05-22 Sabah Suhail , Rasheed Hussain , Raja Jurdak , Choong Seon Hong

Digital twins promise a better understanding and use of complex systems. To this end, they represent these systems at their runtime and may interact with them to control their processes. Software engineering is a wicked challenge in which…

Software Engineering · Computer Science 2025-10-08 Robin Kimmel , Judith Michael , Andreas Wortmann , Jingxi Zhang

Three-dimensional integrated circuit (3D IC) pack-aging and heterogeneous integration have emerged as central pillars of contemporary semiconductor scaling. Yet, the multi-physics coupling inherent to stacked architectures manifesting as…

Hardware Architecture · Computer Science 2026-02-02 Gourab Datta , Sarah Safura Sharif , Yaser Mike Banad

Digital transformation in buildings accumulates massive operational data, which calls for smart solutions to utilize these data to improve energy performance. This study has proposed a solution, namely Deep Energy Twin, for integrating deep…

Machine Learning · Computer Science 2023-12-08 Zhongjun Ni , Chi Zhang , Magnus Karlsson , Shaofang Gong