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

Showing results 1 to 20 of 206.
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. Lu, Junjie; She, Zhikun; Ge, Shuzhi Sam; Jiang, Xin: Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (2018)
  3. 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)
  4. Abo, Hirotachi; Seigal, Anna; Sturmfels, Bernd: Eigenconfigurations of tensors (2017)
  5. Ahmadi, Mohamadreza; Mojallali, Hamed; Wisniewski, Rafael: On robust stability of switched systems in the context of Filippov solutions (2017)
  6. Ahmadi, Mohamadreza; Valmorbida, Giorgio; Papachristodoulou, Antonis: Safety verification for distributed parameter systems using barrier functionals (2017)
  7. Briat, Corentin: Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems (2017)
  8. 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)
  9. Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun: Barrier certificates revisited (2017)
  10. Després, Bruno: Polynomials with bounds and numerical approximation (2017)
  11. Etienne, Lucien; Hetel, Laurentiu; Efimov, Denis; Petreczky, Mihaly: Observer synthesis under time-varying sampling for Lipschitz nonlinear systems (2017)
  12. Gassara, H.; El Hajjaji, A.; Chaabane, M.: Design of polynomial fuzzy observer-controller for nonlinear systems with state delay: sum of squares approach (2017)
  13. Hafstein, Sigurdur F.; Li, Huijuan: Computation of Lyapunov functions for nonautonomous systems on finite time-intervals by linear programming (2017)
  14. 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)
  15. Jiang, Xin; She, Zhikun; Feng, Zhaosheng; Zheng, Xiuliang: Bifurcation analysis of a predator-prey system with ratio-dependent functional responses (2017)
  16. Korda, Milan; Jones, Colin N.: Stability and performance verification of optimization-based controllers (2017)
  17. Kundu, Soumya; Anghel, Marian: A multiple-comparison-systems method for distributed stability analysis of large-scale nonlinear systems (2017)
  18. Matsue, Kaname; Hiwaki, Tomohiro; Yamamoto, Nobito: On the construction of Lyapunov functions with computer assistance (2017)
  19. Menini, Laura; Possieri, Corrado; Tornambè, Antonio: Boolean network representation of a continuous-time system and finite-horizon optimal control: application to the single-gene regulatory system for the lac operon (2017)
  20. Murthy, Abhishek; Islam, Md.Ariful; Smolka, Scott A.; Grosu, Radu: Computing compositional proofs of input-to-output stability using SOS optimization and $\delta$-decidability (2017)

1 2 3 ... 9 10 11 next