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.

Formal Verification of Attitude Control Systems Using Geometric Barrier Functions

Control Barrier Function Based Trajectory Generation and Tracking Control for Spacecraft Inspection Mission under Multiple Safety Constraints

Safe Tracking Control for Free-Flying Space Robots Via Control Barrier Functions

Barrier Function Enhanced Geometric Controller for Safe Control of a Quadrotor UAV

Safety-Critical Control of Quadrotor UAVs with Control Barrier Functions.

Safety Barrier Certificates for Path Integral Control: Safety-Critical Control of Quadrotors

Control Barrier Function Based Quadratic Programs for Safety Critical Systems

A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions

Asymmetric Barrier Lyapunov Function Based Practical Fixed-time Control of Vertical Take-off/ Vertical Landing Reusable Launch Vehicles with Partial State Constraints

Robustness of Control Barrier Functions for Safety Critical Control

Obstacle avoidance and target attainment of planar quadrotors via control barrier function

Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training

Safety Guaranteed Control for Spacecraft Inspection Mission

A Control Barrier Function Composition Approach for Multi-Agent Systems in Marine Applications

Learning a Formally Verified Control Barrier Function in Stochastic Environment

Formal Verification of Obstacle Avoidance and Navigation of Ground Robots

Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance

Robust Dynamic Geofencing Attitude Control for Quadrotor Systems

Safe Aerial Manipulator Maneuvering and Force Exertion via Control Barrier Functions

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

Safety-critical control of planar quadcopters under dynamic event-triggered mechanism