v1v2v3 (latest)

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

8 June 2017

Anirudha Majumdar

Papers citing "DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization"

33 / 33 papers shown

Title
SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers Kechen Li Wenqi Zhu Coralia Cartis Tianbo Ji Shiwei Liu ReLM LRM 81 2 0 27 Feb 2025
A practical, fast method for solving sum-of-squares problems for very large polynomials Daniel Keren Margarita Osadchy Roi Poranne 36 0 0 21 Oct 2024
Training Safe Neural Networks with Global SDP Bounds Roman Soletskyi David "davidad" Dalrymple AAML 75 1 0 15 Sep 2024
Differentiable Collision-Free Parametric Corridors Jon Arrizabalaga Zachary Manchester Markus Ryll 81 3 0 17 Jul 2024
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions Hongkai Dai Chuanrui Jiang Hongchao Zhang Andrew Clark 75 1 0 27 Jun 2024
An Event-Based Approach for the Conservative Compression of Covariance Matrices Christopher Funk Benjamin Noack 41 1 0 09 Mar 2024
Higher-Order Newton Methods with Polynomial Work per Iteration Amir Ali Ahmadi A. Chaudhry Jeffrey O. Zhang 24 6 0 10 Nov 2023
Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert Ryan Cory-Wright Cristina Cornelio S. Dash Bachir El Khadir L. Horesh 71 10 0 18 Aug 2023
Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimization Glen Chou Russ Tedrake 74 2 0 24 Apr 2023
A Distributionally Robust Approach to Regret Optimal Control using the Wasserstein Distance Feras Al Taha Shuhao Yan E. Bitar 59 15 0 13 Apr 2023
Stable and Transferable Hyper-Graph Neural Networks Mikhail Hayhoe Hans Riess V. Preciado Alejandro Ribeiro 109 2 0 11 Nov 2022
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant N. Mai Victor Magron J. Lasserre Kim-Chuan Toh 61 0 0 13 Sep 2022
Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part II: Theoretical & Computational Results Ramtin Madani Mersedeh Ashraphijuo Mohsen Kheirandishfard Alper Atamtürk 21 3 0 07 Aug 2022
Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part I: Definitions & Basic Properties Ramtin Madani Mersedeh Ashraphijuo Mohsen Kheirandishfard Alper Atamtürk 44 1 0 07 Aug 2022
Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety Mouhyemen Khan Tatsuya Ibuki Abhijit Chatterjee 74 13 0 29 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 73 17 0 06 Mar 2022
Robust Localization with Bounded Noise: Creating a Superset of the Possible Target Positions via Linear-Fractional Representations João Domingos Cláudia Soares J. Xavier 24 3 0 06 Oct 2021
Computing Funnels Using Numerical Optimization Based Falsifiers Jiří Fejlek Stefan Ratschan 22 3 0 23 Sep 2021
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control Yuheng Wang Margaret P. Chapman 105 36 0 18 Sep 2021
Robust Stability of Neural Network-controlled Nonlinear Systems with Parametric Variability Soumyabrata Talukder Ratnesh Kumar 46 8 0 13 Sep 2021
Data Generation Method for Learning a Low-dimensional Safe Region in Safe Reinforcement Learning Zhehua Zhou Ozgur S. Oguz Yi Ren M. Leibold M. Buss OffRL 45 0 0 10 Sep 2021
Shape-constrained Symbolic Regression -- Improving Extrapolation with Prior Knowledge G. Kronberger F. O. França Bogdan Burlacu C. Haider M. Kommenda 66 48 0 29 Mar 2021
FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking Mo Chen Sylvia Herbert Haimin Hu Ye Pu J. F. Fisac Somil Bansal Soojean Han Claire Tomlin 112 65 0 14 Feb 2021
Robust Entry Vehicle Guidance with Sampling-Based Invariant Funnels Remy Derollez Simon Le Cleac'h Zachary Manchester 14 0 0 04 Nov 2020
Learning a Low-dimensional Representation of a Safe Region for Safe Reinforcement Learning on Dynamical Systems Zhehua Zhou Ozgur S. Oguz M. Leibold M. Buss 74 14 0 19 Oct 2020
Mixed-Projection Conic Optimization: A New Paradigm for Modeling Rank Constraints Dimitris Bertsimas Ryan Cory-Wright J. Pauphilet 92 20 0 22 Sep 2020
On Polyhedral and Second-Order Cone Decompositions of Semidefinite Optimization Problems Dimitris Bertsimas Ryan Cory-Wright 56 11 0 08 Oct 2019
Distance Geometry and Data Science Leo Liberti 36 32 0 18 Sep 2019
A Survey of Recent Scalability Improvements for Semidefinite Programming with Applications in Machine Learning, Control, and Robotics Anirudha Majumdar G. Hall Amir Ali Ahmadi 115 102 0 14 Aug 2019
A Robust Unscented Transformation for Uncertain Moments Hugo Tadashi M. Kussaba J. Ishihara L. Menezes 15 0 0 25 Feb 2019
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 111 439 0 02 Nov 2018
Response to "Counterexample to global convergence of DSOS and SDSOS hierarchies" Amir Ali Ahmadi Anirudha Majumdar 54 7 0 09 Oct 2017
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques Amir Ali Ahmadi G. Hall 30 44 0 06 Oct 2015