期刊
IEEE TRANSACTIONS ON ROBOTICS
卷 37, 期 3, 页码 798-814出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TRO.2020.3036624
关键词
Trajectory; Planning; Autonomous vehicles; Safety; Integrated circuits; Real-time systems; Robots; Autonomous vehicles; fail-safe operation; formal verification; motion planning; safe states; set-based computation
类别
资金
- German Federal Ministry of Economics and Technology through the research initiative Ko-HAF
- project interACT within the EU Horizon 2020 programme [723395]
- H2020 Societal Challenges Programme [723395] Funding Source: H2020 Societal Challenges Programme
This article presents a verification technique for safe motion planning of autonomous vehicles, ensuring collision avoidance using fail-safe trajectories. The real-time capable verification technique operates under the premise of executing only verified safe trajectories, demonstrating potential to drastically reduce accidents without overly conservative behaviors.
Safe motion planning for autonomous vehicles is a challenging task, since the exact future motion of other traffic participant is usually unknown. In this article, we present a verification technique ensuring that autonomous vehicles do not cause collisions by using fail-safe trajectories. Fail-safe trajectories are executed if the intended motion of the autonomous vehicle causes a safety-critical situation. Our verification technique is real-time capable and operates under the premise that intended trajectories are only executed if they have been verified as safe. The benefits of our proposed approach are demonstrated in different scenarios on an actual vehicle. Moreover, we present the first in-depth analysis of our verification technique used in dense urban traffic. Our results indicate that fail-safe motion planning has the potential to drastically reduce accidents while not resulting in overly conservative behaviors of the autonomous vehicle.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据