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

Shivam Chaubey, Francesco Verdoja, Shankar Deka +1

Safe operation of robotic systems requires trajectories to remain within a prescribed safe set under admissible control inputs. Barrier certificates provide such guarantees by cert…