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

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

1 2 3 ... 12 13 14 next

  1. Giesl, Peter; Hafstein, Sigurdur; Mehrabinezhad, Iman: Computation and verification of contraction metrics for exponentially stable equilibria (2021)
  2. Kuntz, Juan; Thomas, Philipp; Stan, Guy-Bart; Barahona, Mauricio: Approximations of countably infinite linear programs over bounded measure spaces (2021)
  3. Liu, Kairong; Li, Meilun; She, Zhikun: Stability verification for a class of stochastic hybrid systems by semidefinite programming (2021)
  4. Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid: Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (2021)
  5. Rojas López, Alejandra; Monzón, Pablo; Acerenza, Luis: A model for the regulation of apoptosis intrinsic pathway: the potential role of the transcriptional regulator E2F in the point of no return (2021)
  6. Santoyo, Cesar; Dutreix, Maxence; Coogan, Samuel: A barrier function approach to finite-time stochastic system verification and control (2021)
  7. Alessandri, Angelo; Bagnerini, Patrizia; Cianci, Roberto; Revetria, Roberto: Modeling and estimation of thermal flows based on transport and balance equations (2020)
  8. Ammar, Imen Iben; Gassara, Hamdi; El Hajjaji, Ahmed; Tadeo, Fernando; Chaabane, Mohamed: Observer-based controller for positive polynomial systems with time delay (2020)
  9. Behrends, Sönke; Schöbel, Anita: Generating valid linear inequalities for nonlinear programs via sums of squares (2020)
  10. Briat, C.: Stability and (L_1 \times\ell_1)-to-(L_1 \times\ell_1) performance analysis of uncertain impulsive linear positive systems with applications to the interval observation of impulsive and switched systems with constant delays (2020)
  11. Briat, Corentin: A biology-inspired approach to the positive integral control of positive systems: the antithetic, exponential, and logistic integral controllers (2020)
  12. Dai, Siyuan; Koutsoukos, Xenofon: Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems (2020)
  13. Giesl, Peter; Osborne, Conor; Hafstein, Sigurdur: Automatic determination of connected sublevel sets of CPA Lyapunov functions (2020)
  14. Golkani, Mohammad Ali; Koch, Stefan; Reichhartinger, Markus; Horn, Martin; Fridman, Leonid: Saturated feedback control using different higher-order sliding-mode algorithms (2020)
  15. Goyal, Manish; Duggirala, Parasara Sridhar: Extracting counterexamples induced by safety violation in linear hybrid systems (2020)
  16. Hooshmandi, Kaveh; Bayat, Farhad; Jahed-Motlagh, Mohammad Reza; Jalali, Ali Akbar: Polynomial LPV approach to robust (H_\infty) control of nonlinear sampled-data systems (2020)
  17. Jarre, Florian; Lieder, Felix; Liu, Ya-Feng; Lu, Cheng: Set-completely-positive representations and cuts for the max-cut polytope and the unit modulus lifting (2020)
  18. Kohan-sedgh, Peyman; Khayatian, Alireza; Behmanesh-Fard, Navid: Simultaneous stabilization of polynomial nonlinear systems via density functions (2020)
  19. Koru, Ahmet Taha; Delibaşı, Akın; Özbay, Hitay: Dwell time-based stabilisation of switched linear delay systems using clock-dependent Lyapunov-Krasovskii functionals (2020)
  20. Permenter, Frank; Parrilo, Pablo A.: Dimension reduction for semidefinite programs via Jordan algebras (2020)

1 2 3 ... 12 13 14 next