Synthesis and Verification of Robust-Adaptive Safe Controllers

We consider safety filter synthesis for systems with uncertain model parameters. We devise a sum-of-squares programming algorithm that generates a geofencing (stay-within-region) safety filter for a quadrotor with unknown drag coefficients in minutes on a regular laptop CPU, providing formal safety guarantees despite parametric uncertainty.