Safe certificate-based maneuvers for teams of quadrotors using differential flatness

Safety Barrier Certificates that ensure collision-free maneuvers for teams of differential flatness-based quadrotors are presented in this paper. Synthesized with control barrier functions, the certificates are used to modify the nominal trajectory in a minimally invasive way to avoid collisions. The proposed collision avoidance strategy complements existing flight control and planning algorithms by providing trajectory modifications with provable safety guarantees. The effectiveness of this strategy is supported both by the theoretical results and experimental validation on a team of five quadrotors.

[1]  Vijay Kumar,et al.  Minimum snap trajectory generation and control for quadrotors , 2011, 2011 IEEE International Conference on Robotics and Automation.

[2]  Koushil Sreenath,et al.  Exponential Control Barrier Functions for enforcing high relative-degree safety-critical constraints , 2016, 2016 American Control Conference (ACC).

[3]  Aaron D. Ames,et al.  Sufficient conditions for the Lipschitz continuity of QP-based multi-objective control of humanoid robots , 2013, 52nd IEEE Conference on Decision and Control.

[4]  Chunhua Zhang,et al.  The application of small unmanned aerial systems for precision agriculture: a review , 2012, Precision Agriculture.

[5]  Paulo Tabuada,et al.  Control barrier function based quadratic programs with application to adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.

[6]  Sergio Grammatico,et al.  Control-Sharing and Merging Control Lyapunov Functions , 2014, IEEE Transactions on Automatic Control.

[7]  Jonathan P. How,et al.  Mission Health Management for 24/7 Persistent Surveillance Operations , 2007 .

[8]  Barr,et al.  Superquadrics and Angle-Preserving Transformations , 1981, IEEE Computer Graphics and Applications.

[9]  Guofan Wu,et al.  Safety-Critical Control of a 3D Quadrotor With Range-Limited Sensing , 2016 .

[10]  Guofan Wu,et al.  Safety-critical control of a planar quadrotor , 2016, 2016 American Control Conference (ACC).

[11]  Li Wang,et al.  Safety barrier certificates for heterogeneous multi-robot systems , 2016, 2016 American Control Conference (ACC).

[12]  Li Wang,et al.  Multi-objective compositions for collision-free connectivity maintenance in teams of mobile robots , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[13]  Vijay Kumar,et al.  Mixed-integer quadratic program trajectory generation for heterogeneous quadrotor teams , 2012, 2012 IEEE International Conference on Robotics and Automation.

[14]  Toru Namerikawa,et al.  Consensus-based cooperative formation control with collision avoidance for a multi-UAV system , 2014, 2014 American Control Conference.

[15]  Paulo Tabuada,et al.  Robustness of Control Barrier Functions for Safety Critical Control , 2016, ADHS.

[16]  P. Olver.  Nonlinear Systems , 2013 .

[17]  Mark T. Bolas,et al.  Mixed reality for robotics , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[18]  Mac Schwager,et al.  Vector field following for quadrotors using differential flatness , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[19]  Xiaoming Hu,et al.  Control of mobile platforms using a virtual vehicle approach , 2001, IEEE Trans. Autom. Control..

[20]  Markus Hehn,et al.  Real-Time Trajectory Generation for Quadrocopters , 2015, IEEE Transactions on Robotics.

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

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