中文
相关论文

相关论文: Verification of Digital Twins using Classical and …

200 篇论文

To facilitate an effective, efficient, transparent, and timely decision-making process as well as to provide guidelines for industry planning and public policy development, a conceptual framework of digital twins (DTs) for logistics and…

软件工程 · 计算机科学 2023-11-30 Tho V. Le , Ruoling Fan

In recent years, digital twins have been proposed and implemented in various fields with potential applications ranging from prototyping to maintenance. Going forward, they are to enable numerous efficient and sustainable technologies,…

计算机与社会 · 计算机科学 2024-02-06 Liliana Marie Prikler , Franz Wotawa

Digital twins (DTs) are envisioned as a key enabler of the cyber-physical continuum in future wireless networks. However, efficient deployment and synchronization of DTs in dynamic multi-access edge computing (MEC) environments remains…

系统与控制 · 电气工程与系统科学 2026-04-02 Hossam Farag , Cedomir Stefanovic

Digital network twins (DNTs) are virtual representations of physical networks, designed to enable real-time monitoring, simulation, and optimization of network performance. When integrated with machine learning (ML) techniques, particularly…

网络与互联网体系结构 · 计算机科学 2025-03-11 Zifan Zhang , Minghong Fang , Dianwei Chen , Xianfeng Yang , Yuchen Liu

A major problem in blockchain-based supply chain management is the potential unreliability of digital twins when considering digital representations of physical goods. Indeed, the use of blockchain technology to trace goods is obviously…

密码学与安全 · 计算机科学 2023-09-06 Vincenzo Botta , Laura Fusco , Attilio Mondelli , Ivan Visconti

Digital twins (DTs) are increasingly used to monitor and secure Industrial Control Systems (ICS), yet detecting stealthy False Data Injection Attacks (FDIAs) that manipulate system states within normal physical bounds remains challenging.…

密码学与安全 · 计算机科学 2026-03-03 Inda Kreso , Mehran Tarif , Fatemeh Moradi , Iman Khazrak , Mostafa M Rezaee , Mohammadhossein Homaei

Safe deployment of self-driving cars (SDC) necessitates thorough simulated and in-field testing. Most testing techniques consider virtualized SDCs within a simulation environment, whereas less effort has been directed towards assessing…

软件工程 · 计算机科学 2022-08-26 Andrea Stocco , Brian Pulfer , Paolo Tonella

Automating the checkout process is important in smart retail, where users effortlessly pass products by hand through a camera, triggering automatic product detection, tracking, and counting. In this emerging area, due to the lack of…

计算机视觉与模式识别 · 计算机科学 2023-08-21 Yue Yao , Xinyu Tian , Zheng Tang , Sujit Biswas , Huan Lei , Tom Gedeon , Liang Zheng

This paper aims to provide a comprehensive critical overview on how entities and their interactions in Complex Networked Systems (CNS) are modelled across disciplines as they approach their ultimate goal of creating a Digital Twin (DT) that…

系统与控制 · 电气工程与系统科学 2022-02-22 Jiaqi Wen , Bogdan Gabrys , Katarzyna Musial

Digital twins are virtual representations of physical objects or systems used for the purpose of analysis, most often via computer simulations, in many engineering and scientific disciplines. Recently, this approach has been introduced to…

分布式、并行与集群计算 · 计算机科学 2023-04-18 Piotr Kica , Magdalena Otta , Krzysztof Czechowicz , Karol Zając , Piotr Nowakowski , Andrew Narracott , Ian Halliday , Maciej Malawski

The engineering community currently encounters significant challenges in the systematic development and validation of autonomy algorithms for off-road ground vehicles. These challenges are posed by unusually high test parameters and…

This paper presents the first probabilistic Digital Twin of operational en route airspace, developed for the London Area Control Centre. The Digital Twin is intended to support the development and rigorous human-in-the-loop evaluation of AI…

Digital twin (DT) technology has become of interest in the automotive industry. There is a growing need for smarter services that utilize the unique capabilities of DTs, ranging from computer-aided remote control to cloud-based fleet…

机器人学 · 计算机科学 2025-09-11 Stefan Ramdhan , Winnie Trandinh , Istvan David , Vera Pantelic , Mark Lawford

The report describes the discussions from the Workshop on Mathematical Opportunities in Digital Twins (MATH-DT) from December 11-13, 2023, George Mason University. It illustrates that foundational Mathematical advances are required for…

最优化与控制 · 数学 2024-03-25 Harbir Antil

Digital Twin technology is an emerging concept that has become the centre of attention for industry and, in more recent years, academia. The advancements in industry 4.0 concepts have facilitated its growth, particularly in the…

计算机与社会 · 计算机科学 2020-06-19 Aidan Fuller , Zhong Fan , Charles Day , Chris Barlow

The growing complexity of healthcare systems requires advanced computational models for real-time monitoring, secure data exchange, and intelligent decision-making. Digital Twins (DTs) provide virtual representations of physical healthcare…

新兴技术 · 计算机科学 2026-02-18 Asma Taheri Monfared , Andrea Bombarda , Angelo Gargantini , Majid Haghparast

Digital Twins (DTs) for physical wireless environments have been recently proposed as accurate virtual representations of the propagation environment that can enable multi-layer decisions at the physical communication equipment. At…

信号处理 · 电气工程与系统科学 2024-07-18 Lorenzo Cazzella , Francesco Linsalata , Maurizio Magarini , Matteo Matteucci , Umberto Spagnolini

The concept of digital twins has attracted significant attention across various domains, particularly within the built environment. However, there is a sheer volume of definitions and the terminological consensus remains out of reach. The…

计算与语言 · 计算机科学 2025-03-06 Mahmoud Abdelrahman , Edgardo Macatulad , Binyu Lei , Matias Quintana , Clayton Miller , Filip Biljecki

Digital twin (DT), refers to a promising technique to digitally and accurately represent actual physical entities. One typical advantage of DT is that it can be used to not only virtually replicate a system's detailed operations but also…

网络与互联网体系结构 · 计算机科学 2023-09-08 Jiayuan Chen , Changyan Yi , Samuel D. Okegbile , Jun Cai , Xuemin , Shen

To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learning models. To be applicable to realistic safety-critical…

机器学习 · 计算机科学 2021-05-07 John Törnblom , Simin Nadjm-Tehrani
‹ 上一页 1 8 9 10 下一页 ›