Safety-Critical Control for Quadrotor UAVs via Decentralized Navigation Functions

What the math gives to ML

The paper provides a transferable safety mechanism rather than merely a quadrotor controller: a decentralized navigation-force policy is passed through a robust higher-order control-barrier-function quadratic program (HOCBF-QP) that minimally changes the nominal action while preserving pairwise separation under learned model uncertainty. The key asset for neural networks is an inference-time safety shield for multi-agent policies, world models, or learned dynamical-system controllers, with the uncertainty margin explicitly calibrated from residual data. The paper also exposes a measurable feasibility boundary: safety is guaranteed only while the available control authority exceeds the barrier correction and uncertainty margin.