Case Study: Safety Controller for Autonomous Driving on Highways

doi:10.1007/978-3-031-94533-5_12

2026-01-01

PRE

Michaël Leuschel

Fabian Vu *

Kristin Rutenkolk

DOI：10.1007/978-3-031-94533-5_12

原文链接

原文求助

摘要

En 中文

本需求文档介绍了2025年ABZ会议的案例研究。该案例研究涉及高速公路上的自动驾驶安全控制器。描述包含两种案例研究变体。首先，在更简单的场景中，我们仅考虑单车道高速公路，每辆车可以加速和刹车。目标是保持与前车的安全距离。其次，我们考虑多车道高速公路，每辆车还可以变道。挑战在于建模系统和环境、推导假设以及建模保证安全的控制器。挑战还在于以使不完全熟悉所采用形式方法的读者信服的方式来呈现安全案例。案例研究设计为形式模型可用作高速公路模拟环境中的安全盾。我们提供预训练（不安全）的AI代理用于实验目的。本部分案例研究是可选的。

Keyword:

Formal Methods

Autonomous Driving

Case Study

Highway

Artificial Intelligence

期刊

RIGOROUS STATE-BASED METHODS, ABZ 2025

IF:

论文数:

被引数:

机构

heinrich heine university dusseldorf

学者数:

857

论文数: 329

被引数: 0

引用论文

Using simplicity to control complexity

IEEE Software

IF0

2001-07-01

PREAI

Lui Sha

Modeling and analysing Cyber–Physical Systems in HOL-CSP 在HOL-CSP中建模和分析赛博物理系统

Robotics and Autonomous Systems

IF0

2023-12-01

PREAI

Paolo Crisafulli; Safouan Taha; Burkhart Wolff

Neural Simplex Architecture 神经单纯形架构

Lecture Notes in Computer Science

IF0

2020-08-10

OAAI

Dung T. Phan; Radu Grosu; Nils Jansen; Nicola Paoletti; Scott A. Smolka; Scott D. Stoller

Human-level control through deep reinforcement learning 通过深度强化学习实现人类层面的控制

Nature

IF0

2015-02-25

PREAI

Volodymyr Mnih; Koray Kavukcuoglu; David Silver; Andrei A. Rusu; Joel Veness; Marc G. Bellemare; Alex Graves; Martin Riedmiller; Andreas K. Fidjeland; Georg Ostrovski; Stig Petersen; Charles Beattie; Amir Sadik; Ioannis Antonoglou; Helen King; Dharshan Kumaran; Daan Wierstra; Shane Legg; Demis Hassabis

IF0

PREAI

Goal-Aware RSS for Complex Scenarios via Program Logic

IEEE TRANSACTIONS ON INTELLIGENT VEHICLES

IF14.3

2023-04-01

OAAI

Hasuo, Ichiro; Eberhart, Clovis; Haydon, James; Dubut, Jeremy; Bohrer, Rose; Kobayashi, Tsutomu; Pruekprasert, Sasinee; Zhang, Xiao-Yi; Pallas, Erik Andre; Yamada, Akihisa; Suenaga, Kohei; Ishikawa, Fuyuki; Kamijo, Kenji; Shinya, Yoshiyuki; Suetomi, Takamasa

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement 基于Event-B精化方法的面向责任感知自动驾驶车辆的安全架构形式化建模

Lecture Notes in Computer Science

IF0

2023-03-03

PREAI

Tsutomu Kobayashi; Martin Bondu; Fuyuki Ishikawa

Safe Reinforcement Learning via Shielding

Proceedings of the AAAI Conference on Artificial Intelligence

IF0

2018-04-29

OAAI

Mohammed Alshiekh; Roderick Bloem; Rüdiger Ehlers; Bettina Könighofer; Scott Niekum; Ufuk Topcu