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

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

1 2 3 ... 13 14 15 next

  1. Calafiore, Giuseppe C.; Novara, Carlo; Possieri, Corrado: Control analysis and design via randomised coordinate polynomial minimisation (2022)
  2. Della Rossa, Matteo; Pasquini, Mirko; Angeli, David: Continuous-time switched systems with switching frequency constraints: path-complete stability criteria (2022)
  3. Rontsis, Nikitas; Goulart, Paul; Nakatsukasa, Yuji: Efficient semidefinite programming with approximate ADMM (2022)
  4. Ahmadi, Amir Ali; El Khadir, Bachir: Time-varying semidefinite programs (2021)
  5. Briat, Corentin: Stability analysis and stabilization of LPV systems with jumps and (piecewise) differentiable parameters using continuous and sampled-data controllers (2021)
  6. Giesl, Peter; Hafstein, Sigurdur; Mehrabinezhad, Iman: Computation and verification of contraction metrics for exponentially stable equilibria (2021)
  7. Hertneck, Michael; Linsenmayer, Steffen; Allgöwer, Frank: Efficient stability analysis approaches for nonlinear weakly-hard real-time control systems (2021)
  8. Jung, H. I.; Han, S. Y.; Singh, Satnesh; Lee, S. M.: Polynomially parameter dependent exponential stabilization of sampled-data LPV systems (2021)
  9. Kuntz, Juan; Thomas, Philipp; Stan, Guy-Bart; Barahona, Mauricio: Approximations of countably infinite linear programs over bounded measure spaces (2021)
  10. Liu, Kairong; Li, Meilun; She, Zhikun: Stability verification for a class of stochastic hybrid systems by semidefinite programming (2021)
  11. Murray, Riley; Chandrasekaran, Venkat; Wierman, Adam: Signomial and polynomial optimization via relative entropy and partial dualization (2021)
  12. Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid: Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (2021)
  13. 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)
  14. Santoyo, Cesar; Dutreix, Maxence; Coogan, Samuel: A barrier function approach to finite-time stochastic system verification and control (2021)
  15. Srinivasan, Mohit; Abate, Matthew; Nilsson, Gustav; Coogan, Samuel: Extent-compatible control barrier functions (2021)
  16. Thomas, Jijju; Fiter, Christophe; Hetel, Laurentiu; van de Wouw, Nathan; Richard, Jean-Pierre: Dissipativity-based framework for stability analysis of aperiodically sampled nonlinear systems with time-varying delay (2021)
  17. Alessandri, Angelo; Bagnerini, Patrizia; Cianci, Roberto; Revetria, Roberto: Modeling and estimation of thermal flows based on transport and balance equations (2020)
  18. Ammar, Imen Iben; Gassara, Hamdi; El Hajjaji, Ahmed; Tadeo, Fernando; Chaabane, Mohamed: Observer-based controller for positive polynomial systems with time delay (2020)
  19. Behrends, Sönke; Schöbel, Anita: Generating valid linear inequalities for nonlinear programs via sums of squares (2020)
  20. 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)

1 2 3 ... 13 14 15 next