Pages that link to "Item:Q1424271"

The following pages link to Semidefinite programming relaxations for semialgebraic problems (Q1424271):

Displaying 50 items.

• Advances in computational Lyapunov analysis using sum-of-squares programming (Q258390) (← links)
• A dynamic inequality generation scheme for polynomial programming (Q263184) (← links)
• A tensor analogy of Yuan's theorem of the alternative and polynomial optimization with sign structure (Q274079) (← links)
• Some applications of polynomial optimization in operations research and real-time decision making (Q276318) (← links)
• Nonlinear analysis of vehicle control actuations based on controlled invariant sets (Q285378) (← links)
• A probabilistic interpretation of set-membership filtering: application to polynomial systems through polytopic bounding (Q290854) (← links)
• On the reduction of multivariate quadratic systems to best rank-1 approximation of three-way tensors (Q311692) (← links)
• Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO (Q322958) (← links)
• Global completability with applications to self-consistent quantum tomography (Q329581) (← links)
• Sums of squares on the hypercube (Q329957) (← links)
• A copositive formulation for the stability number of infinite graphs (Q344928) (← links)
• Real ideal and the duality of semidefinite programming for polynomial optimization (Q351462) (← links)
• Algorithmic aspects of sums of Hermitian squares of noncommutative polynomials (Q354616) (← links)
• Welfare-maximizing correlated equilibria using Kantorovich polynomials with sparsity (Q367164) (← links)
• Facial reduction algorithms for conic optimization problems (Q368590) (← links)
• Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems (Q369723) (← links)
• Finding the maximum eigenvalue of essentially nonnegative symmetric tensors via sum of squares programming (Q378284) (← links)
• An approximation bound analysis for Lasserre's relaxation in multivariate polynomial optimization (Q384182) (← links)
• POS3POLY -- a MATLAB preprocessor for optimization with positive polynomials (Q402198) (← links)
• Copositivity and constrained fractional quadratic problems (Q403649) (← links)
• Some geometric properties of successive difference substitutions (Q415953) (← links)
• Copositive optimization -- recent developments and applications (Q421783) (← links)
• Stability analysis of polynomial fuzzy models via polynomial fuzzy Lyapunov functions (Q423119) (← links)
• Think co(mpletely)positive! Matrix properties, examples and a clustered bibliography on copositive optimization (Q427378) (← links)
• Global stability analysis of fluid flows using sum-of-squares (Q429219) (← links)
• A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs (Q431017) (← links)
• SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
• Controller synthesis for robust invariance of polynomial dynamical systems using linear programming (Q450640) (← links)
• Robust control of uncertain systems: classical results and recent developments (Q458745) (← links)
• A Frank-Wolfe type theorem for nondegenerate polynomial programs (Q463745) (← links)
• A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
• A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set (Q464735) (← links)
• A refined error analysis for fixed-degree polynomial optimization over the simplex (Q489141) (← links)
• Barrier certificates revisited (Q507352) (← links)
• Exact conic programming relaxations for a class of convex polynomial cone programs (Q511965) (← links)
• Semidefinite approximations of conical hulls of measured sets (Q512256) (← links)
• Stability and performance verification of optimization-based controllers (Q518285) (← links)
• Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
• A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
• Partitioning procedure for polynomial optimization (Q604960) (← links)
• On the Kalman-Yakubovich-Popov lemma and the multidimensional models (Q607391) (← links)
• Approximation algorithms for homogeneous polynomial optimization with quadratic constraints (Q607501) (← links)
• Linear-quadratic control and quadratic differential forms for multidimensional behaviors (Q609486) (← links)
• A facial reduction algorithm for finding sparse SOS representations (Q613325) (← links)
• Optimal voting rules for two-member tenure committees (Q622586) (← links)
• An optimization approach to weak approximation of stochastic differential equations with jumps (Q631923) (← links)
• Optimizing \(n\)-variate \((n+k)\)-nomials for small \(k\) (Q633624) (← links)
• Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
• Obtaining certificates for complete synchronisation of coupled oscillators (Q633756) (← links)
• Equilibrium-independent passivity: a new definition and numerical certification (Q644256) (← links)