3-D Decentralized Prioritized Motion Planning and Coordination for High-Density Operations of Micro Aerial Vehicles

This paper presents a decentralized motion planning method for multiple aerial vehicles moving among 3-D polygonal obstacles resembling an urbanlike environment. The algorithm combines a prioritized $A^\star$ algorithm for high-level planning, along with a coordination method based on barrier functions for low-level trajectory generation and vehicle control. To this end, we extend the barrier functions method developed in our earlier work so that it treats 2-D and 3-D polygonal obstacles, and generates collision-free trajectories for the multiagent system. We furthermore augment the low-level trajectory generation and control with a prioritized $A^\star$ path planning algorithm, in order to compute waypoints and paths that force the agents of lower priority to avoid the paths of the agents of higher priority, reducing thus congestion. This feature enhances further the performance of the barrier-based coordination, and results in shorter paths and time to the goal destinations. We finally extend the proposed control design to the agents of constrained double-integrator dynamics, compared with the single-integrator case in our earlier work. We assume that the obstacles are known to the agents, and that each agent knows the state of other agents lying in its sensing area. Simulation results in 2-D and 3-D polygonal environments, as well as experimental results with micro aerial vehicles (quadrotors) in an indoor lab environment demonstrate the efficacy of the proposed approach.

[1]  Eric Feron,et al.  Graceful Degradation of Air Traffic Operations: Airspace Sensitivity to Degraded Surveillance Systems , 2008, Proceedings of the IEEE.

[2]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[3]  Dimitra Panagou,et al.  Decentralized prioritized motion planning for multiple autonomous UAVs in 3D polygonal obstacle environments , 2016, 2016 International Conference on Unmanned Aircraft Systems (ICUAS).

[4]  Dimitra Panagou,et al.  A Distributed Feedback Motion Planning Protocol for Multiple Unicycle Agents of Different Classes , 2017, IEEE Transactions on Automatic Control.

[5]  Dinesh Manocha,et al.  Reciprocal Velocity Obstacles for real-time multi-agent navigation , 2008, 2008 IEEE International Conference on Robotics and Automation.

[6]  Mark H. Overmars,et al.  Prioritized motion planning for multiple robots , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

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

[8]  George J. Pappas,et al.  Joint Metering and Conflict Resolution in Air Traffic Control , 2011, Journal of Guidance, Control, and Dynamics.

[9]  César A. Muñoz,et al.  Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm , 2007, WoLLIC.

[10]  Howie Choset,et al.  Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .

[11]  Dikai Liu,et al.  Priority Based Dynamic Multiple Robot Path Planning , 2004 .

[12]  Prasanna Velagapudi,et al.  Decentralized prioritized planning in large multirobot teams , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[13]  Mykel J. Kochenderfer,et al.  Next-Generation Airborne Collision Avoidance System , 2012 .

[14]  Petros G. Voulgaris,et al.  Distributed Coordination Control for Multi-Robot Networks Using Lyapunov-Like Barrier Functions , 2016, IEEE Transactions on Automatic Control.

[15]  André Platzer,et al.  Air Traffic Collision Avoidance , 2010 .

[16]  Russ Tedrake,et al.  Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates , 2012, 2012 IEEE International Conference on Robotics and Automation.

[17]  Lynne E. Parker,et al.  Path Planning and Motion Coordination in Multiple Mobile Robot Teams , 2009 .

[18]  Eduardo Aranda-Bricaire,et al.  Convergence and Collision Avoidance in Formation Control: A Survey of the Artificial Potential Functions Approach , 2011 .

[19]  K. Zeghal A REVIEW OF DIFFERENT APPROACHES BASED ON FORCE FIELDS FOR AIRBORNE CONFLICT RESOLUTION , 1998 .

[20]  Wolfram Burgard,et al.  Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .

[21]  Jan Faigl,et al.  Asynchronous decentralized prioritized planning for coordination in multi-robot system , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[22]  Laureano F. Escudero,et al.  Collision Avoidance in Air Traffic Management: A Mixed-Integer Linear Optimization Approach , 2011, IEEE Transactions on Intelligent Transportation Systems.

[23]  Kuo-Chi Lin,et al.  A Cooperative Path Planning Algorithm for a Multiple Mobile Robot System in a Dynamic Environment , 2014 .

[24]  Daniel E. Koditschek,et al.  Exact robot navigation using artificial potential functions , 1992, IEEE Trans. Robotics Autom..

[25]  E. Feron,et al.  Resolution of Conflicts Involving Many Aircraft via Semidefinite Programming , 2001 .

[26]  B. Faverjon,et al.  Probabilistic Roadmaps for Path Planning in High-Dimensional Con(cid:12)guration Spaces , 1996 .

[27]  Matt R. Jardin Analytical Relationships Between Conflict Counts and Air-Traffic Density , 2005 .

[28]  Steven M. LaValle,et al.  Rapidly-Exploring Random Trees: Progress and Prospects , 2000 .

[29]  Russ Tedrake,et al.  Convex optimization of nonlinear feedback controllers via occupation measures , 2013, Int. J. Robotics Res..

[30]  Vijay Kumar,et al.  Decentralized Feedback Controllers for Multiagent Teams in Environments With Obstacles , 2010, IEEE Trans. Robotics.

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

[32]  Shuang Liu,et al.  A dynamic priority based path planning for cooperation of multiple mobile robots in formation forming , 2014 .

[33]  Lydia E. Kavraki,et al.  Path planning using lazy PRM , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[34]  Vijay Kumar,et al.  Implan: Scalable Incremental Motion Planning for Multi-Robot Systems , 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).

[35]  Ian R. Manchester,et al.  LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification , 2010, Int. J. Robotics Res..

[36]  Jean-Baptiste Jeannin,et al.  A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System , 2015, TACAS.

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

[38]  Wolfram Burgard,et al.  Optimizing schedules for prioritized path planning of multi-robot systems , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[39]  Rafael Wisniewski,et al.  Compositional safety analysis using barrier certificates , 2012, HSCC '12.

[40]  Adi Botea,et al.  MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees , 2011, J. Artif. Intell. Res..

[41]  Russ Tedrake,et al.  Funnel libraries for real-time robust feedback motion planning , 2016, Int. J. Robotics Res..

[42]  Dimos V. Dimarogonas,et al.  Connectedness Preserving Distributed Swarm Aggregation for Multiple Kinematic Robots , 2008, IEEE Transactions on Robotics.

[43]  Gilles Dowek,et al.  Provably Safe Coordinated Strategy for Distributed Conflict Resolution , 2005 .

[44]  Yongcan Cao,et al.  Overview of Recent Research in Distributed Multi-agent Coordination , 2011 .

[45]  Manolis A. Christodoulou,et al.  Automatic commercial aircraft-collision avoidance in free flight: the three-dimensional problem , 2006, IEEE Transactions on Intelligent Transportation Systems.