Evolving scientific discovery by unifying data and background knowledge with AI Hilbert

R Cory-Wright, C Cornelio, S Dash, B El Khadir… - Nature …, 2024 - nature.com
The discovery of scientific formulae that parsimoniously explain natural phenomena and
align with existing background theory is a key goal in science. Historically, scientists have …

Sequential sum-of-squares programming for analysis of nonlinear systems

T Cunis, B Legat - 2023 American Control Conference (ACC), 2023 - ieeexplore.ieee.org
Numerous interesting properties in nonlinear systems analysis can be written as polynomial
optimization problems with nonconvex sum-of-squares problems. To solve those problems …

Sparse polynomial matrix optimization

J Miller, J Wang, F Guo - arxiv preprint arxiv:2411.15479, 2024 - arxiv.org
A polynomial matrix inequality is a statement that a symmetric polynomial matrix is positive
semidefinite over a given constraint set. Polynomial matrix optimization concerns minimizing …

Spurious local minima in nonconvex sum-of-squares optimization

G Blekherman, R Sinn, M Velasco, S Zhang - arxiv preprint arxiv …, 2024 - arxiv.org
We study spurious second-order stationary points and local minima in a nonconvex low-rank
formulation of sum-of-squares optimization on a real variety $ X $. We reformulate the …

AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery

R Cory-Wright, BE Khadir, C Cornelio, S Dash… - arxiv preprint arxiv …, 2023 - arxiv.org
The discovery of scientific formulae that parsimoniously explain natural phenomena and
align with existing background theory is a key goal in science. Historically, scientists have …

A practical, fast method for solving sum-of-squares problems for very large polynomials

D Keren, M Osadchy, R Poranne - arxiv preprint arxiv:2410.19844, 2024 - arxiv.org
Sum of squares (SOS) optimization is a powerful technique for solving problems where the
positivity of a polynomials must be enforced. The common approach to solve an SOS …

Generalized Ellipsoids

AA Ahmadi, A Chaudhry, C Dibek - arxiv preprint arxiv:2407.20362, 2024 - arxiv.org
We introduce a family of symmetric convex bodies called generalized ellipsoids of degree $
d $(GE-$ d $ s), with ellipsoids corresponding to the case of $ d= 0$. Generalized ellipsoids …

Least Squares Projection Onto the Behavior for SISO LTI Models

S Lagauw, B De Moor - IFAC-PapersOnLine, 2024 - Elsevier
We consider the least squares projection onto the behavior for linear time-invariant (LTI)
single-input single-output (SISO) models, in which the observed input-output data are …

Inexistencia de falsos mínimos locales para Burer-Monteiro de rango 2 que codifica la descomposición en suma de cuadrados

F Gálvez Zuleta - 2023 - repositorio.uniandes.edu.co
En este trabajo se estudia el paper" Low-rank univariate sum of squares has no spurious
local minima" de Pablo Parrillo, et al. En el que se trata el problema de estableces si un …

[PDF][PDF] Stability Analysis and Stabilization of Continuous-Time Linear Systems with Distributed Delays: Applications of Kronecker Decompositions

Q Feng, SK Nugnag, A Seuret - researchgate.net
This monograph is devoted to applications of the Kronecker decomposition approach for the
stability and stabilization of linear systems with nontrivial distributed delays through the …