Dancing UAVs: Using linear programming to model movement behavior with safety requirements

In this paper we present the use of linear programming to systematically create control software for choreographed UAVs. This application requires the control of multiple UAVs where each UAV follows a predefined trajectory while simultaneously maintaining safety properties, such as keeping a safe distance between each other and geofencing. Modeling and incorporating safety requirements into the movement behavior of UAVs is the main motivation of our research. First, we describe an approach where the movement behavior of each UAV is formulated as a linear program. Second, we compare and analyze two different modeling techniques to implement the safe distance and geofencing requirements. Our approach was validated by doing experiments with Parrot Bebop UAVs. Besides being tested in the laboratory, our approach was validated in real life conditions in more than 30 performances of a dance show where five UAVs perform choreographed movements as part of the show introduction.

[1]  Andrea Maria Zanchettin,et al.  Reactive motion planning and control for compliant and constraint-based task execution , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[2]  Youmin Zhang,et al.  An Efficient Model Predictive Control Scheme for an Unmanned Quadrotor Helicopter , 2013, J. Intell. Robotic Syst..

[3]  Joris De Schutter,et al.  Extending the iTaSC Constraint-based Robot Task Specification Framework to Time-Independent Trajectories and User-Configurable Task Horizons , 2013, 2013 IEEE International Conference on Robotics and Automation.

[4]  Scott Kuindersma,et al.  Modeling and Control of Legged Robots , 2016, Springer Handbook of Robotics, 2nd Ed..

[5]  Joris De Schutter,et al.  Extending iTaSC to support inequality constraints and non-instantaneous task specification , 2009, 2009 IEEE International Conference on Robotics and Automation.

[6]  Reid G. Simmons,et al.  Robotic Systems Architectures and Programming , 2008, Springer Handbook of Robotics.

[7]  Sergei Lupashin,et al.  Feasiblity of motion primitives for choreographed quadrocopter flight , 2011, Proceedings of the 2011 American Control Conference.

[8]  Vijay Kumar,et al.  Quadrotor Kinematics and Dynamics , 2015 .

[9]  Scott Kuindersma,et al.  Optimization-based locomotion planning, estimation, and control design for the atlas humanoid robot , 2015, Autonomous Robots.

[10]  Giuseppe Casalino,et al.  A Novel Practical Technique to Integrate Inequality Control Objectives and Task Transitions in Priority Based Control , 2016, J. Intell. Robotic Syst..

[11]  Joris De Schutter,et al.  Constraint-based Task Specification and Estimation for Sensor-Based Robot Systems in the Presence of Geometric Uncertainty , 2007, Int. J. Robotics Res..

[12]  J. De Schutter,et al.  A constraint-based flight control system architecture for UAVs using the iTaSC framework , 2016, 2016 International Conference on Unmanned Aircraft Systems (ICUAS).

[13]  Oussama Khatib,et al.  A Unified Approach to Integrate Unilateral Constraints in the Stack of Tasks , 2009, IEEE Transactions on Robotics.

[14]  Nathan Michael,et al.  Robust Coordinated Aerial Deployments for Theatrical Applications Given Online User Interaction via Behavior Composition , 2016, DARS.

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

[16]  Raffaello D'Andrea,et al.  So You Think You Can Dance? Rhythmic Flight Performances with Quadrocopters , 2014 .

[17]  Pieter Abbeel,et al.  Finding Locally Optimal, Collision-Free Trajectories with Sequential Convex Optimization , 2013, Robotics: Science and Systems.

[18]  Angela P. Schoellig,et al.  Dance of the Flying Machines: Methods for Designing and Executing an Aerial Dance Choreography , 2013, IEEE Robotics & Automation Magazine.

[19]  Robin Deits,et al.  Efficient mixed-integer planning for UAVs in cluttered environments , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).