English
Related papers

Related papers: Formal Certification Methods for Automated Vehicle…

200 papers

This paper focuses on safety performance testing and characterization of black-box highly automated vehicles (HAV). Existing testing approaches typically obtain the testing outcomes by deploying the HAV into a specific testing environment.…

Robotics · Computer Science 2024-02-05 Minghao Zhu , Anmol Sidhu , Keith A. Redmill

The development of Autonomous Vehicles (AVs) has made significant progress in the last years. An essential aspect in the development of AVs is the assessment of quality and performance aspects of the AVs, such as safety, comfort, and…

Robotics · Computer Science 2020-12-03 Erwin de Gelder , Olaf Op den Camp

To date, hundreds of crashes have occurred in open road testing of automated vehicles (AVs), highlighting the need for improving AV reliability and safety. Pre-crash scenario typology classifies crashes based on vehicle dynamics and…

Robotics · Computer Science 2025-03-03 Yixuan Li , Xuesong Wang , Tianyi Wang , Qian Liu

Recently, autonomous driving development ignited competition among car makers and technical corporations. Low-level automation cars are already commercially available. But high automated vehicles where the vehicle drives by itself without…

Robotics · Computer Science 2019-05-24 Hengyu Zhao , Yubo Zhang , Pingfan Meng , Hui Shi , Li Erran Li , Tiancheng Lou , Jishen Zhao

We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies. From the design-time assurance perspective, we…

Systems and Control · Electrical Eng. & Systems 2022-05-17 Ali Baheri , Hao Ren , Benjamin Johnson , Pouria Razzaghi , Peng Wei

With an increasing degree of automation, automated vehicle systems become more complex in terms of functional components as well as interconnected hardware and software components. Thus, holistic systems engineering becomes a severe…

Systems and Control · Computer Science 2018-04-25 Gerrit Bagschik , Marcus Nolte , Susanne Ernst , Markus Maurer

Automated vehicles promise to enhance transportation safety and efficiency. However, ensuring their reliability in real-world conditions remains challenging, particularly due to rare and unexpected situations known as edge cases. While…

The interest in autonomous vehicles (AVs) for critical missions, including transportation, rescue, surveillance, reconnaissance, and mapping, is growing rapidly due to their significant safety and mobility benefits. AVs consist of complex…

Cryptography and Security · Computer Science 2025-09-23 Md Wasiul Haque , Md Erfan , Sagar Dasgupta , Md Rayhanur Rahman , Mizanur Rahman

We build on our recent work on formalization of responsibility-sensitive safety (RSS) and present the first formal framework that enables mathematical proofs of the safety of control strategies in intersection scenarios. Intersection…

Robotics · Computer Science 2023-08-15 James Haydon , Martin Bondu , Clovis Eberhart , Jérémy Dubut , Ichiro Hasuo

The rapid advancements in autonomous vehicle software present both opportunities and challenges, especially in enhancing road safety. The primary objective of autonomous vehicles is to reduce accident rates through improved safety measures.…

Robotics · Computer Science 2024-10-22 Carlos Conejo , Vicenç Puig , Bernardo Morcego , Francisco Navas , Vicente Milanés

Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near future. Despite tremendous advances within this context,…

Driving Automation Systems (DAS) are subject to complex road environments and vehicle behaviors and increasingly rely on sophisticated sensors and Artificial Intelligence (AI). These properties give rise to unique safety faults stemming…

Machine Learning · Computer Science 2024-01-10 Krzysztof Czarnecki , Hiroshi Kuwajima

The development of software components for autonomous driving functions should always include an extensive and rigorous evaluation. Since real-world testing is expensive and safety-critical -- especially when facing dynamic racing scenarios…

Robotics · Computer Science 2020-06-18 Tim Stahl , Johannes Betz

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

Increasing communication and self-driving capabilities for road vehicles lead to threats imposed by attackers. Especially attacks leading to safety violations have to be identified to address them by appropriate measures. The impact of an…

Cryptography and Security · Computer Science 2021-08-11 Christian Wolschke , Behrooz Sangchoolie , Jacob Simon , Stefan Marksteiner , Tobias Braun , Hayk Hamazaryan

A major challenge in the safety assessment of automated vehicles is to ensure that risk for all traffic participants is as low as possible. A concept that is becoming increasingly popular for testing in automated driving is scenario-based…

Robotics · Computer Science 2022-11-28 Maximilian Zipfl , Barbara Schütt , J. Marius Zöllner , Eric Sax

The capability to follow a lead-vehicle and avoid rear-end collisions is one of the most important functionalities for human drivers and various Advanced Driver Assist Systems (ADAS). Existing safety performance justification of the…

Robotics · Computer Science 2022-05-25 Bowen Weng , Minghao Zhu , Keith Redmill

Testing of function safety and Safety Of The Intended Functionality (SOTIF) is important for autonomous vehicles (AVs). It is hard to test the AV's hazard response in the real world because it would involve hazards to passengers and other…

Robotics · Computer Science 2023-07-21 Longfei Mo , Min Hua , Hongyu Sun , Hongming Xu , Bin Shuai , Quan Zhou

Safe and smooth interacting with other vehicles is one of the ultimate goals of driving automation. However, recent reports of demonstrative deployments of automated vehicles (AVs) indicate that AVs are still difficult to meet the…

Systems and Control · Electrical Eng. & Systems 2022-05-11 Daofei Li , Ao Liu , Hao Pan , Wentao Chen

Autonomous vehicles (AVs) have demonstrated significant potential in revolutionizing transportation, yet ensuring their safety and reliability remains a critical challenge, especially when exposed to dynamic and unpredictable environments.…

‹ Prev 1 8 9 10 Next ›