Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control

Multi-robot navigation control in the absence of reference trajectory is rather challenging as it is expected to ensure stability and feasibility while still offer fast computation on control decisions. The intrinsic high complexity of switched linear dynamical robots makes the problem even more challenging. In this paper, we propose a novel HMPC based method to address the navigation problem of multiple robots with switched linear dynamics. We develop a new technique to compute the reachable sets of switched linear systems and use them to enable the parallel computation of control parameters. We present theoretical results on stability, feasibility and complexity of the proposed approach, and demonstrate its empirical advance in performance against other approaches.

[1]  Maria Letizia Corradini,et al.  IEEE Transactions on Control Systems Technology , 2004 .

[2]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[3]  Hsiu-Chin Lin,et al.  The 2017 IEEE International Conference on Robotics and Automation (ICRA) , 2017 .

[4]  Sergiy Bogomolov,et al.  Planning as Model Checking in Hybrid Domains , 2014, AAAI.

[5]  Federico Pecora,et al.  On mission-dependent coordination of multiple vehicles under spatial and temporal constraints , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[6]  Lambert Schomaker,et al.  2000 IEEE/RSJ International Conference On Intelligent Robots And Systems , 2000, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113).

[7]  Stephen P. Boyd,et al.  Graph Implementations for Nonsmooth Convex Programs , 2008, Recent Advances in Learning and Control.

[8]  Maxim Likhachev,et al.  D*lite , 2002, AAAI/IAAI.

[9]  J. Aplevich,et al.  Lecture Notes in Control and Information Sciences , 1979 .

[10]  Howie Choset,et al.  M*: A complete multirobot path planning algorithm with performance bounds , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[11]  William B. Dunbar,et al.  Model predictive control of coordinated multi-vehicle formations , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[12]  J. van Leeuwen,et al.  Theoretical Computer Science , 2003, Lecture Notes in Computer Science.

[13]  Lydia Tapia,et al.  Avoiding moving obstacles with stochastic hybrid dynamics using PEARL: PrEference Appraisal Reinforcement Learning , 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA).

[14]  Alice M. Obenchain-Leeson,et al.  Volume 6 , 1998 .

[15]  Francis J. Doyle,et al.  Distributed model predictive control of an experimental four-tank system , 2007 .

[16]  Peter Gritzmann,et al.  Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Basis , 1993, SIAM J. Discret. Math..

[17]  Pavel Janovsky,et al.  Finding coordinated paths for multiple holonomic agents in 2-d polygonal environment , 2014, AAMAS.

[18]  F. Borrelli,et al.  A study on decentralized receding horizon control for decoupled systems , 2004, Proceedings of the 2004 American Control Conference.

[19]  Shengchao Qin,et al.  Hierarchical Model Predictive Control for Multi-Robot Navigation , 2016, IJCAI.

[20]  Dinesh Manocha,et al.  Reciprocal n-Body Collision Avoidance , 2011, ISRR.

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

[22]  Koen V. Hindriks,et al.  Multi-robot Cooperative Pathfinding: A Decentralized Approach , 2014, IEA/AIE.

[23]  Lydia E. Kavraki,et al.  A sampling-based strategy planner for nondeterministic hybrid systems , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[24]  Federico Pecora,et al.  Integrated Motion Planning and Coordination for Industrial Vehicles , 2014, ICAPS.

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

[26]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[27]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[28]  Jonathan P. How,et al.  Cooperative Distributed Robust Trajectory Optimization Using Receding Horizon MILP , 2011, IEEE Transactions on Control Systems Technology.

[29]  Servicio Geológico Colombiano Sgc.  Volume 4 , 2013, Journal of Diabetes Investigation.