Shankar A. Deka

Barrier Certificate Synthesis for Non-Polynomial Robotic Dynamics via Polynomial Lifting

Safe operation of robotic systems requires trajectories to remain within a prescribed safe set under admissible control inputs. Barrier certificates provide such guarantees by certifying a controlled-invariant region within that set. Sum-of-squares optimization offers a systematic way to synthesize such certificates, b...