Sostools

We are pleased to introduce SOSTOOLS, a free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs. SOSTOOLS can be used to specify and solve sum of squares polynomial problems using a very simple, flexible, and intuitive high-level notation. Currently, the SOS programs are solved using SeDuMi or SDPT3, both well-known semidefinite programming solver, with SOSTOOLS handling internally all the necessary reformulations and data conversion.


References in zbMATH (referenced in 235 articles )

Showing results 1 to 20 of 235.
Sorted by year (citations)

1 2 3 ... 10 11 12 next

  1. Dressler, Mareike; Iliman, Sadik; de Wolff, Timo: An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming (2019)
  2. Li, Yang; Zhang, Hongbin; Zhang, Liangliang: Equivalence of several stability conditions for switched linear systems with dwell time (2019)
  3. Menini, Laura; Possieri, Corrado; Tornambè, Antonio: A linear algebra method to decompose forms whose length is lower than the number of variables into weighted sum of squares (2019)
  4. Papp, Dávid; Yildiz, Sercan: Sum-of-squares optimization without semidefinite programming (2019)
  5. Aßmann, Denis; Liers, Frauke; Stingl, Michael; Vera, Juan C.: Deciding robust feasibility and infeasibility using a set containment approach: an application to stationary passive gas network operations (2018)
  6. Behrends, Sönke; Hübner, Ruth; Schöbel, Anita: Norm bounds and underestimators for unconstrained polynomial integer minimization (2018)
  7. Borgers, D. P.; Postoyan, R.; Anta, A.; Tabuada, P.; Nešić, D.; Heemels, W. P. M. H.: Periodic event-triggered control of nonlinear systems using overapproximation techniques (2018)
  8. Degue, Kwassi H.; Efimov, Denis; Richard, Jean-Pierre: Stabilization of linear impulsive systems under dwell-time constraints: interval observer-based framework (2018)
  9. Hafstein, Sigurdur; Gudmundsson, Skuli; Giesl, Peter; Scalas, Enrico: Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming (2018)
  10. Henning Seidler, Timo de Wolff: An Experimental Comparison of SONC and SOS Certificates for Unconstrained Optimization (2018) arXiv
  11. Lee, Jae Hyoung; Lee, Gue Myung: On minimizing difference of a SOS-convex polynomial and a support function over a SOS-concave matrix polynomial constraint (2018)
  12. Lee, Jon; Skipper, Daphne; Speakman, Emily: Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations (2018)
  13. Lu, Junjie; She, Zhikun; Ge, Shuzhi Sam; Jiang, Xin: Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (2018)
  14. Nasiri, Alireza; Nguang, Sing Kiong; Swain, Akshya; Almakhles, Dhafer: Stabilisation of discrete-time polynomial fuzzy systems via a polynomial Lyapunov approach (2018)
  15. Pang, Ai-ping; He, Zhen; Zhao, Ming-han; Wang, Guang-xiong; Wu, Qin-mu; Li, Ze-tao: Sum of squares approach for nonlinear (\operatornameH_\infty) control (2018)
  16. Permenter, Frank; Parrilo, Pablo: Partial facial reduction: simplified, equivalent SDPs via approximations of the PSD cone (2018)
  17. Sanchez, Tonametl; Cruz-Zavala, Emmanuel; Moreno, Jaime A.: An SOS method for the design of continuous and discontinuous differentiators (2018)
  18. Vale-Enriquez, Fernando; Brown, Christopher W.: Polynomial constraints and unsat cores in \textscTarski (2018)
  19. Yu, Gwo-Ruey; Huang, Yu-Chia; Cheng, Chih-Yung: Sum-of-squares-based robust (\mathrmH_\infty) controller design for discrete-time polynomial fuzzy systems (2018)
  20. Zakhama, Rim; Hadj Brahim, Anis Bacha Bel; Braiek, Naceur Benhadj: Generalization of a stability domain estimation method for nonlinear discrete systems (2018)

1 2 3 ... 10 11 12 next