Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Serry, Mohamed, Chang, Haocheng, Liu, Jun
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Dynamical Systems Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
by: Serry, Mohamed, et al.
Published: (2026)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, et al.
Published: (2025)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
by: Serry, Mohamed, et al.
Published: (2024)

Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded Input
by: Haddad, Shadi, et al.
Published: (2023)

Aggressiveness-Aware Learning-based Control of Quadrotor UAVs with Safety Guarantees
by: Colombo, Leonardo, et al.
Published: (2026)

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
by: Ding, Jianqiang, et al.
Published: (2026)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

An Input-to-State Safety Approach Towards Safe Control of a Class of Parabolic PDEs Under Disturbances
by: Roy, Tanushree, et al.
Published: (2022)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

Formal Entropy-Regularized Control of Stochastic Systems
by: van Zutphen, Menno, et al.
Published: (2026)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
by: Butler, Brooks A., et al.
Published: (2023)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, et al.
Published: (2025)

Cooperative Nonlinear Guidance Strategies for Guaranteed Pursuit-Evasion
by: Kumar, Saurabh, et al.
Published: (2024)

Online Actuator Selection and Controller Design for Linear Quadratic Regulation with Unknown System Model
by: Ye, Lintao, et al.
Published: (2022)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Accurate Solutions to Optimal Control Problems via a Flexible Mesh and Integrated Residual Transcription
by: Nita, Lucian, et al.
Published: (2024)

Controlled fluid transport by the collective motion of microrotors
by: Buzhardt, Jake, et al.
Published: (2024)

Model-Based Adaptive Control of Modular Multilevel Converters
by: Tebaldi, Davide, et al.
Published: (2024)

Controller synthesis for input-state data with measurement errors
by: Bisoffi, Andrea, et al.
Published: (2024)

On Adaptive-Gain Control of Replicator Dynamics in Population Games
by: Zino, Lorenzo, et al.
Published: (2023)

Global Stability Notions to Enhance the Rigor and Robustness of Adaptive Control
by: Karafyllis, Iasson, et al.
Published: (2024)

Equilibrium Selection in Replicator Equations Using Adaptive-Gain Control
by: Zino, Lorenzo, et al.
Published: (2024)

Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control
by: Aspeel, Antoine, et al.
Published: (2025)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)

Controlled transport of fluid particles by microrotors in a Stokes flow using linear transfer operators
by: Buzhardt, Jake, et al.
Published: (2023)

Synthesizing Control Laws from Data using Sum-of-Squares Optimization
by: Bramburger, Jason J., et al.
Published: (2023)

Benign Nonconvex Landscapes in Optimal and Robust Control, Part II: Extended Convex Lifting
by: Zheng, Yang, et al.
Published: (2024)

Two Roads to Koopman Operator Theory for Control: Infinite Input Sequences and Operator Families
by: Haseli, Masih, et al.
Published: (2025)

Policy Optimization of Mixed H2/H-infinity Control: Benign Nonconvexity and Global Optimality
by: Pai, Chih-Fan, et al.
Published: (2026)

Output Corridor Impulsive Control of First-order Continuous System with Non-local Attractivity Analysis
by: Medvedev, Alexander, et al.
Published: (2026)

Containment Control Approach for Steering Opinion in a Social Network
by: Rastgoftar, Hossein
Published: (2025)

SDC-Based Model Predictive Control: Enhancing Computational Feasibility for Safety-Critical Quadrotor Control
by: Omidi, Saber
Published: (2025)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
by: Liu, Shuo, et al.
Published: (2023)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)

Virtual Constraint for a Quadrotor UAV Enforcing a Body-Axis Pointing Direction
by: Simoes, Alexandre Anahory, et al.
Published: (2026)

High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees
by: Izadi, Maedeh, et al.
Published: (2024)

Funnel-based Control for Reach-Avoid-Stay Specifications
by: Das, Ratnangshu, et al.
Published: (2023)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2025)

Analysis of a continuous opinion and discrete action dynamics model coupled with an external observation dynamics
by: Couthures, Anthony, et al.
Published: (2024)