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 226 articles )

Showing results 1 to 20 of 226.
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. 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)
  3. Behrends, Sönke; Hübner, Ruth; Schöbel, Anita: Norm bounds and underestimators for unconstrained polynomial integer minimization (2018)
  4. 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)
  5. Degue, Kwassi H.; Efimov, Denis; Richard, Jean-Pierre: Stabilization of linear impulsive systems under dwell-time constraints: interval observer-based framework (2018)
  6. Hafstein, Sigurdur; Gudmundsson, Skuli; Giesl, Peter; Scalas, Enrico: Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming (2018)
  7. 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)
  8. Lee, Jon; Skipper, Daphne; Speakman, Emily: Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations (2018)
  9. Lu, Junjie; She, Zhikun; Ge, Shuzhi Sam; Jiang, Xin: Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (2018)
  10. Nasiri, Alireza; Nguang, Sing Kiong; Swain, Akshya; Almakhles, Dhafer: Stabilisation of discrete-time polynomial fuzzy systems via a polynomial Lyapunov approach (2018)
  11. Permenter, Frank; Parrilo, Pablo: Partial facial reduction: simplified, equivalent SDPs via approximations of the PSD cone (2018)
  12. Vale-Enriquez, Fernando; Brown, Christopher W.: Polynomial constraints and unsat cores in Tarski (2018)
  13. Yu, Gwo-Ruey; Huang, Yu-Chia; Cheng, Chih-Yung: Sum-of-squares-based robust $\mathrm H_\infty$ controller design for discrete-time polynomial fuzzy systems (2018)
  14. Zakhama, Rim; Hadj Brahim, Anis Bacha Bel; Braiek, Naceur Benhadj: Generalization of a stability domain estimation method for nonlinear discrete systems (2018)
  15. Abo, Hirotachi; Seigal, Anna; Sturmfels, Bernd: Eigenconfigurations of tensors (2017)
  16. Ahmadi, Mohamadreza; Mojallali, Hamed; Wisniewski, Rafael: On robust stability of switched systems in the context of Filippov solutions (2017)
  17. Ahmadi, Mohamadreza; Valmorbida, Giorgio; Papachristodoulou, Antonis: Safety verification for distributed parameter systems using barrier functionals (2017)
  18. Briat, Corentin: Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems (2017)
  19. Chen, Xiangyong; Cao, Jinde; Park, Ju H.; Qiu, Jianlong: Stability analysis and estimation of domain of attraction for the endemic equilibrium of an SEIQ epidemic model (2017)
  20. Chen, Xiaoxing; Hu, Manfeng: Finite-time stability and controller design of continuous-time polynomial fuzzy systems (2017)

1 2 3 ... 10 11 12 next