Optimization-Based Collision Avoidance

This paper presents a novel method for reformulating non-differentiable collision avoidance constraints into smooth nonlinear constraints using strong duality of convex optimization. We focus on a controlled object whose goal is to avoid obstacles while moving in an n-dimensional space. The proposed reformulation does not introduce approximations, and applies to general obstacles and controlled objects that can be represented in an n-dimensional space as the finite union of convex sets. Furthermore, we connect our results with the notion of signed distance, which is widely used in traditional trajectory generation algorithms. Our method can be used in generic navigation and trajectory planning tasks, and the smoothness property allows the use of general-purpose gradient- and Hessian-based optimization algorithms. Finally, in case a collision cannot be avoided, our framework allows us to find "least-intrusive" trajectories, measured in terms of penetration. We demonstrate the efficacy of our framework on a quadcopter navigation and automated parking problem, and our numerical experiments suggest that the proposed methods enable real-time optimization-based trajectory planning problems in tight environments. Source code of our implementation is provided at this https URL

[1]  Jonathan P. How,et al.  Aircraft trajectory planning with collision avoidance using mixed integer linear programming , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[2]  Stefan Schaal,et al.  STOMP: Stochastic trajectory optimization for motion planning , 2011, 2011 IEEE International Conference on Robotics and Automation.

[3]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[4]  Francesco Borrelli,et al.  Predictive Control of Autonomous Ground Vehicles With Obstacle Avoidance on Slippery Roads , 2010 .

[5]  RaphaelBertram,et al.  Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths" , 1972 .

[6]  Manfred Morari,et al.  Optimization‐based autonomous racing of 1:43 scale RC cars , 2015, ArXiv.

[7]  Iain Dunning,et al.  JuMP: A Modeling Language for Mathematical Optimization , 2015, SIAM Rev..

[8]  Chonhyon Park,et al.  ITOMP: Incremental Trajectory Optimization for Real-Time Replanning in Dynamic Environments , 2012, ICAPS.

[9]  Maxim Likhachev,et al.  Planning Long Dynamically Feasible Maneuvers for Autonomous Vehicles , 2008, Int. J. Robotics Res..

[10]  Agus Budiyono,et al.  Model predictive control for obstacle avoidance as hybrid systems of small scale helicopter , 2013, 2013 3rd International Conference on Instrumentation Control and Automation (ICA).

[11]  Alberto Bemporad,et al.  Predictive Control for Linear and Hybrid Systems , 2017 .

[12]  L. Shepp,et al.  OPTIMAL PATHS FOR A CAR THAT GOES BOTH FORWARDS AND BACKWARDS , 1990 .

[13]  I. Michael Ross,et al.  Direct trajectory optimization by a Chebyshev pseudospectral method , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[14]  Pierre-Brice Wieber,et al.  Fast Direct Multiple Shooting Algorithms for Optimal Robot Control , 2005 .

[15]  David G. Kirkpatrick,et al.  Computing the intersection-depth of polyhedra , 1993, Algorithmica.

[16]  Saïd Mammar,et al.  Automatic parallel parking with geometric continuous-curvature path planning , 2014, 2014 IEEE Intelligent Vehicles Symposium Proceedings.

[17]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[18]  Vijay Kumar,et al.  Trajectory generation and control for precise aggressive maneuvers with quadrotors , 2012, Int. J. Robotics Res..

[19]  René Henrion,et al.  Path planning and collision avoidance for robots , 2012 .

[20]  John Lygeros,et al.  Hamilton–Jacobi Formulation for Reach–Avoid Differential Games , 2009, IEEE Transactions on Automatic Control.

[21]  David González,et al.  A Review of Motion Planning Techniques for Automated Vehicles , 2016, IEEE Transactions on Intelligent Transportation Systems.

[22]  Francesco Borrelli,et al.  A dynamic programming approach for nonholonomic vehicle maneuvering in tight environments , 2016, 2016 IEEE Intelligent Vehicles Symposium (IV).

[23]  Jean-Daniel Boissonnat,et al.  Shortest paths of bounded curvature in the plane , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[24]  Daniel Mellinger,et al.  Trajectory generation and control for quadrotors , 2012 .

[25]  Christos Katrakazas,et al.  Real-time motion planning methods for autonomous on-road driving: State-of-the-art and future research directions , 2015 .

