327 citations · 1.3k across the 66 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.OC2012★ 3 cited
Complexity of Ten Decision Problems in Continuous Time Dynamical Systems
Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake
We show that for continuous time dynamical systems described by polynomial differential equations of modest degree (typically equal to three), the following decision problems which…
cs.RO2012★ 1 cited
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…