Backup Control Barrier Function Synthesis using Sum-of-Squares Reachability

What the math gives to ML

The paper provides a constructive finite-horizon SOS backward-reachability mechanism for synthesizing a larger backup set and backup controller, rather than prescribing them manually. Its transferable asset is a polynomial certificate: a time-dependent sublevel set is made invariant under a feasible controller and is constrained to enter an already certified terminal-safe set at the horizon. In neural systems, this can become a runtime safety shield for a learned policy or a certified reachable region for a neural ODE or world model, with the SOS certificate determining exactly when the nominal network must yield to a backup controller.