English
Related papers

Related papers: Closed-Loop Hybrid Digital Twin Platform for Conne…

200 papers

This paper presents the development of a real-time simulator for the validation of controlling a large vehicle manipulator. The need for this development can be justified by the lack of such a simulator: There are neither open source…

Robotics · Computer Science 2022-11-28 Balint Varga , Selina Meier , Soeren Hohmann

Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently, substantial research has focused on searching for failure scenarios in simulation. However, a…

Computer Vision and Pattern Recognition · Computer Science 2021-12-02 Edward Kim , Jay Shenoy , Sebastian Junges , Daniel Fremont , Alberto Sangiovanni-Vincentelli , Sanjit Seshia

Ensuring safety in autonomous driving requires a seamless integration of perception and decision making under uncertain conditions. Although computer vision (CV) models such as YOLO achieve high accuracy in detecting traffic signs and…

This paper addresses the challenging problem of enabling reliable immersive teleoperation in scenarios where an Unmanned Aerial Vehicle (UAV) is remotely controlled by an operator via a cellular network. Such scenarios can be quite critical…

Human-Computer Interaction · Computer Science 2023-08-29 Nassim Sehad , Xinyi Tu , Akash Rajasekaran , Hamed Hellaoui , Riku Jäntti , Mérouane Debbah

The emergence of connected vehicles is driven by increasing customer and regulatory demands. To meet these, more complex software applications, some of which require service-based cloud and edge backends, are developed. When new software is…

Emerging Technologies · Computer Science 2024-12-18 M. Weiß , J. Stümpfle , F. Dettinger , N. Jazdi , M. Weyrich

The increasing levels of software- and data-intensive driving automation call for an evolution of automotive software testing. As a recommended practice of the Verification and Validation (V&V) process of ISO/PAS 21448, a candidate standard…

Software Engineering · Computer Science 2021-01-29 Markus Borg , Raja Ben Abdessalem , Shiva Nejati , Francois-Xavier Jegeden , Donghwan Shin

Complex electronic control unit (ECU) architectures, software models and in-vehicle networks are consistently improving safety and comfort functions in modern vehicles. However, the extended functionality and increased connectivity…

Hardware Architecture · Computer Science 2025-05-22 Changhong Li , Shashwat Khandelwal , Shreejith Shanker

Traffic simulations are commonly used to optimize urban traffic flow, with reinforcement learning (RL) showing promising potential for automated traffic signal control, particularly in intelligent transportation systems involving connected…

Systems and Control · Electrical Eng. & Systems 2025-09-19 Talha Azfar , Kaicong Huang , Andrew Tracy , Sandra Misiewicz , Chenxi Liu , Ruimin Ke

The safety of single-vehicle autonomous driving technology is limited due to the limits of perception capability of on-board sensors. In contrast, vehicle-road collaboration technology can overcome those limits and improve the traffic…

Robotics · Computer Science 2022-08-16 D. Wu

This paper addresses the optimal control of Connected and Automated Vehicles (CAVs) arriving from two roads at a merging point where the objective is to jointly minimize the travel time and energy consumption of each CAV. The solution…

Systems and Control · Computer Science 2018-11-28 Wei Xiao , Christos G. Cassandras

Horizontal curves are often associated with roadway crashes due to speed misjudgment and loss of control. With the growing adoption of autonomous and connected vehicles, the accurate estimation of safe speed at curves is becoming…

Systems and Control · Electrical Eng. & Systems 2025-08-21 Araf Rahman , M. Sabbir Salek , Mashrur Chowdhury , Wayne A. Sarasua

Simulation offers advantages throughout the development process of automated driving functions, both in research and product development. Common open-source simulators like CARLA are extensively used in training, evaluation, and…

Robotics · Computer Science 2025-12-10 Nils Gehrke , David Brecht , Dominik Kulmer , Dheer Patel , Frank Diermeyer

Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations…

Logic in Computer Science · Computer Science 2019-02-26 Stefan Mitsch , André Platzer

Connected Autonomous Vehicles have great potential to improve automobile safety and traffic flow, especially in cooperative applications where perception data is shared between vehicles. However, this cooperation must be secured from…

Robotics · Computer Science 2024-09-05 Edward Andert , Francis Mendoza , Hans Walter Behrens , Aviral Shrivastava

This paper investigates a cooperative motion planning problem for large-scale connected autonomous vehicles (CAVs) under limited communications, which addresses the challenges of high communication and computing resource requirements. Our…

Robotics · Computer Science 2024-01-18 Haichao Liu , Zhenmin Huang , Zicheng Zhu , Yulin Li , Shaojie Shen , Jun Ma

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure…

Logic in Computer Science · Computer Science 2015-05-27 Stefan Mitsch , Grant Olney Passmore , Andre Platzer

The safety of autonomous vehicles (AVs) depends on their ability to perform complex computations on high-volume sensor data in a timely manner. Their ability to run these computations with state-of-the-art models is limited by the…

Robotics · Computer Science 2023-08-08 Peter Schafhalter , Sukrit Kalra , Le Xu , Joseph E. Gonzalez , Ion Stoica

For a successful market launch of automated vehicles (AVs), proof of their safety is essential. Due to the open parameter space, an infinite number of traffic situations can occur, which makes the proof of safety an unsolved problem. With…

Robotics · Computer Science 2020-08-27 Thomas Ponn , Matthias Breitfuß , Xiao Yu , Frank Diermeyer

The adoption process of innovative software-intensive technologies leverages complex trust concerns in different forms and shapes. Perceived safety plays a fundamental role in technology adoption, being especially crucial in the case of…

Other Computer Science · Computer Science 2023-03-24 Danish Iqbal , Barbora Buhnova , Emilia Cioroaica

Connected Autonomous Vehicles (CAVs) operate in dynamic, open, and multi-domain networks, rendering them vulnerable to various threats. Trust Management Systems (TMS) systematically organize essential steps in the trust mechanism,…

Artificial Intelligence · Computer Science 2025-05-14 Qian Xu , Lei Zhang , Yixiao Liu