English
Related papers

Related papers: Formal Safety Guarantees for Autonomous Vehicles u…

200 papers

The rapid integration of AI algorithms in safety-critical applications such as autonomous driving and healthcare is raising significant concerns about the ability to meet stringent safety standards. Traditional tools for formal safety…

Artificial Intelligence · Computer Science 2026-01-21 Oliver Schön , Zhengang Zhong , Sadegh Soudjani

Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation. Recent advances in Level 3 and Level 4 autonomous driving have motivated…

Systems and Control · Electrical Eng. & Systems 2022-05-09 Tong Zhao , Ekim Yurtsever , Joel Paulson , Giorgio Rizzoni

In the realm of autonomous driving, the development and integration of highly complex and heterogeneous systems are standard practice. Modern vehicles are not monolithic systems; instead, they are composed of diverse hardware components,…

Software Engineering · Computer Science 2024-11-25 Paolo Burgio , Angelo Ferrando , Marco Villani

We address the security of a network of Connected and Automated Vehicles (CAVs) cooperating to safely navigate through a conflict area (e.g., traffic intersections, merging roadways, roundabouts). Previous studies have shown that such a…

Systems and Control · Electrical Eng. & Systems 2024-03-26 H M Sabbir Ahmad , Ehsan Sabouni , Akua Dickson , Wei Xiao , Christos G. Cassandras , Wenchao Li

In this paper, we extend a framework that we developed earlier for coordination of connected and automated vehicles (CAVs) at a signal-free intersection by integrating a safety layer using control barrier functions. First, in our motion…

Systems and Control · Electrical Eng. & Systems 2022-12-16 Behdad Chalaki , Andreas A. Malikopoulos

Autonomous driving vehicles provide a vast potential for realizing use cases in the on-road and off-road domains. Consequently, remarkable solutions exist to autonomous systems' environmental perception and control. Nevertheless, proof of…

Robotics · Computer Science 2024-03-29 Patrick Wolf

Connected automated vehicles (CAVs) have shown great potential in improving traffic throughput and stability. Although various longitudinal control strategies have been developed for CAVs to achieve string stability in mixed-autonomy…

Systems and Control · Electrical Eng. & Systems 2023-10-09 Huan Yu , Chenguang Zhao , Tamas G. Molnar

The technology in the area of automated vehicles is gaining speed and promises many advantages. However, with the recent introduction of conditionally automated driving, we have also seen accidents. Test protocols for both, conditionally…

Software Engineering · Computer Science 2017-08-24 Alessia Knauss , Jan Schröder , Christian Berger , Henrik Eriksson

This paper studies safe driving interactions between Human-Driven Vehicles (HDVs) and Connected and Automated Vehicles (CAVs) in mixed traffic where the dynamics and control policies of HDVs are unknown and hard to predict. In order to…

Systems and Control · Electrical Eng. & Systems 2023-10-03 Anni Li , Christos G. Cassandras , Wei Xiao

Securing safe driving for connected and autonomous vehicles (CAVs) continues to be a widespread concern, despite various sophisticated functions delivered by artificial intelligence for in-vehicle devices. Diverse malicious network attacks…

Networking and Internet Architecture · Computer Science 2024-10-28 Le Xia , Yao Sun , Rafiq Swash , Lina Mohjazi , Lei Zhang , Muhammad Ali Imran

The rapid adoption of autonomous vehicle has established mixed traffic environments, comprising both autonomous and human-driven vehicles (HDVs), as essential components of next-generation mobility systems. Along these lines, connectivity…

Systems and Control · Electrical Eng. & Systems 2025-06-19 Filippos Tzortzoglou , Logan E. Beaver

Earlier work has established a decentralized optimal control framework for coordinating online a continuous flow of connected automated vehicles (CAVs) entering a control zone and crossing two adjacent intersections in an urban area. A…

Optimization and Control · Mathematics 2017-02-21 Yue Zhang , Christos G. Cassandras , Andreas A. Malikopoulos

Autonomous driving has been the subject of increased interest in recent years both in industry and in academia. Serious efforts are being pursued to address legal, technical and logistical problems and make autonomous cars a viable option…

Artificial Intelligence · Computer Science 2016-08-31 Nan Li , Dave Oyler , Mengxuan Zhang , Yildiray Yildiz , Ilya Kolmanovsky , Anouck Girard

In modern robotics, addressing the lack of accurate state space information in real-world scenarios has led to a significant focus on utilizing visuomotor observation to provide safety assurances. Although supervised learning methods, such…

Robotics · Computer Science 2024-09-20 Manan Tayal , Aditya Singh , Pushpak Jagtap , Shishir Kolathaya

The growing advancements in Autonomous Vehicles (AVs) have emphasized the critical need to prioritize the absolute safety of AV maneuvers, especially in dynamic and unpredictable environments or situations. This objective becomes even more…

Robotics · Computer Science 2023-05-30 Dimia Iberraken , Lounis Adouane

Future smart cities and intelligent world will have connected vehicles and smart cars as its indispensable and most essential components. The communication and interaction among such connected entities in this vehicular internet of things…

Cryptography and Security · Computer Science 2019-08-23 Maanak Gupta , James Benson , Farhan Patwa , Ravi Sandhu

The introduction sets the stage for exploring collaborative approaches to bolstering smart vehicle cybersecurity through AI-driven threat detection. As the automotive industry increasingly adopts connected and automated vehicles (CAVs), the…

Cryptography and Security · Computer Science 2025-01-03 Syed Atif Ali , Salwa Din

The full deployment of autonomous driving systems on a worldwide scale requires that the self-driving vehicle be operated in a provably safe manner, i.e., the vehicle must be able to avoid collisions in any possible traffic situation. In…

Robotics · Computer Science 2023-05-08 Ivo Batkovic , Ankit Gupta , Mario Zanon , Paolo Falcone

We address the problem of controlling Connected and Automated Vehicles (CAVs) in conflict areas of a traffic network subject to hard safety constraints. It has been shown that such problems can be solved through a combination of tractable…

Systems and Control · Electrical Eng. & Systems 2022-09-28 Ehsan Sabouni , Christos G. Cassandras , Wei Xiao , Nader Meskin

Autonomous vehicles (AVs) are promoted as a technology that will create a future with effortless driving and virtually no traffic accidents. AV companies claim that, when fully developed, the technology will eliminate 94% of all accidents…

Robotics · Computer Science 2021-04-15 Akhil Shetty , Mengqiao Yu , Alex Kurzhanskiy , Offer Grembek , Hamidreza Tavafoghi , Pravin Varaiya
‹ Prev 1 2 3 10 Next ›