Abstract:Reach-avoid specifications are one of the most common tasks in autonomous aerial vehicle (UAV) applications. Despite the intensive research and development associated with control of aerial vehicles, generating feasible trajectories though complex environments and tracking them with formal safety guarantees remain challenging. In this paper, we propose a control framework for a quadrotor UAV that enables accomplishing reach-avoid tasks with formal safety guarantees. In this proposed framework, we integrate geometric control theory for tracking and polynomial trajectory generation using Bezier curves, where tracking errors are accounted for in the trajectory synthesis process. To estimate the tracking errors, we revisit the stability analysis of the closed-loop quadrotor system, when geometric control is implemented. We show that the tracking error dynamics exhibit local exponential stability when geometric control is implemented with any positive control gains, and we derive tight uniform bounds of the tracking error. We also introduce sufficient conditions to be imposed on the desired trajectory utilizing the derived uniform bounds to ensure the well-definedness of the closed-loop system. For the trajectory synthesis, we present an efficient algorithm that enables constructing a safe tube by means of sampling-based planning and safe hyper-rectangular set computations. Then, we compute the trajectory, given as a piecewise continuous Bezier curve, through the safe tube, where a heuristic efficient approach that utilizes iterative linear programming is employed. We present extensive numerical simulations with a cluttered environment to illustrate the effectiveness of the proposed framework in reach-avoid planning scenarios.

A Safety Planning and Control Architecture Applied to a Quadrotor Autopilot

Internal and External Disturbances Aware Motion Planning and Control for Quadrotors

Automatic Parameter Adaptation for Quadrotor Trajectory Planning

Alternating Minimization Based Trajectory Generation for Quadrotor Aggressive Flight

Integrated Path Planning and Trajectory Tracking Control for Quadrotor UAVs with Obstacle Avoidance in the Presence of Environmental and Systematic Uncertainties: Theory and Experiment

Real-time Motion Planning and Trajectory Tracking in Complex Environments Based on Bézier Curves and Nonlinear MPC Controller

Trajectory Tracking Control of A Quadrotor UAV by Cascaded Inner-Outer-Loop Backstepping Sliding Mode Control

Safety Flight Control Design of a Quadrotor UAV With Capability Analysis

Extended State Observer-Based Finite-Time Dynamic Surface Control for Trajectory Tracking of a Quadrotor Unmanned Aerial Vehicle.

Cascaded Trajectory Tracking Control for A Quadcopter UAV with Consideration of Actuator Dynamics

PE-Planner: A Performance-Enhanced Quadrotor Motion Planner for Autonomous Flight in Complex and Dynamic Environments

Safety Flight Control for a Quadrotor UAV Using Differential Flatness and Dual-Loop Observers

Safety-Driven and Localization Uncertainty-Driven Perception-Aware Trajectory Planning for Quadrotor Unmanned Aerial Vehicles

Motion Planning and Control of A Morphing Quadrotor in Restricted Scenarios

Flying in Narrow Spaces: Prioritizing Safety with Disturbance-Aware Control

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees

Gradient-Based Online Trajectory Planning for Quadrotor Transportation Systems

Flatness-based Quadcopter Trajectory Planning and Tracking with Continuous-time Safety Guarantees

MPCC-based Path Following Control for a Quadrotor with Collision Avoidance Guaranteed in Constrained Environments.

Motion Planning and Control of Quadrotor Based on MPC in Frenet Frame

External Forces Resilient Safe Motion Planning for Quadrotor