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

Showing results 1 to 20 of 219.
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. Degue, Kwassi H.; Efimov, Denis; Richard, Jean-Pierre: Stabilization of linear impulsive systems under dwell-time constraints: interval observer-based framework (2018)
  3. Hafstein, Sigurdur; Gudmundsson, Skuli; Giesl, Peter; Scalas, Enrico: Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming (2018)
  4. 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)
  5. Lee, Jon; Skipper, Daphne; Speakman, Emily: Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations (2018)
  6. Lu, Junjie; She, Zhikun; Ge, Shuzhi Sam; Jiang, Xin: Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (2018)
  7. Nasiri, Alireza; Nguang, Sing Kiong; Swain, Akshya; Almakhles, Dhafer: Stabilisation of discrete-time polynomial fuzzy systems via a polynomial Lyapunov approach (2018)
  8. 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)
  9. Zakhama, Rim; Hadj Brahim, Anis Bacha Bel; Braiek, Naceur Benhadj: Generalization of a stability domain estimation method for nonlinear discrete systems (2018)
  10. Abo, Hirotachi; Seigal, Anna; Sturmfels, Bernd: Eigenconfigurations of tensors (2017)
  11. Ahmadi, Mohamadreza; Mojallali, Hamed; Wisniewski, Rafael: On robust stability of switched systems in the context of Filippov solutions (2017)
  12. Ahmadi, Mohamadreza; Valmorbida, Giorgio; Papachristodoulou, Antonis: Safety verification for distributed parameter systems using barrier functionals (2017)
  13. Briat, Corentin: Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems (2017)
  14. 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)
  15. Chen, Xiaoxing; Hu, Manfeng: Finite-time stability and controller design of continuous-time polynomial fuzzy systems (2017)
  16. Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun: Barrier certificates revisited (2017)
  17. Després, Bruno: Polynomials with bounds and numerical approximation (2017)
  18. Etienne, Lucien; Hetel, Laurentiu; Efimov, Denis; Petreczky, Mihaly: Observer synthesis under time-varying sampling for Lipschitz nonlinear systems (2017)
  19. Gassara, H.; El Hajjaji, A.; Chaabane, M.: Design of polynomial fuzzy observer-controller for nonlinear systems with state delay: sum of squares approach (2017)
  20. Hafstein, Sigurdur F.; Li, Huijuan: Computation of Lyapunov functions for nonautonomous systems on finite time-intervals by linear programming (2017)

1 2 3 ... 9 10 11 next