English
Related papers

Related papers: Digital Twin Enabled Runtime Verification for Auto…

200 papers

Digital twins (DT) of industrial processes have become increasingly important. They aim to digitally represent the physical world to help evaluate, optimize, and predict physical processes and behaviors. Therefore, DT is a vital tool to…

Software Engineering · Computer Science 2023-02-28 Yunpeng Ma , Khalil Younis , Bestoun S. Ahmed , Andreas Kassler , Pavel Krakhmalev , Andreas Thore , Hans Lindback

Spacecraft Rendezvous, Proximity Operations (RPO), and Formation Flying (FF) rely on safety-critical guidance, navigation and control (GNC) that must satisfy stringent performance and robustness requirements. However, verifying GNC…

Robotics · Computer Science 2026-03-03 Z. Ahmed , E. Bates , P. Francesch Huc , S. Y. W. Low , A. Golan , T. Bell , A. Rizza , S. D'Amico

Robotic systems that can traverse planetary or lunar surfaces to collect environmental data and perform physical manipulation tasks, such as assembling equipment or conducting mining operations, are envisioned to form the backbone of future…

Robotics · Computer Science 2025-05-21 Xavier O'Keefe , Katy McCutchan , Alexis Muniz , Jack Burns , Daniel Szafir

Humans and robots will need to collaborate in order to create a sustainable human lunar presence by the end of the 2020s. This includes cases in which a human will be required to teleoperate an autonomous rover that has encountered an…

Robotics · Computer Science 2022-03-08 Phaedra S. Curlin , Madaline A. Muniz , Mason M. Bell , Alexis A. Muniz , Jack O. Burns

Subsea exploration, inspection, and intervention operations heavily rely on remotely operated vehicles (ROVs). However, the inherent complexity of the underwater environment presents significant challenges to the operators of these…

Robotics · Computer Science 2024-02-13 Favour O. Adetunji , Niamh Ellis , Maria Koskinopoulou , Ignacio Carlucho , Yvan R. Petillot

Digital twins (DTs) enable powerful predictive analytics, but persistent discrepancies between simulations and real systems--known as the reality gap--undermine their reliability. Coined in robotics, the term now applies to DTs, where…

Machine Learning · Computer Science 2026-01-29 Sizhe Ma , Katherine A. Flanigan , Mario Bergés

This paper presents a digital-twin platform for active safety analysis in mixed traffic environments. The platform is built using a multi-modal data-enabled traffic environment constructed from drone-based aerial LiDAR, OpenStreetMap, and…

Robotics · Computer Science 2025-04-28 Hao Zhang , Ximin Yue , Kexin Tian , Sixu Li , Keshu Wu , Zihao Li , Dominique Lord , Yang Zhou

Datacenters are the backbone of our digital society, but raise numerous operational challenges. We envision digital twins becoming primary instruments in datacenter operations, continuously and autonomously helping with major operational…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-14 Radu Nicolae , Jules van der Toorn , Stavriana Kraniti , Houcen Liu , Alexandru Iosup

The integration of accurate and reproducible wireless network simulations is a key enabler for research on open, virtualized, and intelligent communication systems. Network Digital Twins (NDTs) provide a scalable alternative to costly and…

Networking and Internet Architecture · Computer Science 2026-04-15 Oscar Stenhammar , Sundeep Rangan , Gábor Fodor , Carlo Fischione

We articulate the design imperatives for machine-learning based digital twins for nonlinear dynamical systems subject to external driving, which can be used to monitor the ``health'' of the target system and anticipate its future collapse.…

Adaptation and Self-Organizing Systems · Physics 2022-10-13 Ling-Wei Kong , Yang Weng , Bryan Glaz , Mulugeta Haile , Ying-Cheng Lai

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

Autonomous surface vessels (ASVs) are becoming increasingly significant in enhancing the safety and sustainability of maritime operations. To ensure the reliability of modern control algorithms utilized in these vessels, digital twins (DTs)…

Systems and Control · Electrical Eng. & Systems 2024-11-07 Daniel Menges , Adil Rasheed

Fleets of unmanned robots can be beneficial for the long-term monitoring of large areas, e.g., to monitor wild flocks, detect intruders, search and rescue. Monitoring numerous dynamic targets in a collaborative and efficient way is a…

Robotics · Computer Science 2024-03-06 Shuaikang Wang , Yiannis Kantaros , Meng Guo

Digital Twins, virtual replicas of physical systems that enable real-time monitoring, model updates, predictions, and decision-making, present novel avenues for proactive control strategies for autonomous systems. However, achieving…

Systems and Control · Electrical Eng. & Systems 2025-05-08 Yi-Ping Chen , Ying-Kuan Tsai , Vispi Karkaria , Wei Chen

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 set to become a key enabling technology in future wireless networks, with their use in network management increasing significantly. We developed a DT framework that leverages the heterogeneity of network access…

Networking and Internet Architecture · Computer Science 2024-08-07 Roberto Morabito , Bivek Pandey , Paulius Daubaris , Yasith R Wanigarathna , Sasu Tarkoma

Digital twins promise to revolutionize engineering by offering new avenues for optimization, control, and predictive maintenance. We propose a novel framework for simultaneously training the digital twin of an engineering system and an…

Systems and Control · Electrical Eng. & Systems 2024-07-12 Lorenzo Schena , Pedro Marques , Romain Poletti , Samuel Ahizi , Jan Van den Berghe , Miguel A. Mendez

Multi-robot collaboration for target tracking in adversarial environments poses significant challenges, including system failures, dynamic priority shifts, and other unpredictable factors. These challenges become even more pronounced when…

Robotics · Computer Science 2025-07-31 Peihan Li , Yuwei Wu , Jiazhen Liu , Gaurav S. Sukhatme , Vijay Kumar , Lifeng Zhou

The increased use of software in the operation and management of telecommunication networks has moved the industry one step closer to realizing autonomous network operation. One consequence of this shift is the significantly increased need…

Networking and Internet Architecture · Computer Science 2025-10-06 Shenjia Ding , David Flynn , Paul Harvey

Deep learning models have created great opportunities for data-driven fault diagnosis but they require large amount of labeled failure data for training. In this paper, we propose to use a digital twin to support developing data-driven…

Machine Learning · Computer Science 2024-11-05 Killian Mc Court , Xavier Mc Court , Shijia Du , Zhiguo Zeng