Amir Ali Ahmadi

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 46

Top Venues

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Amir Ali Ahmadi, Abraar Chaudhry, Cemil Dibek
Generalized Ellipsoids. CoRR (2024)
Amir Ali Ahmadi, Bachir El Khadir
Learning Dynamical Systems with Side Information. SIAM Rev. 65 (1) (2023)
Amir Ali Ahmadi, Cemil Dibek, Georgina Hall
Sums of Separable and Quadratic Polynomials. Math. Oper. Res. 48 (3) (2023)
Amir Ali Ahmadi, Cemil Dibek
A Sum of Squares Characterization of Perfect Graphs. SIAM J. Appl. Algebra Geom. 7 (4) (2023)
Amir Ali Ahmadi, Abraar Chaudhry, Jeffrey Zhang
Higher-Order Newton Methods with Polynomial Work per Iteration. CoRR (2023)
Amir Ali Ahmadi, Abraar Chaudhry, Vikas Sindhwani, Stephen Tu
Safely Learning Dynamical Systems. CoRR (2023)
Amir Ali Ahmadi, Jeffrey Zhang
On the complexity of finding a local minimizer of a quadratic function over a polytope. Math. Program. 195 (1) (2022)
Amir Ali Ahmadi, Cemil Dibek, Georgina Hall
Sums of Separable and Quadratic Polynomials. CoRR (2021)
Amir Ali Ahmadi, Jeffrey Zhang
Semidefinite Programming and Nash Equilibria in Bimatrix Games. INFORMS J. Comput. 33 (2) (2021)
Amir Ali Ahmadi, Abraar Chaudhry, Vikas Sindhwani, Stephen Tu
Safely Learning Dynamical Systems from Short Trajectories. L4DC (2021)
Amir Ali Ahmadi, Bachir El Khadir
Time-Varying Semidefinite Programs. Math. Oper. Res. 46 (3) (2021)
Amir Ali Ahmadi, Jeffrey Zhang
Complexity aspects of local minima and related notions. CoRR (2020)
Amir Ali Ahmadi, Bachir El Khadir
On Algebraic Proofs of Stability for Homogeneous Vector Fields. IEEE Trans. Autom. Control. 65 (1) (2020)
Amir Ali Ahmadi, Georgina Hall
On the complexity of detecting convexity over a box. Math. Program. 182 (1) (2020)
Amir Ali Ahmadi, Abraar Chaudhry, Vikas Sindhwani, Stephen Tu
Safely Learning Dynamical Systems from Short Trajectories. CoRR (2020)
Anirudha Majumdar, Georgina Hall, Amir Ali Ahmadi
Recent Scalability Improvements for Semidefinite Programming with Applications in Machine Learning, Control, and Robotics. Annu. Rev. Control. Robotics Auton. Syst. 3 (2020)
Amir Ali Ahmadi, Jeffrey Zhang
On the complexity of finding a local minimizer of a quadratic function over a polytope. CoRR (2020)
Amir Ali Ahmadi, Bachir El Khadir
Learning Dynamical Systems with Side Information. L4DC (2020)
Amir Ali Ahmadi, Bachir El Khadir
Learning Dynamical Systems with Side Information. CoRR (2020)
Amir Ali Ahmadi, Jeffrey Zhang
On the complexity of testing attainment of the optimal value in nonlinear optimization. Math. Program. 184 (1) (2020)
Amir Ali Ahmadi, Etienne de Klerk, Georgina Hall
Polynomial Norms. SIAM J. Optim. 29 (1) (2019)
Amir Ali Ahmadi, Anirudha Majumdar
DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization. SIAM J. Appl. Algebra Geom. 3 (2) (2019)
Amir Ali Ahmadi, Georgina Hall
On the Construction of Converging Hierarchies for Polynomial Optimization Based on Certificates of Global Positivity. Math. Oper. Res. 44 (4) (2019)
Anirudha Majumdar, Georgina Hall, Amir Ali Ahmadi
A Survey of Recent Scalability Improvements for Semidefinite Programming with Applications in Machine Learning, Control, and Robotics. CoRR (2019)
Amir Ali Ahmadi, Bachir El Khadir
A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function. Syst. Control. Lett. 121 (2018)
Amir Ali Ahmadi, Bachir El Khadir
Time-Varying Semidefinite Programs. CoRR (2018)
Amir Ali Ahmadi, Georgina Hall
On the Complexity of Detecting Convexity over a Box. CoRR (2018)
Amir Ali Ahmadi, Oktay Günlük
Robust-to-Dynamics Optimization. CoRR (2018)
Amir Ali Ahmadi, Georgina Hall
DC decomposition of nonconvex polynomials with algebraic techniques. Math. Program. 169 (1) (2018)
Amir Ali Ahmadi, Pablo A. Parrilo
Sum of squares certificates for stability of planar, homogeneous, and switched systems. CoRR (2018)
Amir Ali Ahmadi, Bachir El Khadir
On Algebraic Proofs of Stability for Homogeneous Vector Fields. CoRR (2018)
Amir Ali Ahmadi, Jeffrey Zhang
On the Complexity of Testing Attainment of the Optimal Value in Nonlinear Optimization. CoRR (2018)
Amir Ali Ahmadi, Raphaël M. Jungers
SOS-Convex Lyapunov Functions and Stability of Difference Inclusions. CoRR (2018)
Amir Ali Ahmadi, Bachir El Khadir
A Globally Asymptotically Stable Polynomial Vector Field with Rational Coefficients and no Local Polynomial Lyapunov Function. CoRR (2018)
Amir Ali Ahmadi, Sanjeeb Dash, Georgina Hall
Optimization over structured subsets of positive semidefinite matrices via column generation. Discret. Optim. 24 (2017)
Amir Ali Ahmadi, Georgina Hall, Ameesh Makadia, Vikas Sindhwani
Geometry of 3D Environments and Sum of Squares Polynomials. Robotics: Science and Systems (2017)
Amir Ali Ahmadi, Georgina Hall, Antonis Papachristodoulou, James Saunderson, Yang Zheng
Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations. CDC (2017)
Amir Ali Ahmadi, Etienne de Klerk, Georgina Hall
Polynomial Norms. CoRR (2017)
Amir Ali Ahmadi, Georgina Hall
On the construction of converging hierarchies for polynomial optimization based on certificates of global positivity. CoRR (2017)
Amir Ali Ahmadi, Pablo A. Parrilo
Sum of Squares Certificates for Stability of Planar, Homogeneous, and Switched Systems. IEEE Trans. Autom. Control. 62 (10) (2017)
Amir Ali Ahmadi, Anirudha Majumdar
DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization. CoRR (2017)
Amir Ali Ahmadi, Anirudha Majumdar
Response to "Counterexample to global convergence of DSOS and SDSOS hierarchies". CoRR (2017)
Amir Ali Ahmadi, Jeffrey Zhang
Semidefinite Programming and Nash Equilibria in Bimatrix Games. CoRR (2017)
Raphaël M. Jungers, Amir Ali Ahmadi, Pablo A. Parrilo, Mardavij Roozbehani
A Characterization of Lyapunov Inequalities for Stability of Switched Systems. IEEE Trans. Autom. Control. 62 (6) (2017)
Amir Ali Ahmadi, Anirudha Majumdar
Some applications of polynomial optimization in operations research and real-time decision making. Optim. Lett. 10 (4) (2016)
Amir Ali Ahmadi, Georgina Hall, Ameesh Makadia, Vikas Sindhwani
Geometry of 3D Environments and Sum of Squares Polynomials. CoRR (2016)
Amir Ali Ahmadi, Georgina Hall
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques. CoRR (2015)
Amir Ali Ahmadi, Sanjeeb Dash, Georgina Hall
Optimization over Structured Subsets of Positive Semidefinite Matrices via Column Generation. CoRR (2015)
Amir Ali Ahmadi, Oktay Günlük
Robust-to-dynamics linear programming. CDC (2015)
Amir Ali Ahmadi, Anirudha Majumdar
Some Applications of Polynomial Optimization in Operations Research and Real-Time Decision Making. CoRR (2015)
Amir Ali Ahmadi, Georgina Hall
Sum of Squares Basis Pursuit with Linear and Second Order Cone Programming. CoRR (2015)
Amir Ali Ahmadi, Raphaël M. Jungers
Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems. CoRR (2015)
Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake
Control and verification of high-dimensional systems with DSOS and SDSOS programming. CDC (2014)
Amir Ali Ahmadi, Anirudha Majumdar
DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization. CISS (2014)
Amir Ali Ahmadi, Pablo A. Parrilo
Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization. CDC (2014)
Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani
Joint Spectral Radius and Path-Complete Graph Lyapunov Functions. SIAM J. Control. Optim. 52 (1) (2014)
Amir Ali Ahmadi, Alexander Olshevsky, Pablo A. Parrilo, John N. Tsitsiklis
NP-hardness of deciding convexity of quartic polynomials and related problems. Math. Program. 137 (1-2) (2013)
Amir Ali Ahmadi, Raphaël M. Jungers
Switched stability of nonlinear systems via SOS-convex Lyapunov functions and semidefinite programming. CDC (2013)
Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake
Control design along trajectories with sums of squares programming. ICRA (2013)
Amir Ali Ahmadi, Pablo A. Parrilo
Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions. CoRR (2013)
Amir Ali Ahmadi, Pablo A. Parrilo
A Complete Characterization of the Gap between Convexity and SOS-Convexity. SIAM J. Optim. 23 (2) (2013)
Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake
Complexity of ten decision problems in continuous time dynamical systems. ACC (2013)
Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake
Control Design along Trajectories with Sums of Squares Programming CoRR (2012)
Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani
When is a set of LMIs a sufficient condition for stability? CoRR (2012)
Amir Ali Ahmadi
On the difficulty of deciding asymptotic stability of cubic homogeneous vector fields. ACC (2012)
Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani
When Is a Set of LMIs a Sufficient Condition for Stability? ROCOND (2012)
Nima Moshtagh, Amir Ali Ahmadi, Mehran Mesbahi
Feasibility checks and control laws for reconfigurations of spacecraft clusters. ACC (2012)
Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake
Complexity of Ten Decision Problems in Continuous Time Dynamical Systems CoRR (2012)
Amir Ali Ahmadi, Pablo A. Parrilo
A convex polynomial that is not sos-convex. Math. Program. 135 (1-2) (2012)
Amir Ali Ahmadi
Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis CoRR (2012)
Amir Ali Ahmadi, Pablo A. Parrilo
Joint spectral radius of rank one matrices and the maximum cycle mean problem. CDC (2012)
Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani
Joint Spectral Radius and Path-Complete Graph Lyapunov Functions CoRR (2011)
Amir Ali Ahmadi
On the Difficulty of Deciding Asymptotic Stability of Cubic Homogeneous Vector Fields CoRR (2011)
Amir Ali Ahmadi, Miroslav Krstic, Pablo A. Parrilo
A globally asymptotically stable polynomial vector field with no polynomial Lyapunov function. CDC/ECC (2011)
Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani
Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs. HSCC (2011)
Amir Ali Ahmadi, Pablo A. Parrilo
Converse results on existence of sum of squares Lyapunov functions. CDC/ECC (2011)
Amir Ali Ahmadi, Pablo A. Parrilo
On higher order derivatives of Lyapunov functions. ACC (2011)
Amir Ali Ahmadi, Alexander Olshevsky, Pablo A. Parrilo, John N. Tsitsiklis
NP-hardness of Deciding Convexity of Quartic Polynomials and Related Problems CoRR (2010)
Amir Ali Ahmadi, Pablo A. Parrilo
On the equivalence of algebraic conditions for convexity and quasiconvexity of polynomials. CDC (2010)
Amir Ali Ahmadi, Pablo A. Parrilo
A positive definite polynomial Hessian that does not factor. CDC (2009)
Amir Ali Ahmadi, Pablo A. Parrilo
Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems. CDC (2008)

Amir Ali Ahmadi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Amir Ali Ahmadi