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.

Quadrotor Flight Envelope Protection with Trajectory and Yaw Tracking

Internal and External Disturbances Aware Motion Planning and Control for Quadrotors

Robust Trajectory Tracking and Payload Delivery of a Quadrotor Under Multiple State Constraints

Model Predictive Control for Quadcopters with Almost Global Trajectory Tracking Guarantees

Anti-disturbance Trajectory Tracking Control for a Quadrotor UAV with Input Constraints⋆

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

Adaptive Modified RISE-based Quadrotor Trajectory Tracking with Actuator Uncertainty Compensation

Trajectory Tracking Control for Quad-Rotor System in the Presence of Velocity Constraint

Dynamic Surface Based Tracking Control of Uncertain Quadrotor Unmanned Aerial Vehicles with Multiple State Variable Constraints

Safe Learning-based Tracking Control for Quadrotors under Wind Disturbances

On executing aggressive quadrotor attitude tracking maneuvers under actuator constraints

A Geometric Approach to Rotor Failure Tolerant Trajectory Tracking Control Design for a Quadrotor

Vision-Based Safety-Critical Landing Control of Quadrotors With External Uncertainties and Collision Avoidance

Nonlinear Model Predictive Control-Based Guidance Algorithm for Quadrotor Trajectory Tracking with Obstacle Avoidance

Almost Global Trajectory Tracking for Quadrotors Using Thrust Direction Control on $\mathcal{S}^2$

Error-State LQR Geofencing Tracking Control for Underactuated Quadrotor Systems

A Geometric Approach for Quadrotor Trajectory Tracking Control

Finite-time Control for Quadrotor Based on Composite Barrier Lyapunov Function with System State Constraints and Actuator Faults

Anti-disturbance trajectory tracking of quadrotor vehicles via generalized extended state observer

Accurate Tracking of Aggressive Quadrotor Trajectories Using Incremental Nonlinear Dynamic Inversion and Differential Flatness

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