SOSTOOLS and Its Control Applications
From MaRDI portal
Publication:4681657
DOI10.1007/10997703_14zbMath1119.93302OpenAlexW2476606743MaRDI QIDQ4681657
Stephen Prajna, Peter Seiler, Pablo A. Parrilo, Antonis Papachristodoulou
Publication date: 24 June 2005
Published in: Positive Polynomials in Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/10997703_14
Semidefinite programming (90C22) Quadratic programming (90C20) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items
Amoebas, nonnegative polynomials and sums of squares supported on circuits ⋮ Sum of squares method for sensor network localization ⋮ Semidefinite programming and sums of Hermitian squares of noncommutative polynomials ⋮ Semidefinite representation of convex sets ⋮ Barrier certificates for nonlinear model validation ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ On the complexity of Putinar's Positivstellensatz ⋮ Semidefinite relaxations of dynamical programs under discrete constraints ⋮ A polynomial chaos approach to the robust analysis of the dynamic behaviour of friction systems ⋮ The tracial moment problem and trace-optimization of polynomials ⋮ Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces ⋮ Linearization, model reduction and reachability in nonlinear ODEs ⋮ Finding positively invariant sets and proving exponential stability of limit cycles using sum-of-squares decompositions ⋮ Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming ⋮ Efficient solution of a class of quantified constraints with quantifier prefix exists-forall ⋮ A unified dissipativity approach for stability analysis of piecewise smooth systems ⋮ Approximate simulation relations for hybrid systems ⋮ Exact relaxations of non-convex variational problems ⋮ Barrier certificates revisited ⋮ A multiple-comparison-systems method for distributed stability analysis of large-scale nonlinear systems ⋮ Global minimization of rational functions and the nearest GCDs ⋮ Minimizing polynomials via sum of squares over the gradient ideal ⋮ A method for computing lowest eigenvalues of symmetric polynomial differential operators by semidefinite programming ⋮ Constrained trace-optimization of polynomials in freely noncommuting variables ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants ⋮ Approximating amoebas and coamoebas by sums of squares ⋮ A generalised integral polynomial Lyapunov function for nonlinear systems ⋮ An algorithm for decomposing a non-negative polynomial as a sum of squares of rational functions ⋮ Minimum ellipsoid bounds for solutions of polynomial systems via sum of squares
Uses Software
