swMATH891MaRDI QIDQ13635FDOQ13635
Author name not available (Why is that?)
Official website: http://www.cds.caltech.edu/sostools/
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Review on computational methods for Lyapunov functions
- Chordal decomposition in operator-splitting methods for sparse semidefinite programs
- Advances in computational Lyapunov analysis using sum-of-squares programming
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
- Computation and verification of Lyapunov functions
- Symmetry groups, semidefinite programs, and sums of squares
- Detecting Global Optimality and Extracting Solutions in GloptiPoly
- Maximum block improvement and polynomial optimization
- Lyapunov conditions for input-to-state stability of impulsive systems
- QEPCAD
- RAGlib
- SeDuMi
- SDPT3
- GloptiPoly
- Benchmarks
- LFR-toolbox
- LMIRank
- RoMulOC
- YALMIP
- PENBMI
- csminwel
- MR and LTV Synthesis Tools
- NMTR
- TRICE
- PENLAB
- MATISSE
- ACCPM
- NCSOStools
- RACT
- dReal
- HSolver
- Robotics
- Algorithm 996
- DISCOVERER
- NCAlgebra
- Outward rotations
- AutoMOTGen
- Bertini_real
- POS3POLY
- INVAR
- Sbmltoolbox
- HARE
- SCANeR
- Carsim
- toric.lib
- HybridSal
- SMRSOFT
- TiGERS
- SOSOPT
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- HyEQ
- cftool
- PolyX
- symmetry
- GpoSolver
- ConstructibleSetTools
- ParametricSystemTools
- CDCS
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems
- Global minimization of rational functions and the nearest GCDs
- Global optimization of rational functions: a semidefinite programming approach
- Lyapunov function computation for autonomous systems with complex dynamic behavior
- Minimizing polynomials via sum of squares over the gradient ideal
- POEM
- BFComp
- Averist
- LySHA
- GPkit
- STRONG
- SCOTS
- Stabhyli
- ROLMIP
- SOSCODE
- FAUST2
- Bellerophon
- ModelPlex
- DENFIS
- SOS.m2
- ParetoImageSDP
- SPOTless
- SReachTools
- COMBOS
- Sparse-BSOS
- FluxAnalyzer
- Algorithm 624
- StocHy
- HybridSystemsLab
- LPVTools
- ResEntSG
- FaSTrack
- nncontroller
- helperOC
- Hybrid Systems: Computation and Control
- Disciplined convex programming
- Polynomial constraints and unsat cores in \textsc{Tarski}
- Partial facial reduction: simplified, equivalent SDPs via approximations of the PSD cone
- Boolean network representation of a continuous-time system and finite-horizon optimal control: application to the single-gene regulatory system for the lac operon
This page was built for software: Sostools
