Amir Ali Ahmadi

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