English
Related papers

Related papers: Digital Twin Enabled Runtime Verification for Auto…

200 papers

As the security of public spaces remains a critical issue in today's world, Digital Twin technologies have emerged in recent years as a promising solution for detecting and predicting potential future threats. The applied methodology…

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…

The concept of creating a virtual copy of a complete Cyber-Physical System opens up numerous possibilities, including real-time assessments of the physical environment and continuous learning from the system to provide reliable and precise…

Artificial Intelligence · Computer Science 2023-11-22 Carine Menezes Rebello , Johannes Jäschkea , Idelfonso B. R. Nogueira

The safety of mobile robots in dynamic environments is predicated on making sure that they do not collide with obstacles. In support of such safety arguments, we analyze and formally verify a series of increasingly powerful safety…

Systems and Control · Computer Science 2019-06-20 Stefan Mitsch , Khalil Ghorbal , David Vogelbacher , André Platzer

In the rapidly advancing field of robotics, dual-arm coordination and complex object manipulation are essential capabilities for developing advanced autonomous systems. However, the scarcity of diverse, high-quality demonstration data and…

We present methods and applications for the development of digital twins (DT) for urban traffic management. While the majority of studies on the DT focus on its ``eyes," which is the emerging sensing and perception like object detection and…

Systems and Control · Electrical Eng. & Systems 2026-02-05 Yongjie Fu , Mehmet K. Turkcan , Mahshid Ghasemi , Zhaobin Mo , Chengbo Zang , Abhishek Adhikari , Zoran Kostic , Gil Zussman , Xuan Di

Autonomous surface vessels (ASVs) play an increasingly important role in the safety and sustainability of open sea operations. Since most maritime accidents are related to human failure, intelligent algorithms for autonomous collision…

Robotics · Computer Science 2024-04-02 Daniel Menges , Andreas Von Brandis , Adil Rasheed

This paper presents a Digital Twin (DT) framework for the remote control of an Autonomous Guided Vehicle (AGV) within a Network Control System (NCS). The AGV is monitored and controlled using Integrated Sensing and Communications (ISAC). In…

Signal Processing · Electrical Eng. & Systems 2024-09-13 Van-Phuc Bui , Pedro Maia de Sant Ana , Soheil Gherekhloo , Shashi Raj Pandey , Petar Popovski

The increasing penetration of distributed energy resources (DERs) is transforming distribution networks into actively managed systems, introducing challenges related to voltage regulation, thermal loading limits, and operational security.…

Systems and Control · Electrical Eng. & Systems 2026-04-16 Anosh Arshad Sundhu , Aysegül Kahraman , Spyros Chatzivasileiadis

Robotic surgery imposes a significant cognitive burden on the surgeon. This cognitive burden increases in the case of remote robotic surgeries due to latency between entities and thus might affect the quality of surgery. Here, the patient…

In this paper, a novel, dual-mode model predictive control framework is introduced that combines the dynamic window approach to navigation with reference tracking controllers. This adds a deliberative component to the obstacle avoidance…

Systems and Control · Computer Science 2018-08-20 Greg Droge

Optimizing modern wireless networks is exceptionally challenging due to their high dynamism and complexity. While the agentic artificial intelligence (AI) powered by reinforcement learning (RL) offers a promising solution, its practical…

Systems and Control · Electrical Eng. & Systems 2025-11-26 Zhenyu Tao , Wei Xu , Xiaohu You

This paper addresses the problem of automatically detecting and quantifying performance degradation in remote mobile robots during task execution. A robot may encounter a variety of uncertainties and adversities during task execution, which…

Robotics · Computer Science 2022-07-06 Aniketh Ramesh , Rustam Stolkin , Manolis Chiou

Connected and automated vehicles (CAVs) are supposed to share the road with human-driven vehicles (HDVs) in a foreseeable future. Therefore, considering the mixed traffic environment is more pragmatic, as the well-planned operation of CAVs…

Systems and Control · Electrical Eng. & Systems 2024-09-05 Xishun Liao , Xuanpeng Zhao , Ziran Wang , Zhouqiao Zhao , Kyungtae Han , Rohit Gupta , Matthew J. Barth , Guoyuan Wu

Traffic safety is a critical concern in transportation engineering and urban planning. Traditional traffic safety analysis requires trained observers to collect data in the field, which is time-consuming, labor-intensive, and sometimes…

Systems and Control · Electrical Eng. & Systems 2025-02-14 Guanhao Xu , Jianfei Chen , Zejiang Wang , Anye Zhou , Max Schrader , Joshua Bittle , Yunli Shao

The introduction of assistive construction robots can significantly alleviate physical demands on construction workers while enhancing both the productivity and safety of construction projects. Leveraging a Building Information Model (BIM)…

Robotics · Computer Science 2024-06-11 Xi Wang , Hongrui Yu , Wes McGee , Carol C. Menassa , Vineet R. Kamat

Digital twin (DT) technology enables real-time simulation, prediction, and optimization of physical systems, but practical deployment faces challenges from high data requirements, proprietary data constraints, and limited adaptability to…

The real-time supervision of production processes is a common challenge across several industries. It targets process component monitoring and its predictive maintenance in order to ensure safety, uninterrupted production and maintain high…

Machine Learning · Computer Science 2026-02-27 Osimone Imhogiemhe , Yoann Jus , Hubert Lejeune , Saïd Moussaoui

As drones and autonomous cars become more widespread it is becoming increasingly important that robots can operate safely under realistic conditions. The noisy information fed into real systems means that robots must use estimates of the…

Robotics · Computer Science 2017-06-01 Brian Axelrod , Leslie Pack Kaelbling , Tomás Lozano-Pérez

Simulation frameworks have been key enablers for the development and validation of autonomous driving systems. However, existing methods struggle to comprehensively address the autonomy-oriented requirements of balancing: (i) dynamical…

Robotics · Computer Science 2026-02-23 Tanmay Vilas Samak , Chinmay Vilas Samak , Bing Li , Venkat Krovi
‹ Prev 1 3 4 5 6 7 10 Next ›