Amir Ali Ahmadi

Abraar Chaudhry

Cemil Dibek

CoRR, 2024

2023

A Sum of Squares Characterization of Perfect Graphs.

[BibT_eX]

[DOI]

Cemil Dibek

SIAM J. Appl. Algebra Geom., December, 2023

Sums of Separable and Quadratic Polynomials.

[BibT_eX]

[DOI]

Cemil Dibek

Math. Oper. Res., August, 2023

Learning Dynamical Systems with Side Information.

[BibT_eX]

[DOI]

SIAM Rev., February, 2023

Higher-Order Newton Methods with Polynomial Work per Iteration.

[BibT_eX]

[DOI]

Abraar Chaudhry

CoRR, 2023

Safely Learning Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2023

2022

On the complexity of finding a local minimizer of a quadratic function over a polytope.

[BibT_eX]

[DOI]

Math. Program., 2022

2021

Time-Varying Semidefinite Programs.

[BibT_eX]

[DOI]

Math. Oper. Res., 2021

Semidefinite Programming and Nash Equilibria in Bimatrix Games.

[BibT_eX]

[DOI]

INFORMS J. Comput., 2021

Safely Learning Dynamical Systems from Short Trajectories.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

2020

On Algebraic Proofs of Stability for Homogeneous Vector Fields.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

On the complexity of testing attainment of the optimal value in nonlinear optimization.

[BibT_eX]

[DOI]

Math. Program., 2020

On the complexity of detecting convexity over a box.

[BibT_eX]

[DOI]

Math. Program., 2020

Complexity aspects of local minima and related notions.

[BibT_eX]

[DOI]

CoRR, 2020

Recent Scalability Improvements for Semidefinite Programming with Applications in Machine Learning, Control, and Robotics.

[BibT_eX]

[DOI]

Annu. Rev. Control. Robotics Auton. Syst., 2020

2019

Polynomial Norms.

[BibT_eX]

[DOI]

Etienne de Klerk

SIAM J. Optim., 2019

DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization.

[BibT_eX]

[DOI]

SIAM J. Appl. Algebra Geom., 2019

On the Construction of Converging Hierarchies for Polynomial Optimization Based on Certificates of Global Positivity.

[BibT_eX]

[DOI]

Math. Oper. Res., 2019

A Survey of Recent Scalability Improvements for Semidefinite Programming with Applications in Machine Learning, Control, and Robotics.

[BibT_eX]

[DOI]

CoRR, 2019

2018

A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2018

DC decomposition of nonconvex polynomials with algebraic techniques.

[BibT_eX]

[DOI]

Math. Program., 2018

Robust-to-Dynamics Optimization.

[BibT_eX]

[DOI]

Oktay Günlük

CoRR, 2018

SOS-Convex Lyapunov Functions and Stability of Difference Inclusions.

[BibT_eX]

[DOI]

Raphaël M. Jungers

CoRR, 2018

2017

Some Recent Directions in Algebraic Methods for Optimization and Lyapunov Analysis.

[BibT_eX]

[DOI]

Proceedings of the Geometric and Numerical Foundations of Movements, 2017

A Characterization of Lyapunov Inequalities for Stability of Switched Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Sum of Squares Certificates for Stability of Planar, Homogeneous, and Switched Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Optimization over structured subsets of positive semidefinite matrices via column generation.

[BibT_eX]

[DOI]

Sanjeeb Dash

Discret. Optim., 2017

Response to "Counterexample to global convergence of DSOS and SDSOS hierarchies".

[BibT_eX]

[DOI]

CoRR, 2017

Geometry of 3D Environments and Sum of Squares Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XIII, 2017

Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations.

[BibT_eX]

[DOI]

Antonis Papachristodoulou

James Saunderson

Yang Zheng

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Some applications of polynomial optimization in operations research and real-time decision making.

[BibT_eX]

[DOI]

Optim. Lett., 2016

2015

Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems.

[BibT_eX]

[DOI]

Raphaël M. Jungers

CoRR, 2015

Sum of Squares Basis Pursuit with Linear and Second Order Cone Programming.

[BibT_eX]

[DOI]

CoRR, 2015

Robust-to-dynamics linear programming.

[BibT_eX]

[DOI]

Oktay Günlük

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Joint Spectral Radius and Path-Complete Graph Lyapunov Functions.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2014

DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual Conference on Information Sciences and Systems, 2014

Control and verification of high-dimensional systems with DSOS and SDSOS programming.

[BibT_eX]

[DOI]

Russ Tedrake

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

A Complete Characterization of the Gap between Convexity and SOS-Convexity.

[BibT_eX]

[DOI]

SIAM J. Optim., 2013

NP-hardness of deciding convexity of quartic polynomials and related problems.

[BibT_eX]

[DOI]

Math. Program., 2013

Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions.

[BibT_eX]

[DOI]

CoRR, 2013

Control design along trajectories with sums of squares programming.

[BibT_eX]

[DOI]

Russ Tedrake

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Switched stability of nonlinear systems via SOS-convex Lyapunov functions and semidefinite programming.

[BibT_eX]

[DOI]

Raphaël M. Jungers

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Complexity of ten decision problems in continuous time dynamical systems.

[BibT_eX]

[DOI]

Russ Tedrake

Proceedings of the American Control Conference, 2013

2012

A convex polynomial that is not sos-convex.

[BibT_eX]

[DOI]

Math. Program., 2012

Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis

[BibT_eX]

[DOI]

CoRR, 2012

When Is a Set of LMIs a Sufficient Condition for Stability?

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

Joint spectral radius of rank one matrices and the maximum cycle mean problem.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Feasibility checks and control laws for reconfigurations of spacecraft clusters.

[BibT_eX]

[DOI]

Nima Moshtagh

Mehran Mesbahi

Proceedings of the American Control Conference, 2012

On the difficulty of deciding asymptotic stability of cubic homogeneous vector fields.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

Algebraic relaxations and hardness results in polynomial optimization and Lyapunov analysis.

[BibT_eX]

[DOI]

PhD thesis, 2011

Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Converse results on existence of sum of squares Lyapunov functions.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A globally asymptotically stable polynomial vector field with no polynomial Lyapunov function.

[BibT_eX]

[DOI]

Miroslav Krstic

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

On higher order derivatives of Lyapunov functions.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

On the equivalence of algebraic conditions for convexity and quasiconvexity of polynomials.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

A positive definite polynomial Hessian that does not factor.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems.

[BibT_eX]

[DOI]