SOS Construction of Compatible Control Lyapunov and Barrier Functions

Michael Schneeberger, Florian Dörfler, Silvia Mastellone

We propose a novel approach to certify closed-loop stability and safety of a constrained polynomial system based on the combination of Control Lyapunov Functions (CLFs) and Control…