default search action
Amir Ali Ahmadi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i36]Amir Ali Ahmadi, Abraar Chaudhry, Cemil Dibek:
Generalized Ellipsoids. CoRR abs/2407.20362 (2024) - 2023
- [j23]Amir Ali Ahmadi
, Cemil Dibek
Sums of Separable and Quadratic Polynomials. Math. Oper. Res. 48(3): 1316-1343 (2023) - [j22]Amir Ali Ahmadi
A Sum of Squares Characterization of Perfect Graphs. SIAM J. Appl. Algebra Geom. 7(4): 685-715 (2023) - [j21]Amir Ali Ahmadi
Learning Dynamical Systems with Side Information. SIAM Rev. 65(1): 183-223 (2023) - [i35]Amir Ali Ahmadi
Safely Learning Dynamical Systems. CoRR abs/2305.12284 (2023) - [i34]Amir Ali Ahmadi, Abraar Chaudhry, Jeffrey Zhang:
Higher-Order Newton Methods with Polynomial Work per Iteration. CoRR abs/2311.06374 (2023) - 2022
- [j20]Amir Ali Ahmadi
On the complexity of finding a local minimizer of a quadratic function over a polytope. Math. Program. 195(1): 783-792 (2022) - 2021
- [j19]Amir Ali Ahmadi
Semidefinite Programming and Nash Equilibria in Bimatrix Games. INFORMS J. Comput. 33(2): 607-628 (2021) - [j18]Amir Ali Ahmadi
Time-Varying Semidefinite Programs. Math. Oper. Res. 46(3): 1054-1080 (2021) - [c22]Amir Ali Ahmadi, Abraar Chaudhry, Vikas Sindhwani, Stephen Tu:
Safely Learning Dynamical Systems from Short Trajectories. L4DC 2021: 498-509 - [i33]Amir Ali Ahmadi, Cemil Dibek, Georgina Hall:
Sums of Separable and Quadratic Polynomials. CoRR abs/2105.04766 (2021) - 2020
- [j17]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: 331-360 (2020) - [j16]Amir Ali Ahmadi, Georgina Hall
On the complexity of detecting convexity over a box. Math. Program. 182(1): 429-443 (2020) - [j15]Amir Ali Ahmadi
On the complexity of testing attainment of the optimal value in nonlinear optimization. Math. Program. 184(1): 221-241 (2020) - [j14]Amir Ali Ahmadi
On Algebraic Proofs of Stability for Homogeneous Vector Fields. IEEE Trans. Autom. Control. 65(1): 325-332 (2020) - [c21]Amir Ali Ahmadi, Bachir El Khadir:
Learning Dynamical Systems with Side Information. L4DC 2020: 718-727 - [i32]Amir Ali Ahmadi, Jeffrey Zhang:
On the complexity of finding a local minimizer of a quadratic function over a polytope. CoRR abs/2008.05558 (2020) - [i31]Amir Ali Ahmadi, Jeffrey Zhang:
Complexity aspects of local minima and related notions. CoRR abs/2008.06148 (2020) - [i30]Amir Ali Ahmadi, Bachir El Khadir:
Learning Dynamical Systems with Side Information. CoRR abs/2008.10135 (2020) - [i29]Amir Ali Ahmadi, Abraar Chaudhry, Vikas Sindhwani, Stephen Tu:
Safely Learning Dynamical Systems from Short Trajectories. CoRR abs/2011.12257 (2020)
2010 – 2019
- 2019
- [j13]Amir Ali Ahmadi
On the Construction of Converging Hierarchies for Polynomial Optimization Based on Certificates of Global Positivity. Math. Oper. Res. 44(4): 1192-1207 (2019) - [j12]Amir Ali Ahmadi
DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization. SIAM J. Appl. Algebra Geom. 3(2): 193-230 (2019) - [j11]Amir Ali Ahmadi
Polynomial Norms. SIAM J. Optim. 29(1): 399-422 (2019) - [i28]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 abs/1908.05209 (2019) - 2018
- [j10]Amir Ali Ahmadi, Georgina Hall:
DC decomposition of nonconvex polynomials with algebraic techniques. Math. Program. 169(1): 69-94 (2018) - [j9]Amir Ali Ahmadi
A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function. Syst. Control. Lett. 121: 50-53 (2018) - [i27]Amir Ali Ahmadi, Pablo A. Parrilo:
Sum of squares certificates for stability of planar, homogeneous, and switched systems. CoRR abs/1801.00070 (2018) - [i26]Amir Ali Ahmadi, Bachir El Khadir:
On Algebraic Proofs of Stability for Homogeneous Vector Fields. CoRR abs/1803.01877 (2018) - [i25]Amir Ali Ahmadi, Raphaël M. Jungers:
SOS-Convex Lyapunov Functions and Stability of Difference Inclusions. CoRR abs/1803.02070 (2018) - [i24]Amir Ali Ahmadi, Bachir El Khadir:
A Globally Asymptotically Stable Polynomial Vector Field with Rational Coefficients and no Local Polynomial Lyapunov Function. CoRR abs/1803.06087 (2018) - [i23]Amir Ali Ahmadi, Jeffrey Zhang:
On the Complexity of Testing Attainment of the Optimal Value in Nonlinear Optimization. CoRR abs/1803.07683 (2018) - [i22]Amir Ali Ahmadi, Oktay Günlük:
Robust-to-Dynamics Optimization. CoRR abs/1805.03682 (2018) - [i21]Amir Ali Ahmadi, Georgina Hall:
On the Complexity of Detecting Convexity over a Box. CoRR abs/1806.06173 (2018) - [i20]Amir Ali Ahmadi, Bachir El Khadir:
Time-Varying Semidefinite Programs. CoRR abs/1808.03994 (2018) - 2017
- [j8]Amir Ali Ahmadi, Sanjeeb Dash, Georgina Hall:
Optimization over structured subsets of positive semidefinite matrices via column generation. Discret. Optim. 24: 129-151 (2017) - [j7]Raphaël M. Jungers, Amir Ali Ahmadi, Pablo A. Parrilo
A Characterization of Lyapunov Inequalities for Stability of Switched Systems. IEEE Trans. Autom. Control. 62(6): 3062-3067 (2017) - [j6]Amir Ali Ahmadi, Pablo A. Parrilo
Sum of Squares Certificates for Stability of Planar, Homogeneous, and Switched Systems. IEEE Trans. Autom. Control. 62(10): 5269-5274 (2017) - [c20]Amir Ali Ahmadi, Georgina Hall, Antonis Papachristodoulou
Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations. CDC 2017: 453-462 - [c19]Amir Ali Ahmadi, Georgina Hall, Ameesh Makadia, Vikas Sindhwani:
Geometry of 3D Environments and Sum of Squares Polynomials. Robotics: Science and Systems 2017 - [p1]Amir Ali Ahmadi, Pablo A. Parrilo
Some Recent Directions in Algebraic Methods for Optimization and Lyapunov Analysis. Geometric and Numerical Foundations of Movements 2017: 89-112 - [i19]Amir Ali Ahmadi, Etienne de Klerk, Georgina Hall:
Polynomial Norms. CoRR abs/1704.07462 (2017) - [i18]Amir Ali Ahmadi, Anirudha Majumdar:
DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization. CoRR abs/1706.02586 (2017) - [i17]Amir Ali Ahmadi, Jeffrey Zhang:
Semidefinite Programming and Nash Equilibria in Bimatrix Games. CoRR abs/1706.08550 (2017) - [i16]Amir Ali Ahmadi, Georgina Hall:
On the construction of converging hierarchies for polynomial optimization based on certificates of global positivity. CoRR abs/1709.09307 (2017) - [i15]Amir Ali Ahmadi, Anirudha Majumdar:
Response to "Counterexample to global convergence of DSOS and SDSOS hierarchies". CoRR abs/1710.02901 (2017) - 2016
- [j5]Amir Ali Ahmadi, Anirudha Majumdar:
Some applications of polynomial optimization in operations research and real-time decision making. Optim. Lett. 10(4): 709-729 (2016) - [i14]Amir Ali Ahmadi, Georgina Hall, Ameesh Makadia, Vikas Sindhwani:
Geometry of 3D Environments and Sum of Squares Polynomials. CoRR abs/1611.07369 (2016) - 2015
- [c18]Amir Ali Ahmadi, Oktay Günlük
Robust-to-dynamics linear programming. CDC 2015: 5915-5919 - [i13]Amir Ali Ahmadi, Raphaël M. Jungers:
Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems. CoRR abs/1504.03761 (2015) - [i12]Amir Ali Ahmadi, Anirudha Majumdar:
Some Applications of Polynomial Optimization in Operations Research and Real-Time Decision Making. CoRR abs/1504.06002 (2015) - [i11]Amir Ali Ahmadi, Georgina Hall:
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques. CoRR abs/1510.01518 (2015) - [i10]Amir Ali Ahmadi, Georgina Hall:
Sum of Squares Basis Pursuit with Linear and Second Order Cone Programming. CoRR abs/1510.01597 (2015) - [i9]Amir Ali Ahmadi, Sanjeeb Dash, Georgina Hall:
Optimization over Structured Subsets of Positive Semidefinite Matrices via Column Generation. CoRR abs/1512.05402 (2015) - 2014
- [j4]Amir Ali Ahmadi
Joint Spectral Radius and Path-Complete Graph Lyapunov Functions. SIAM J. Control. Optim. 52(1): 687-717 (2014) - [c17]Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake:
Control and verification of high-dimensional systems with DSOS and SDSOS programming. CDC 2014: 394-401 - [c16]Amir Ali Ahmadi, Pablo A. Parrilo
Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization. CDC 2014: 2272-2281 - [c15]Amir Ali Ahmadi, Anirudha Majumdar:
DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization. CISS 2014: 1-5 - 2013
- [j3]Amir Ali Ahmadi
NP-hardness of deciding convexity of quartic polynomials and related problems. Math. Program. 137(1-2): 453-476 (2013) - [j2]Amir Ali Ahmadi, Pablo A. Parrilo
A Complete Characterization of the Gap between Convexity and SOS-Convexity. SIAM J. Optim. 23(2): 811-833 (2013) - [c14]Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake:
Complexity of ten decision problems in continuous time dynamical systems. ACC 2013: 6376-6381 - [c13]Amir Ali Ahmadi, Raphaël M. Jungers:
Switched stability of nonlinear systems via SOS-convex Lyapunov functions and semidefinite programming. CDC 2013: 727-732 - [c12]Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake:
Control design along trajectories with sums of squares programming. ICRA 2013: 4054-4061 - [i8]Amir Ali Ahmadi, Pablo A. Parrilo:
Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions. CoRR abs/1308.6833 (2013) - 2012
- [j1]Amir Ali Ahmadi, Pablo A. Parrilo
A convex polynomial that is not sos-convex. Math. Program. 135(1-2): 275-292 (2012) - [c11]Nima Moshtagh, Amir Ali Ahmadi, Mehran Mesbahi:
Feasibility checks and control laws for reconfigurations of spacecraft clusters. ACC 2012: 961-966 - [c10]Amir Ali Ahmadi:
On the difficulty of deciding asymptotic stability of cubic homogeneous vector fields. ACC 2012: 3334-3339 - [c9]Amir Ali Ahmadi, Pablo A. Parrilo
Joint spectral radius of rank one matrices and the maximum cycle mean problem. CDC 2012: 731-733 - [c8]Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo
When Is a Set of LMIs a Sufficient Condition for Stability? ROCOND 2012: 313-318 - [i7]Amir Ali Ahmadi:
Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis. CoRR abs/1201.2892 (2012) - [i6]Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani:
When is a set of LMIs a sufficient condition for stability? CoRR abs/1201.3227 (2012) - [i5]Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake:
Control Design along Trajectories with Sums of Squares Programming. CoRR abs/1210.0888 (2012) - [i4]Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake:
Complexity of Ten Decision Problems in Continuous Time Dynamical Systems. CoRR abs/1210.7420 (2012) - 2011
- [b1]Amir Ali Ahmadi:
Algebraic relaxations and hardness results in polynomial optimization and Lyapunov analysis. Massachusetts Institute of Technology, Cambridge, MA, USA, 2011 - [c7]Amir Ali Ahmadi, Pablo A. Parrilo
On higher order derivatives of Lyapunov functions. ACC 2011: 1313-1314 - [c6]Amir Ali Ahmadi, Pablo A. Parrilo
Converse results on existence of sum of squares Lyapunov functions. CDC/ECC 2011: 6516-6521 - [c5]Amir Ali Ahmadi, Miroslav Krstic
A globally asymptotically stable polynomial vector field with no polynomial Lyapunov function. CDC/ECC 2011: 7579-7580 - [c4]Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo
Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs. HSCC 2011: 13-22 - [i3]Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani:
Joint Spectral Radius and Path-Complete Graph Lyapunov Functions. CoRR abs/1111.3427 (2011) - [i2]Amir Ali Ahmadi:
On the Difficulty of Deciding Asymptotic Stability of Cubic Homogeneous Vector Fields. CoRR abs/1112.0741 (2011) - 2010
- [c3]Amir Ali Ahmadi, Pablo A. Parrilo
On the equivalence of algebraic conditions for convexity and quasiconvexity of polynomials. CDC 2010: 3343-3348 - [i1]Amir Ali Ahmadi, Alexander Olshevsky, Pablo A. Parrilo, John N. Tsitsiklis:
NP-hardness of Deciding Convexity of Quartic Polynomials and Related Problems. CoRR abs/1012.1908 (2010)
2000 – 2009
- 2009
- [c2]Amir Ali Ahmadi, Pablo A. Parrilo
A positive definite polynomial Hessian that does not factor. CDC 2009: 1195-1200 - 2008
- [c1]Amir Ali Ahmadi, Pablo A. Parrilo
Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems. CDC 2008: 614-621
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: