Pages that link to "Item:Q1424271"

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

Displaying 50 items.

• Real World Verification (Q5191121) (← links)
• Certifying Polynomial Nonnegativity via Hyperbolic Optimization (Q5208888) (← links)
• Stochastic polynomial optimization (Q5210742) (← links)
• A proof of Hilbert's theorem on ternary quartic forms (Q5217463) (← links)
• (Q5241586) (← links)
• Approximate dynamic programming via iterated Bellman inequalities (Q5256802) (← links)
• Linearly Solvable Stochastic Control Lyapunov Functions (Q5298487) (← links)
• An accelerated first-order method for solving SOS relaxations of unconstrained polynomial optimization problems (Q5299903) (← links)
• Semi-Infinite Programming using High-Degree Polynomial Interpolants and Semidefinite Programming (Q5355202) (← links)
• Sum-of-squares approach to feedback control of laminar wake flows (Q5360594) (← links)
• Generic Properties for Semialgebraic Programs (Q5363376) (← links)
• Deciding Robust Feasibility and Infeasibility Using a Set Containment Approach: An Application to Stationary Passive Gas Network Operations (Q5376454) (← links)
• DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization (Q5382573) (← links)
• Robust nonlinear stability and performance analysis of an F/A‐18 aircraft model using sum of squares programming (Q5411827) (← links)
• Quantitative local <b>L</b>₂‐gain and Reachability analysis for nonlinear systems (Q5411828) (← links)
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
• Radii minimal projections of polytopes and constrained optimization of symmetric polynomials (Q5488627) (← links)
• Computation of parameter stability margins using polynomial programming techniques (Q5491419) (← links)
• Inhomogeneous polynomial optimization over a convex set: An approximation approach (Q5496212) (← links)
• Positive Gorenstein ideals (Q5496232) (← links)
• Approximating amoebas and coamoebas by sums of squares (Q5497034) (← links)
• Bounds for Deterministic and Stochastic Dynamical Systems using Sum-of-Squares Optimization (Q5506818) (← links)
• Hybrid Systems: Computation and Control (Q5703944) (← links)
• Convergence analysis of a block improvement method for polynomial optimization over unit spheres (Q5739742) (← links)
• Well-Posedness in Unconstrained Polynomial Optimization Problems (Q5741069) (← links)
• High Degree Sum of Squares Proofs, Bienstock--Zuckerberg Hierarchy, and Chvátal--Gomory Cuts (Q5853720) (← links)
• Learning Dynamical Systems with Side Information (Q5883299) (← links)
• Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
• Intersection cuts for nonlinear integer programming: convexification techniques for structured sets (Q5962729) (← links)
• A convex optimization model for finding non-negative polynomials (Q5965344) (← links)
• ℋ₂ state-feedback control for continuous semi-Markov jump linear systems with rational transition rates (Q6040947) (← links)
• A practical approach to SOS relaxations for detecting quantum entanglement (Q6050141) (← links)
• Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
• Analysis of pulse width modulation controlled systems based on a piecewise affine description (Q6054833) (← links)
• Auxiliary functions as Koopman observables: data-driven analysis of dynamical systems via polynomial optimization (Q6066022) (← links)
• A unified framework for the identification of a general class of multivariable nonlinear block‐structured systems (Q6071510) (← links)
• New directions in real algebraic geometry. Abstracts from the workshop held March 19--24, 2023 (Q6076085) (← links)
• A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization (Q6081938) (← links)
• Nonlinear parameter‐varying state‐feedback design for a gyroscope using virtual control contraction metrics (Q6082299) (← links)
• A Sum of Squares Characterization of Perfect Graphs (Q6087752) (← links)
• Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty (Q6090130) (← links)
• Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
• Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump (Q6139057) (← links)
• Stability analysis of sampled-data control systems with input saturation: a hybrid system approach (Q6152369) (← links)
• Convex Relaxations of Integral Variational Problems: Pointwise Dual Relaxation and Sum-of-Squares Optimization (Q6155878) (← links)
• Data-driven optimal control via linear transfer operators: a convex approach (Q6157809) (← links)
• A knapsack intersection hierarchy (Q6161286) (← links)
• On the strength of recursive McCormick relaxations for binary polynomial optimization (Q6161903) (← links)
• An inexact projected gradient method with rounding and lifting by nonlinear programming for solving rank-one semidefinite relaxation of polynomial optimization (Q6165592) (← links)
• Exponential Convergence of Sum-of-Squares Hierarchies for Trigonometric Polynomials (Q6176427) (← links)