Computationally Efficient Fail-safe Trajectory Planning for Self-driving Vehicles Using Convex Optimization

Ensuring the safety of self-driving vehicles is a challenging task, especially if other traffic participants severely deviate from the predicted behavior. One solution is to ensure that the vehicle is able to execute a collision-free evasive trajectory at any time. However, a fast method to plan these socalled fail-safe trajectories does not yet exist. Our new approach plans fail-safe trajectories in arbitrary traffic scenarios by incorporating convex optimization techniques. By integrating safety verification in the planner, we are able to generate fail-safe trajectories in real-time, which are guaranteed to be safe. At the same time, we minimize jerk to provide enhanced comfort for passengers. The proposed benefits are demonstrated in different urban and highway scenarios using the CommonRoad benchmark suite and compared to a widely-used sampling-based planner.

[1]  Matthias Althoff,et al.  CommonRoad: Composable benchmarks for motion planning on roads , 2017, 2017 IEEE Intelligent Vehicles Symposium (IV).

[2]  E. Feron,et al.  Real-time motion planning for agile autonomous vehicles , 2000, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[3]  André Platzer,et al.  Towards Formal Verification of Freeway Traffic Control , 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

[4]  Matthias Althoff,et al.  Ensuring drivability of planned motions using formal methods , 2017, 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC).

[5]  M. Hiller,et al.  Optimization of emergency trajectories for autonomous vehicles with respect to linear vehicle dynamics , 2005, Proceedings, 2005 IEEE/ASME International Conference on Advanced Intelligent Mechatronics..

[6]  Roland Siegwart,et al.  Towards Safe Vehicle Navigation in Dynamic Urban Scenarios , 2009 .

[7]  Matthias Althoff,et al.  Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[8]  Bernd Westphal,et al.  Can we build it: formal synthesis of control strategies for cooperative driver assistance systems† , 2013, Mathematical Structures in Computer Science.

[9]  Rolf Isermann,et al.  Collision avoidance with combined braking and steering , 2015 .

[10]  Stephen P. Boyd,et al.  ECOS: An SOCP solver for embedded systems , 2013, 2013 European Control Conference (ECC).

[11]  Thierry Fraichard,et al.  A Short Paper about Motion Safety , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[12]  Matthias Althoff,et al.  Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles , 2018, 2018 IEEE Intelligent Vehicles Symposium (IV).

[13]  Lutz Gröll,et al.  Lateral Vehicle Trajectory Optimization Using Constrained Linear Time-Varying MPC , 2017, IEEE Transactions on Intelligent Transportation Systems.

[14]  Matthias Althoff,et al.  Online Verification of Automated Road Vehicles Using Reachability Analysis , 2014, IEEE Transactions on Robotics.

[15]  Matthias Althoff,et al.  Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules , 2017, 2017 IEEE Intelligent Vehicles Symposium (IV).

[16]  Stephen P. Boyd,et al.  CVXPY: A Python-Embedded Modeling Language for Convex Optimization , 2016, J. Mach. Learn. Res..

[17]  Jonas Sjöberg,et al.  Predictive manoeuvre generation for automated driving , 2013, 16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013).

[18]  Mo Chen,et al.  FaSTrack: A modular framework for fast and guaranteed safe motion planning , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[19]  Jonas Sjöberg,et al.  Predictive Threat Assessment via Reachability Analysis and Set Invariance Theory , 2011, IEEE Transactions on Intelligent Transportation Systems.

[20]  Emilio Frazzoli,et al.  Sampling-based algorithms for optimal motion planning , 2011, Int. J. Robotics Res..

[21]  Martin Buss,et al.  Safety assessment of robot trajectories for navigation in uncertain and dynamic environments , 2011, Autonomous Robots.

[22]  Dirk Wollherr,et al.  Grid-Based Environment Estimation Using Evidential Mapping and Particle Tracking , 2018, IEEE Transactions on Intelligent Vehicles.

[23]  Ernst-Rüdiger Olderog,et al.  Proving Safety of Traffic Manoeuvres on Country Roads , 2013, Theories of Programming and Formal Methods.

[24]  Matthias Althoff,et al.  Computing the Drivable Area of Autonomous Road Vehicles in Dynamic Road Scenes , 2018, IEEE Transactions on Intelligent Transportation Systems.

[25]  Jonas Fredriksson,et al.  Longitudinal and Lateral Control for Automated Yielding Maneuvers , 2016, IEEE Transactions on Intelligent Transportation Systems.

[26]  Julius Ziegler,et al.  Fast collision checking for intelligent vehicle motion planning , 2010, 2010 IEEE Intelligent Vehicles Symposium.

[27]  Hassen Salhi,et al.  Provably safe navigation for mobile robots with limited field-of-views in dynamic environments , 2012, Auton. Robots.

[28]  Matthias Althoff,et al.  SPOT: A tool for set-based prediction of traffic participants , 2017, 2017 IEEE Intelligent Vehicles Symposium (IV).

[29]  Karl Berntorp,et al.  Automated driving: Safe motion planning using positively invariant sets , 2017, 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC).

[30]  Wei Zhan,et al.  Spatially-partitioned environmental representation and planning architecture for on-road autonomous driving , 2017, 2017 IEEE Intelligent Vehicles Symposium (IV).

[31]  Julius Ziegler,et al.  Optimal trajectory generation for dynamic street scenarios in a Frenét Frame , 2010, 2010 IEEE International Conference on Robotics and Automation.

[32]  Julius Ziegler,et al.  Trajectory planning for Bertha — A local, continuous method , 2014, 2014 IEEE Intelligent Vehicles Symposium Proceedings.

[33]  Francesco Borrelli,et al.  A linear time varying model predictive control approach to the integrated vehicle dynamics control problem in autonomous systems , 2007, 2007 46th IEEE Conference on Decision and Control.

[34]  B. Moor,et al.  Mixed integer programming for multi-vehicle path planning , 2001, 2001 European Control Conference (ECC).

[35]  Siddhartha S. Srinivasa,et al.  CHOMP: Gradient optimization techniques for efficient motion planning , 2009, 2009 IEEE International Conference on Robotics and Automation.

[36]  Hassen Salhi,et al.  Provably safe navigation for mobile robots with limited field-of-views in unknown dynamic environments , 2012, 2012 IEEE International Conference on Robotics and Automation.

[37]  Dmitry Berenson,et al.  An optimization approach to planning for mobile manipulation , 2008, 2008 IEEE International Conference on Robotics and Automation.

[38]  Emilio Frazzoli,et al.  A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles , 2016, IEEE Transactions on Intelligent Vehicles.

[39]  Magdici Silvia,et al.  Fail-safe motion planning of autonomous vehicles , 2016 .

[40]  Ian M. Mitchell Comparing Forward and Backward Reachability as Tools for Safety Analysis , 2007, HSCC.

[41]  Christine Julien,et al.  Evasion planning for autonomous vehicles at intersections , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[42]  S. LaValle,et al.  Randomized Kinodynamic Planning , 2001 .