Control design along trajectories with sums of squares programmingAnirudha MajumdarAmir Ali Ahmadiet al.2013ICRA 2013