Sostools

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

Showing results 1 to 20 of 293.
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. Han, S. Y.; Kommuri, S. K.; Kwon, O. M.; Lee, S. M.: Regional sampled-data synchronization of chaotic neural networks using piecewise-continuous delay dependent Lyapunov functional (2022)
  4. Polcz, Péter; Szederkényi, Gábor: Lyapunov function computation for autonomous systems with complex dynamic behavior (2022)
  5. Rontsis, Nikitas; Goulart, Paul; Nakatsukasa, Yuji: Efficient semidefinite programming with approximate ADMM (2022)
  6. Ahmadi, Amir Ali; El Khadir, Bachir: Time-varying semidefinite programs (2021)
  7. Briat, Corentin: Stability analysis and stabilization of LPV systems with jumps and (piecewise) differentiable parameters using continuous and sampled-data controllers (2021)
  8. Giesl, Peter; Hafstein, Sigurdur; Mehrabinezhad, Iman: Computation and verification of contraction metrics for exponentially stable equilibria (2021)
  9. Hertneck, Michael; Linsenmayer, Steffen; Allgöwer, Frank: Efficient stability analysis approaches for nonlinear weakly-hard real-time control systems (2021)
  10. Jung, H. I.; Han, S. Y.; Singh, Satnesh; Lee, S. M.: Polynomially parameter dependent exponential stabilization of sampled-data LPV systems (2021)
  11. Kuntz, Juan; Thomas, Philipp; Stan, Guy-Bart; Barahona, Mauricio: Approximations of countably infinite linear programs over bounded measure spaces (2021)
  12. Liu, Kairong; Li, Meilun; She, Zhikun: Stability verification for a class of stochastic hybrid systems by semidefinite programming (2021)
  13. Murray, Riley; Chandrasekaran, Venkat; Wierman, Adam: Signomial and polynomial optimization via relative entropy and partial dualization (2021)
  14. Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid: Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (2021)
  15. 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)
  16. Santoyo, Cesar; Dutreix, Maxence; Coogan, Samuel: A barrier function approach to finite-time stochastic system verification and control (2021)
  17. Sogokon, Andrew; Mitsch, Stefan; Tan, Yong Kiam; Cordwell, Katherine; Platzer, André: Pegasus: sound continuous invariant generation (2021)
  18. Srinivasan, Mohit; Abate, Matthew; Nilsson, Gustav; Coogan, Samuel: Extent-compatible control barrier functions (2021)
  19. 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)
  20. Alessandri, Angelo; Bagnerini, Patrizia; Cianci, Roberto; Revetria, Roberto: Modeling and estimation of thermal flows based on transport and balance equations (2020)

1 2 3 ... 13 14 15 next