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

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

1 2 3 ... 9 10 11 next

  1. Behrends, Sönke; Hübner, Ruth; Schöbel, Anita: Norm bounds and underestimators for unconstrained polynomial integer minimization (2018)
  2. 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)
  3. Lu, Junjie; She, Zhikun; Ge, Shuzhi Sam; Jiang, Xin: Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (2018)
  4. Nasiri, Alireza; Nguang, Sing Kiong; Swain, Akshya; Almakhles, Dhafer: Stabilisation of discrete-time polynomial fuzzy systems via a polynomial Lyapunov approach (2018)
  5. 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)
  6. Abo, Hirotachi; Seigal, Anna; Sturmfels, Bernd: Eigenconfigurations of tensors (2017)
  7. Ahmadi, Mohamadreza; Mojallali, Hamed; Wisniewski, Rafael: On robust stability of switched systems in the context of Filippov solutions (2017)
  8. Ahmadi, Mohamadreza; Valmorbida, Giorgio; Papachristodoulou, Antonis: Safety verification for distributed parameter systems using barrier functionals (2017)
  9. Briat, Corentin: Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems (2017)
  10. 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)
  11. Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun: Barrier certificates revisited (2017)
  12. Després, Bruno: Polynomials with bounds and numerical approximation (2017)
  13. Etienne, Lucien; Hetel, Laurentiu; Efimov, Denis; Petreczky, Mihaly: Observer synthesis under time-varying sampling for Lipschitz nonlinear systems (2017)
  14. Gassara, H.; El Hajjaji, A.; Chaabane, M.: Design of polynomial fuzzy observer-controller for nonlinear systems with state delay: sum of squares approach (2017)
  15. Hafstein, Sigurdur F.; Li, Huijuan: Computation of Lyapunov functions for nonautonomous systems on finite time-intervals by linear programming (2017)
  16. Hetel, Laurentiu; Fiter, Christophe; Omran, Hassan; Seuret, Alexandre; Fridman, Emilia; Richard, Jean-Pierre; Niculescu, Silviu Iulian: Recent developments on the stability of systems with aperiodic sampling: an overview (2017)
  17. Jiang, Xin; She, Zhikun; Feng, Zhaosheng; Zheng, Xiuliang: Bifurcation analysis of a predator-prey system with ratio-dependent functional responses (2017)
  18. Korda, Milan; Jones, Colin N.: Stability and performance verification of optimization-based controllers (2017)
  19. Kundu, Soumya; Anghel, Marian: A multiple-comparison-systems method for distributed stability analysis of large-scale nonlinear systems (2017)
  20. Liang, Quanyi; She, Zhikun; Wang, Lei; Chen, Michael Z. Q.; Wang, Qing-Guo: Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces (2017)

1 2 3 ... 9 10 11 next