Litcius/Paper detail

Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization

Christian Pek, Matthias Althoff

2020IEEE Transactions on Robotics84 citationsDOIOpen Access PDF

Abstract

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.

Topics & Concepts

Motion planningMotion (physics)Computer scienceTask (project management)PremiseTrajectoryCollision avoidanceVehicle dynamicsSimulationArtificial intelligenceControl engineeringEngineeringRobotSystems engineeringCollisionComputer securityAutomotive engineeringLinguisticsAstronomyPhilosophyPhysicsRobotic Path Planning AlgorithmsAutonomous Vehicle Technology and SafetyFormal Methods in Verification