Online trajectory planning for UAVs using mixed integer linear programming

This thesis presents a improved path planner using mixed-integer linear programming (MILP) to solve a receding horizon optimization problem for unmanned aerial vehicles (UAV's). Using MILP, hard constraints for obstacle and multi-vehicle avoidance as well as an approximation of vehicle dynamics are included into the formulation. The complete three dimensional formulation is described. The existing MILP framework has been modified to increase functionality, while also attempting to decrease solution time. A variable time step size, linear interpolation points, and horizon minimization techniques are used to enhance the capability of the online path planner. In this thesis, the concept of variable time steps is extended to the receding horizon, non-iterative MILP formulation. Variable time step sizing allows the simulation horizon time to be lengthened without increasing solve time too dramatically. Linear interpolation points are used to prevent solution trajectories from becoming overly conservative. Horizon minimization decreases solve time by removing unnecessary obstacle constraints from the the problem. Computer simulations and test flights on an indoor quadrotor testbed shows that MILP can be used reliably as an online path planner, using a variety of different solution rates. Using the MILP path planner to create a plan ten seconds into the future, the quadrotor can navigate through an obstacle-rich field with MILP solve times under one second. Simple plans in obstacle-spare environments are solved in less than 50ms. A multi-vehicle test is also used to demostrate non-communicating deconfliction trajectory planning using MILP. Thesis Supervisor: Jonathan P. How Title: Associate Professor

[1]  A. Richards,et al.  Decentralized robust receding horizon control for multi-vehicle guidance , 2006, 2006 American Control Conference.

[2]  Toshio Odanaka,et al.  ADAPTIVE CONTROL PROCESSES , 1990 .

[3]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

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

[5]  A. Richards,et al.  Decentralized model predictive control of cooperating UAVs , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[6]  Paolo Toth,et al.  The Vehicle Routing Problem , 2002, SIAM monographs on discrete mathematics and applications.

[7]  M. O'Kelly,et al.  A quadratic integer program for the location of interacting hub facilities , 1987 .

[8]  Jonathan P. How,et al.  Implementation of a Manned Vehicle - UAV Mission System , 2004 .

[9]  Jonathan P. How,et al.  Indoor Multi-Vehicle Flight Testbed for Fault Detection, Isolation, and Recovery , 2006 .

[10]  T. Aykin.  On “a quadratic integer program for the location of interacting hub facilities” , 1990 .

[11]  Yoshiaki Kuwata,et al.  Real-time Trajectory Design for Unmanned Aerial Vehicles using Receding Horizon Control , 2003 .

[12]  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).

[13]  Manfred Morari,et al.  Model predictive control: Theory and practice - A survey , 1989, Autom..

[14]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[15]  J. How,et al.  Receding horizon path planning with implicit safety guarantees , 2004, Proceedings of the 2004 American Control Conference.

[16]  Alexandre M. Bayen,et al.  Optimal Arrival Traffic Spacing via Dynamic Programming , 2004 .

[17]  R. D'Andrea,et al.  Low observability path planning for an unmanned air vehicle using mixed integer linear programming , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[18]  Raffaello D'Andrea,et al.  Iterative MILP methods for vehicle-control problems , 2005, IEEE Transactions on Robotics.

[19]  Jonathan P. How,et al.  Receding horizon control of autonomous aerial vehicles , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[20]  S. M. Malaek,et al.  Near-optimal terrain collision avoidance trajectories using elevation maps , 2006, 2006 IEEE Aerospace Conference.

[21]  Narendra Ahuja,et al.  Gross motion planning—a survey , 1992, CSUR.

[22]  M. Valenti,et al.  Implementation and Flight Test Results of MILP-based UAV Guidance , 2005, 2005 IEEE Aerospace Conference.

[23]  Swaroop Darbha,et al.  A Resource Allocation Algorithm for Multi-Vehicle Systems with Non holnomic Constraints , 2005 .

[24]  J. Betts.  Survey of Numerical Methods for Trajectory Optimization , 1998 .

[25]  David S. Johnson,et al.  The Traveling Salesman Problem: A Case Study in Local Optimization , 2008 .

[26]  J. How,et al.  Multi-vehicle path planning for non-line of sight communication , 2006, 2006 American Control Conference.

[27]  Alexandre M. Bayen,et al.  Real-time discrete control law synthesis for hybrid systems using MILP: application to congested airspace , 2003, Proceedings of the 2003 American Control Conference, 2003..

[28]  Sean R Eddy,et al.  What is dynamic programming? , 2004, Nature Biotechnology.

[29]  Jonathan P. How,et al.  Experimental demonstration of coordinated control for multi-vehicle teams , 2006, Int. J. Syst. Sci..

[30]  J. How,et al.  Mixed-integer programming for control , 2005, Proceedings of the 2005, American Control Conference, 2005..

[31]  Jonathan P. How,et al.  COORDINATION AND CONTROL OF MULTIPLE UAVs , 2002 .

[32]  Christodoulos A. Floudas,et al.  Nonlinear and Mixed-Integer Optimization , 1995 .

[33]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[34]  C.S. Ma,et al.  MILP optimal path planning for real-time applications , 2006, 2006 American Control Conference.

[35]  R Simons.  Advances in Linear and Integer Programming , 1998, J. Oper. Res. Soc..

[36]  Ljubo Vlacic,et al.  Intelligent vehicle technologies : theory and applications , 2001 .

[37]  Tom Schouwenaars,et al.  Safe Trajectory Planning of Autonomous Vehicles , 2006 .

[38]  Robert J. Vanderbei,et al.  Linear Programming: Foundations and Extensions , 1998, Kluwer international series in operations research and management service.

[39]  S. Joe Qin,et al.  A survey of industrial model predictive control technology , 2003 .

[40]  John H. Reif,et al.  Complexity of the mover's problem and generalizations , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[41]  Alberto Bemporad,et al.  Robust model predictive control: A survey , 1998, Robustness in Identification and Control.

[42]  Laurence R. Newcome.  Unmanned Aviation: A Brief History of Unmanned Aerial Vehicles , 2004 .

[43]  Eric Feron,et al.  Decentralized Cooperative Trajectory Planning of Multiple Aircraft with Hard Safety Guarantees , 2004 .

[44]  Frank Harary,et al.  Graph Theory , 2016 .

[45]  Yoshiaki Kuwata,et al.  Three Dimensional Receding Horizon Control for UAVs , 2004 .