English
Related papers

Related papers: Contract-based Verification of Digital Twins

200 papers

Digital twins enable real-time simulation and prediction in engineering systems. This paper presents a novel framework for predictive digital twins of a headlamp heatsink, integrating physics-based reduced-order models (ROMs) from…

Machine Learning · Computer Science 2025-05-13 Tamilselvan Subramani , Sebastian Bartscher

A Digital Twin is a virtual system that can fully describe a physical one. It constantly receives data from its counterpart's sensors, consults external sources, and obtains manual inputs from its stakeholders. The DT uses all this…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-02 Laura Bragante Corssac , Juliano Araujo Wickboldt

Road inspection is crucial for maintaining road serviceability and ensuring traffic safety, as road defects gradually develop and compromise functionality. Traditional inspection methods, which rely on manual evaluations, are…

Computer Vision and Pattern Recognition · Computer Science 2025-12-16 Yikang Zhang , Chuang-Wei Liu , Jiahang Li , Yingbing Chen , Jie Cheng , Rui Fan

In the context of Industry 4.0, the physical and digital worlds are closely connected, and robots are widely used to achieve system automation. Digital twin solutions have contributed significantly to the growth of Industry 4.0. Combining…

Robotics · Computer Science 2023-12-21 Lin Xie , Hanyi Li

A digital twin (DT), with the components of a physics-based model, a data-driven model, and a machine learning (ML) enabled efficient surrogate, behaves as a virtual twin of the real-world physical process. In terms of Laser Powder Bed…

Signal Processing · Electrical Eng. & Systems 2024-05-17 Ning Liu , Xuxiao Li , Manoj R. Rajanna , Edward W. Reutzel , Brady Sawyer , Prahalada Rao , Jim Lua , Nam Phan , Yue Yu

Industrial processes rely on sensory data for decision-making processes, risk assessment, and performance evaluation. Extracting actionable insights from the collected data calls for an infrastructure that can ensure the dissemination of…

Cryptography and Security · Computer Science 2023-05-22 Sabah Suhail , Rasheed Hussain , Raja Jurdak , Alma Oracevic , Khaled Salah , Raimundas Matulevičius , Choong Seon Hong

Training effective artificial intelligence models for telecommunications is challenging due to the scarcity of deployment-specific data. Real data collection is expensive, and available datasets often fail to capture the unique operational…

Signal Processing · Electrical Eng. & Systems 2026-05-28 Clement Ruah , Houssem Sifaou , Osvaldo Simeone , Bashir M. Al-Hashimi

Buildings directly and indirectly emit a large share of current CO2 emissions. There is a high potential for CO2 savings through modern control methods in building automation systems (BAS) like model predictive control (MPC). For a proper…

Computer Vision and Pattern Recognition · Computer Science 2021-09-01 Florian Stinner , Martin Wiecek , Marc Baranski , Alexander Kümpel , Dirk Müller

A digital twin is a powerful tool that can help monitor and optimize physical assets in real-time. Simply put, it is a virtual representation of a physical asset, enabled through data and simulators, that can be used for a variety of…

Computer Vision and Pattern Recognition · Computer Science 2023-03-01 Elias Mohammed Elfarri , Adil Rasheed , Omer San

Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes computationally infeasible. On the other hand, testing,…

Software Engineering · Computer Science 2019-07-30 Igor Buzhinsky , Valeriy Vyatkin

A digital twin (DT) is a virtual representation of physical process, products and/or systems that requires a high-fidelity computational model for continuous update through the integration of sensor data and user input. In the context of…

Machine Learning · Computer Science 2023-11-15 Yangfan Li , Satyajit Mojumder , Ye Lu , Abdullah Al Amin , Jiachen Guo , Xiaoyu Xie , Wei Chen , Gregory J. Wagner , Jian Cao , Wing Kam Liu

Emerging technologies and applications make the network unprecedentedly complex and heterogeneous, leading physical network practices to be costly and risky. The digital twin network (DTN) can ease these burdens by virtually enabling users…

Networking and Internet Architecture · Computer Science 2022-06-02 Linbo Hui , Mowei Wang , Liang Zhang , Lu Lu , Yong Cui

In black-box testing of GUI applications (a form of system testing), a dynamic analysis of the GUI application is used to infer a black-box model; the black-box model is then used to derive test cases for the test of the GUI application. In…

Software Engineering · Computer Science 2012-10-18 Stephan Arlt , Evren Ermis , Sergio Feo-Arenis , Andreas Podelski

Digital Twins (DTs) are becoming increasingly vital for future industrial applications, enhancing monitoring, control, and optimization of physical assets. This enhancement is made possible by integrating various Digital Models (DMs) within…

Digital Twins are digital replica of real entities and are becoming fundamental tools to monitor and control the status of entities, predict their future evolutions, and simulate alternative scenarios to understand the impact of changes.…

Computers and Society · Computer Science 2023-09-26 Lorenzo Adreani , Pierfrancesco Bellini , Marco Fanfani , Paolo Nesi , Gianni Pantaleo

Operators of safety-critical industrial processes increasingly rely on digital twins to screen control interventions, but such simulators rarely carry certified safety guarantees. Wastewater treatment plants exemplify the gap: operators…

Artificial Intelligence · Computer Science 2026-05-20 Gary Simethy , Daniel Ortiz Arroyo , Petar Durdevic

The adoption of digital twins (DTs) in precision medicine is increasingly viable, propelled by extensive data collection and advancements in artificial intelligence (AI), alongside traditional biomedical methodologies. However, the reliance…

The Digital Twin is a well-known concept of industry 4.0 and is the cyber part of a cyber-physical production system providing several benefits such as virtual commissioning or predictive maintenance. The existing production systems are…

Software Engineering · Computer Science 2023-10-17 Dominik Braun , Nasser Jazdi , Wolfgang Schloegl , Michael Weyrich

Services for Cyber-Physical Systems based on Artificial Intelligence and Machine Learning require a virtual representation of the physical. To reduce modeling efforts and to synchronize results, for each system, a common and unique virtual…

Artificial Intelligence · Computer Science 2020-10-28 Oliver Niggemann , Alexander Diedrich , Christian Kuehnert , Erik Pfannstiel , Joshua Schraven

The Digital Twins (DT) has quickly become a hot topic since it was proposed. It not only appears in all kinds of commercial propaganda, but also is widely quoted by academic circles. However, there are misstatements and misuse of the term…

Computational Engineering, Finance, and Science · Computer Science 2022-03-25 Jiehan Zhou , Shouhua Zhang , Mu Gu
‹ Prev 1 4 5 6 7 8 10 Next ›