123 citations · 525 across the 31 of their papers we have counts for
4 papers · 1 filter
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…
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…
When is a set of LMIs a sufficient condition for stability?
Amir Ali Ahmadi, Raphael M. Jungers, Pablo A. Parrilo +1
We study stability criteria for discrete time switching systems. We investigate the structure of sets of LMIs that are a sufficient condition for stability (i.e., such that any swi…
Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis
Amir Ali Ahmadi
This thesis settles a number of questions related to computational complexity and algebraic, semidefinite programming based relaxations in optimization and control.