Evolving scientific discovery by unifying data and background knowledge with AI Hilbert
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 …
align with existing background theory is a key goal in science. Historically, scientists have …
Sequential sum-of-squares programming for analysis of nonlinear systems⋆
Numerous interesting properties in nonlinear systems analysis can be written as polynomial
optimization problems with nonconvex sum-of-squares problems. To solve those problems …
optimization problems with nonconvex sum-of-squares problems. To solve those problems …
Sparse polynomial matrix optimization
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 …
semidefinite over a given constraint set. Polynomial matrix optimization concerns minimizing …
Spurious local minima in nonconvex sum-of-squares optimization
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 …
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
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 …
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 …
positivity of a polynomials must be enforced. The common approach to solve an SOS …
Generalized Ellipsoids
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 …
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
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 …
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 …
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 …
stability and stabilization of linear systems with nontrivial distributed delays through the …