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
- 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
- CSDP
- QEPCAD
- RAGlib
- SYNRAC
- SDPA
- SeDuMi
- SDPT3
- PHAVer
- SMV
- GloptiPoly
- REDLOG
- RSOLVER
- Benchmarks
- SparsePOP
- 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
- Lyapunov function computation for autonomous systems with complex dynamic behavior
- 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
This page was built for software: Sostools
