Pre- and Post-Processing Sum-of-Squares Programs in Practice

DOI10.1109/TAC.2009.2017144zbMath1367.90002MaRDI QIDQ4974557

Publication date: 8 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2009.2017144

Mathematics Subject Classification ID

90C22: Semidefinite programming

90-04: Software, source code, etc. for problems pertaining to operations research and mathematical programming

Related Items

POLYNOMIAL BOUNDS FOR SOLUTIONS TO BOUNDARY VALUE AND OBSTACLE PROBLEMS WITH APPLICATIONS TO FINANCIAL DERIVATIVE PRICING, SMOOTH UPPER BOUNDS FOR THE PRICE FUNCTION OF AMERICAN STYLE OPTIONS, Bounds on mean energy in the Kuramoto–Sivashinsky equation computed using semidefinite programming, Stabilisation of discrete-time polynomial fuzzy systems via a polynomial lyapunov approach, Finding Extremal Periodic Orbits with Polynomial Optimization, with Application to a Nine-Mode Model of Shear Flow, Bounding Extreme Events in Nonlinear Dynamics Using Convex Optimization, Primes in arithmetic progressions and semidefinite programming, Control analysis and design via randomised coordinate polynomial minimisation, Jordan symmetry reduction for conic optimization over the doubly nonnegative cone: theory and software, Bounding extrema over global attractors using polynomial optimisation, Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming, TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity, Minimum wave speeds in monostable reaction–diffusion equations: sharp bounds by polynomial optimization, Safe nonlinear control design for input constrained polynomial systems using sum-of-squares programming, A Semidefinite Hierarchy for Containment of Spectrahedra, Sum-of-squares approach to feedback control of laminar wake flows, Deciding Robust Feasibility and Infeasibility Using a Set Containment Approach: An Application to Stationary Passive Gas Network Operations, Upper bounds for packings of spheres of several radii, Bounds for Deterministic and Stochastic Dynamical Systems using Sum-of-Squares Optimization, Validating numerical semidefinite programming solvers for polynomial invariants, ℋ₂ state-feedback control for continuous semi-Markov jump linear systems with rational transition rates, Facial reduction for symmetry reduced semidefinite and doubly nonnegative programs, Convex computation of maximal Lyapunov exponents, A practical approach to SOS relaxations for detecting quantum entanglement, Safety verification for regime-switching jump diffusions via barrier certificates, Analysis of pulse width modulation controlled systems based on a piecewise affine description, Auxiliary functions as Koopman observables: data-driven analysis of dynamical systems via polynomial optimization, Stability from graph symmetrisation arguments with applications to inducibility, Chordal sparsity for SDP-based neural network verification, Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications, Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump, Convex Relaxations of Integral Variational Problems: Pointwise Dual Relaxation and Sum-of-Squares Optimization, Data-driven optimal control via linear transfer operators: a convex approach, Impulsive method to reliable sampled-data control for uncertain fractional-order memristive neural networks with stochastic sensor faults and its applications, Data-driven design of safe control for polynomial systems, Positive semi-definiteness and sum-of-squares property of fourth order four dimensional Hankel tensors, A tensor analogy of Yuan's theorem of the alternative and polynomial optimization with sign structure, Nonlinear analysis of vehicle control actuations based on controlled invariant sets, Finding the maximum eigenvalue of essentially nonnegative symmetric tensors via sum of squares programming, Global stability analysis of fluid flows using sum-of-squares, Computation of an optimal communication schedule in a nonlinear networked control system using sum-of-squares, A computational approach to synthesizing guards for hybrid systems, On polynomial optimization over non-compact semi-algebraic sets, Three dimensional strongly symmetric circulant tensors, An improved semidefinite programming hierarchy for testing entanglement, A facial reduction algorithm for finding sparse SOS representations, Copositive tensor detection and its applications in physics and hypergraphs, Extended trust-region problems with one or two balls: exact copositive and Lagrangian relaxations, On computing minimal \(H\)-eigenvalue of sign-structured tensors, Lower bounds on nonnegative rank via nonnegative nuclear norms, Smaller SDP for SOS decomposition, Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems, Distributionally robust expectation inequalities for structured distributions, Convergent conic linear programming relaxations for cone convex polynomial programs, A convergent hierarchy of SDP relaxations for a class of hard robust global polynomial optimization problems, Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system, Partial facial reduction: simplified, equivalent SDPs via approximations of the PSD cone, A bilevel Farkas lemma to characterizing global solutions of a class of bilevel polynomial programs, Radius of robust feasibility formulas for classes of convex programs with uncertain polynomial constraints, Observer-based stabilization of sector-bounded nonlinear stochastic systems in the presence of intermittent measurements, The speed of traveling waves in a FKPP-Burgers system, Data-driven control via Petersen's lemma, A global optimization method for multiple response optimization problems, Heat transport bounds for a truncated model of Rayleigh-Bénard convection via polynomial optimization, Stabilization of rank-deficient continuous-time switched affine systems, Dissipativity properties in constrained optimal control: a computational approach, Reachability analysis using dissipation inequalities for uncertain nonlinear systems, Region of attraction analysis of nonlinear stochastic systems using polynomial chaos expansion, A sum of squares approach to robust PI controller synthesis for a class of polynomial multi-input multi-output nonlinear systems, Douglas-Rachford splitting and ADMM for pathological convex optimization, Pair correlation estimates for the zeros of the zeta function via semidefinite programming, A new use of Douglas-Rachford splitting for identifying infeasible, unbounded, and pathological conic programs, Global optimality principles for polynomial optimization over box or bivalent constraints by separable polynomial approximations, Lyapunov function computation for autonomous systems with complex dynamic behavior, Sum-of-squares chordal decomposition of polynomial matrix inequalities, A novel moving orthonormal coordinate-based approach for region of attraction analysis of limit cycles, Co-design ofH_∞jump observers for event-based measurements over networks, Networked gain-scheduled fault diagnosis under control input dropouts without data delivery acknowledgment, Robustness Issues in Control of Bilinear Discrete-Time Systems—Applied to the Control of Power Converters, Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants, Automatic robust convex programming, Synthesis of nonlinear controller for wind turbines stability when providing grid support, LMI stability conditions for uncertain rational nonlinear systems, The Z -eigenvalues of a symmetric tensor and its application to spectral hypergraph theory, Polynomial sum of squares in fluid dynamics: a review with a look ahead, Linear Conic Optimization for Inverse Optimal Control, Sum-of-squares based observer design for polynomial systems with a known fixed time delay