Safety Index Synthesis via Sum-of-Squares Programming

We formulate safety index synthesis as a sum-of-squares programming problem, enabling automated construction of control barrier functions for nonlinear systems with formal safety guarantees.