[26]  Alexander Domahidi,et al.  Real-Time Motion Planning for Aerial Videography With Real-Time With Dynamic Obstacle Avoidance and Viewpoint Optimization , 2017, IEEE Robotics and Automation Letters.

[27]  Andrew G. Alleyne,et al.  Autonomous Vehicle Control: A Nonconvex Approach for Obstacle Avoidance , 2017, IEEE Transactions on Control Systems Technology.

[28]  丸山 徹 Convex Analysisの二,三の進展について , 1977 .

[29]  Sebastian Thrun,et al.  Path Planning for Autonomous Vehicles in Unknown Semi-structured Environments , 2010, Int. J. Robotics Res..

[30]  Stephen M. Erlien,et al.  Collision Avoidance and Stabilization for Autonomous Vehicles in Emergency Scenarios , 2017, IEEE Transactions on Control Systems Technology.

[31]  I. Grossmann Review of Nonlinear Mixed-Integer and Disjunctive Programming Techniques , 2002 .

[32]  L. Blackmore,et al.  Optimal manipulator path planning with obstacles using disjunctive programming , 2006, 2006 American Control Conference.

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

[34]  Atsushi Sakai,et al.  Autonomous Parking Using Optimization-Based Collision Avoidance , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[35]  Zhijiang Shao,et al.  A unified motion planning method for parking an autonomous vehicle in the presence of irregularly placed obstacles , 2015, Knowl. Based Syst..

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

[37]  Brian Paden,et al.  The Generalized Label Correcting Method for Optimal Kinodynamic Motion Planning , 2016, WAFR.

[38]  F. Borrelli,et al.  Collision-free UAV formation flight using decentralized optimization and invariant sets , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[39]  S. A. Cameron,et al.  Determining the minimum translational distance between two convex polyhedra , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[40]  Siddhartha S. Srinivasa,et al.  CHOMP: Covariant Hamiltonian optimization for motion planning , 2013, Int. J. Robotics Res..

[41]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[42]  Masahiro Ono,et al.  Chance-Constrained Optimal Path Planning With Obstacles , 2011, IEEE Transactions on Robotics.

[43]  Lening Li,et al.  BiRRTOpt: A combined sampling and optimizing motion planner for humanoid robots , 2016, 2016 IEEE-RAS 16th International Conference on Humanoid Robots (Humanoids).

[44]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[45]  John Canny,et al.  The complexity of robot motion planning , 1988 .

[46]  Francesco Borrelli,et al.  Autonomous racing using learning Model Predictive Control , 2016, 2017 American Control Conference (ACC).

[47]  Maxim Likhachev,et al.  Multi-Heuristic A* , 2014, Int. J. Robotics Res..

[48]  John Lygeros,et al.  Toward 4-D Trajectory Management in Air Traffic Control: A Study Based on Monte Carlo Simulation and Reachability Analysis , 2013, IEEE Transactions on Control Systems Technology.

[49]  Rajesh Rajamani,et al.  Vehicle dynamics and control , 2005 .

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

[51]  Oussama Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1985, Autonomous Robot Vehicles.

[52]  Frank Allgöwer,et al.  Collision avoidance for uncertain nonlinear systems with moving obstacles using robust Model Predictive Control , 2019, 2019 18th European Control Conference (ECC).

[53]  J. Schroder,et al.  Navigating car-like robots in unstructured environments using an obstacle sensitive cost function , 2008, 2008 IEEE Intelligent Vehicles Symposium.

[54]  P. Goulart,et al.  Trajectory Generation for Aircraft Avoidance Maneuvers Using Online Optimization , 2011 .

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

[56]  WächterAndreas,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006 .

[57]  Pieter Abbeel,et al.  Motion planning with sequential convex optimization and convex collision checking , 2014, Int. J. Robotics Res..

[58]  John Lygeros,et al.  Efficient implementation of Randomized MPC for miniature race cars , 2016, 2016 European Control Conference (ECC).

[59]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[60]  Magnus Egerstedt,et al.  Autonomous driving in urban environments: approaches, lessons and challenges , 2010, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[61]  Thomas Schamm,et al.  Hybrid curvature steer: A novel extend function for sampling-based nonholonomic motion planning in tight environments , 2017, 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC).

[62]  Steven M. LaValle,et al.  Randomized Kinodynamic Planning , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).