Control Design along Trajectories with Sums of Squares Programming

Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake

Motivated by the need for formal guarantees on the stability and safety of controllers for challenging robot control tasks, we present a control design procedure that explicitly se…