中文
相关论文

相关论文: Probabilistic Safety Verification for an Autonomou…

200 篇论文

This paper presents a method to predict the evolution of a complex traffic scenario with multiple objects. The current state of the scenario is assumed to be known from sensors and the prediction is taking into account various hypotheses…

机器学习 · 计算机科学 2025-12-16 Parthasarathy Nadarajan , Michael Botsch

Stochastic Model Predictive Control has proved to be an efficient method to plan trajectories in uncertain environments, e.g., for autonomous vehicles. Chance constraints ensure that the probability of collision is bounded by a predefined…

系统与控制 · 电气工程与系统科学 2021-05-17 Tim Brüdigam , Fulvio di Luzio , Lucia Pallottino , Dirk Wollherr , Marion Leibold

Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We need well-founded criteria showing that simulation does…

软件工程 · 计算机科学 2023-01-24 Changwen Li , Joseph Sifakis , Qiang Wang , Rongjie Yan , Jian Zhang

Autonomous vehicles (AV) look set to become common on our roads within the next few years. However, to achieve the final breakthrough, not only functional progress is required, but also satisfactory safety assurance must be provided. Among…

机器人学 · 计算机科学 2025-06-04 Peter Popov , Lorenzo Strigini , Cornelius Buerkle , Fabian Oboril , Michael Paulitsch

Risk assessment is a central element for the development and validation of Autonomous Vehicles (AV). It comprises a combination of occurrence probability and severity of future critical events. Time Headway (TH) as well as Time-To-Contact…

人工智能 · 计算机科学 2023-03-14 Tim Puphal , Malte Probst , Julian Eggert

Precise and comprehensive situational awareness is a critical capability of modern autonomous systems. Deep neural networks that perceive task-critical details from rich sensory signals have become ubiquitous; however, their black-box…

系统与控制 · 电气工程与系统科学 2025-08-21 Jordan Peper , Yan Miao , Sayan Mitra , Ivan Ruchkin

We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the behaviour of an ADS in the specified traffic scenario. The…

人工智能 · 计算机科学 2022-11-24 Renjue Li , Tianhang Qin , Pengfei Yang , Cheng-Chao Huang , Youcheng Sun , Lijun Zhang

Learning-based methodologies increasingly find applications in safety-critical domains like autonomous driving and medical robotics. Due to the rare nature of dangerous events, real-world testing is prohibitively expensive and unscalable.…

机器学习 · 计算机科学 2021-08-10 Aman Sinha , Matthew O'Kelly , Russ Tedrake , John Duchi

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

系统与控制 · 电气工程与系统科学 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta

Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as…

机器学习 · 计算机科学 2025-04-30 Christopher Watson , Rajeev Alur , Divya Gopinath , Ravi Mangal , Corina S. Pasareanu

Ensuring the safety of autonomous vehicles, given the uncertainty in sensing other road users, is an open problem. Moreover, separate safety specifications for perception and planning components raise how to assess the overall system…

多智能体系统 · 计算机科学 2021-07-22 Julian Bernhard , Patrick Hart , Amit Sahu , Christoph Schöller , Michell Guzman Cancimance

In this paper, a probabilistic space-time representation of complex traffic scenarios is predicted using machine learning algorithms. Such a representation is significant for all active vehicle safety applications especially when performing…

机器学习 · 计算机科学 2025-12-16 Parthasarathy Nadarajan , Michael Botsch , Sebastian Sardina

Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challenge by introducing an approach for adapting probabilistic…

计算机科学中的逻辑 · 计算机科学 2026-04-10 Gricel Vázquez , Calum Imrie , Sepeedeh Shahbeigi , Nawshin Mannan Proma , Tian Gan , Victoria J Hodge , John Molloy , Simos Gerasimou

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…

机器人学 · 计算机科学 2023-05-08 Ivo Batkovic , Ankit Gupta , Mario Zanon , Paolo Falcone

It is hard to test autonomous robot (AR) software because of the range and diversity of external situations (terrain, obstacles, humans, peer robots) that AR must deal with. Common measures of testing adequacy may not address this…

软件工程 · 计算机科学 2019-11-18 Heather Hawkins , Rob Alexander

As autonomous vehicle technology advances, the precise assessment of safety in complex traffic scenarios becomes crucial, especially in mixed-vehicle environments where human perception of safety must be taken into account. This paper…

机器人学 · 计算机科学 2025-03-28 Enrico Del Re , Amirhesam Aghanouri , Cristina Olaverri-Monreal

Validating the safety of Autonomous Vehicles (AVs) operating in open-ended, dynamic environments is challenging as vehicles will eventually encounter safety-critical situations for which there is not representative training data. By…

人工智能 · 计算机科学 2024-03-14 Enrik Maci , Rhys Howard , Lars Kunze

Scenario-based testing is envisioned as a key approach for the safety assurance of autonomous vehicles. In scenario-based testing, relevant (driving) scenarios are the basis of tests. Many recent works focus on specification, variation,…

软件工程 · 计算机科学 2023-07-12 Till Schallau , Stefan Naujokat , Fiona Kullmann , Falk Howar

The advance towards higher levels of automation within the field of automated driving is accompanied by increasing requirements for the operational safety of vehicles. Induced by the limitation of computational resources, trade-offs between…

机器人学 · 计算机科学 2023-02-15 Matti Henning , Jan Strohbeck , Michael Buchholz , Klaus Dietmayer

This paper presents a scenario generation framework that creates diverse, parametrized, and safety-critical driving situations to validate the safety features of autonomous vehicles in simulation [15]. By modeling factors such as road…

系统与控制 · 电气工程与系统科学 2026-04-09 Kiruthiga Chandra Shekar , Aliasghar Moj Arab
‹ 上一页 1 2 3 10 下一页 ›