English
Related papers

Related papers: Formal Safety Guarantees for Autonomous Vehicles u…

200 papers

Many research papers have recently focused on behavioral-based driver authentication systems in vehicles. Pushed by Artificial Intelligence (AI) advancements, these works propose powerful models to identify drivers through their unique…

Cryptography and Security · Computer Science 2024-06-11 Emad Efatinasab , Francesco Marchiori , Denis Donadel , Alessandro Brighente , Mauro Conti

Artificial intelligence (AI) models are becoming key components in an autonomous vehicle (AV), especially in handling complicated perception tasks. However, closing the loop through AI-based feedback may pose significant risks on…

Systems and Control · Electrical Eng. & Systems 2025-09-16 Tao Yan , Zheyu Zhang , Jingjing Jiang , Wen-Hua Chen

To improve the safety and efficiency of the intelligent transportation system, particularly in complex urban scenarios, in this paper a game theoretic decision-making framework is designed for connected automated vehicles (CAVs) at…

Systems and Control · Electrical Eng. & Systems 2021-04-12 Peng Hang , Chao Huang , Zhongxu Hu , Yang Xing , Chen Lv

Automated Driving Systems (ADSs) are being manufactured at an accelerated rate, leading to improvements in traffic safety, reduced energy consumption, pollution, and congestion. ADS relies on various data streams from onboard sensors,…

Networking and Internet Architecture · Computer Science 2023-11-27 André Budel , Reem Alhabib , Mark Nicholson , Poonam Yadav

Autonomous Vehicles (AVs) are complex systems that drive in uncertain environments and potentially navigate unforeseeable situations. Safety of these systems requires not only an absence of malfunctions but also high performance of…

Robotics · Computer Science 2021-05-11 Anne Collin , Artur Bilka , Scott Pendleton , Radboud Duintjer Tebbens

Connected and Autonomous Vehicles (CAVs) with their evolving data gathering capabilities will play a significant role in road safety and efficiency applications supported by Intelligent Transport Systems (ITS), such as Traffic Signal…

Cryptography and Security · Computer Science 2021-08-25 Ranwa Al Mallah , Talal Halabi , Bilal Farooq

Controlling connected automated vehicles (CAVs) via vehicle-to-everything (V2X) connectivity holds significant promise for improving fuel economy and traffic efficiency. However, to deploy CAVs and reap their benefits, their controllers…

Systems and Control · Electrical Eng. & Systems 2024-09-12 Yuchen Chen , Gabor Orosz , Tamas G. Molnar

Assuring safety for ``AI-based'' systems is one of the current challenges in safety engineering. For automated driving systems, in particular, further assurance challenges result from the open context that the systems need to operate in…

Systems and Control · Electrical Eng. & Systems 2025-07-29 Marcus Nolte , Nayel Fabian Salem , Olaf Franke , Jan Heckmann , Christoph Höhmann , Georg Stettinger , Markus Maurer

Autonomous driving systems have witnessed a significant development during the past years thanks to the advance in machine learning-enabled sensing and decision-making algorithms. One critical challenge for their massive deployment in the…

Robotics · Computer Science 2023-06-22 Wenhao Ding , Chejian Xu , Mansur Arief , Haohong Lin , Bo Li , Ding Zhao

Autonomous Vehicle has been transforming intelligent transportation systems. As telecommunication technology improves, autonomous vehicles are getting connected to each other and to infrastructures, forming Connected and Autonomous Vehicles…

Cryptography and Security · Computer Science 2020-07-17 Minh Pham , Kaiqi Xiong

This paper develops an Optimal Safe Sequencing (OSS) control framework for Connected and Automated Vehicles (CAVs) navigating a single-lane roundabout in mixed traffic, where both CAVs and Human-Driven Vehicles (HDVs) coexist. The framework…

Systems and Control · Electrical Eng. & Systems 2025-03-26 Yingqing Chen , Christos G. Cassandras

Autonomous Vehicles (AVs) promise a range of societal advantages, including broader access to mobility, reduced road accidents, and enhanced transportation efficiency. However, evaluating the risks linked to AVs is complex due to limited…

Robotics · Computer Science 2023-11-30 Alessandro Zanardi , Andrea Censi , Margherita Atzei , Luigi Di Lillo , Emilio Frazzoli

An excellent self-driving car is expected to take its passengers safely and efficiently from one place to another. However, different ways of defining safety and efficiency may significantly affect the conclusion we make. In this paper, we…

Signal Processing · Electrical Eng. & Systems 2018-06-06 Yuan-Ying Wang , Hung-Yu Wei

There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough. From published quantitative safety and reliability assessments of AVs, we know that, given the goal of predicting very low rates of accidents,…

Artificial Intelligence · Computer Science 2020-03-27 Xingyu Zhao , Valentin Robu , David Flynn , Kizito Salako , Lorenzo Strigini

Connected Autonomous Vehicles (CAVs) are widely expected to improve traffic safety and efficiency by exploiting information from surrounding vehicles via V2V communication. A CAV typically adapts its speed based on information from the…

Systems and Control · Electrical Eng. & Systems 2023-04-05 Mohit Garg , Mélanie Bouroche

We consider the merging control problem for Connected and Automated Vehicles (CAVs) aiming to jointly minimize travel time and energy consumption while providing speed-dependent safety guarantees and satisfying velocity and acceleration…

Systems and Control · Electrical Eng. & Systems 2022-03-10 Kaiyuan Xu , Wei Xiao , Christos G. Cassandras

This report focuses on safety aspects of connected and automated vehicles (CAVs). The fundamental question to be answered is how can CAVs improve road users' safety? Using advanced data mining and thematic text analytics tools, the goal is…

Computers and Society · Computer Science 2021-01-18 Asad J. Khattak , Iman Mahdinia , Sevin Mohammadi , Amin Mohammadnazar , Behram Wali

Artificial Intelligence (AI) has emerged as a key technology, driving advancements across a range of applications. Its integration into modern autonomous systems requires assuring safety. However, the challenge of assuring safety in systems…

Machine Learning · Computer Science 2024-12-19 Ronald Schnitzer , Lennart Kilian , Simon Roessner , Konstantinos Theodorou , Sonja Zillner

Testing cloud-controlled intelligent connected vehicles (ICVs) requires simulation environments that faithfully emulate both vehicle behavior and realistic communication latencies. This paper proposes a latency-aware co-simulation platform…

Smart Cities and Communities (SCC) constitute a new paradigm in urban development. SCC ideates on a data-centered society aiming at improving efficiency by automating and optimizing activities and utilities. Information and communication…

Artificial Intelligence · Computer Science 2021-05-13 Cristofer Englund , Eren Erdal Aksoy , Fernando Alonso-Fernandez , Martin Daniel Cooney , Sepideh Pashami , Bjorn Astrand
‹ Prev 1 8 9 10 Next ›