oxfordcontrol / SOSTOOLSLinks
A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
☆72Updated last month
Alternatives and similar repositories for SOSTOOLS
Users that are interested in SOSTOOLS are comparing it to the libraries listed below
Sorting:
- A fork of the Systems Polynomial Optimization Toolbox.☆30Updated 7 years ago
- Matlab interface for OSQP☆52Updated last month
- Library for nonconvex constrained optimization using the augmented Lagrangian method and the matrix-free PANOC algorithm.☆83Updated 2 months ago
- A Tool for Continuous Reachability Analysis.☆140Updated 3 weeks ago
- A dual active-set algorithm for convex quadratic programming☆91Updated this week
- Python simulation and hardware library for learning and control☆20Updated 2 years ago
- ☆26Updated 10 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆48Updated 5 years ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 10 months ago
- Python implementation of Sum-of-Squares optimization built on picos☆37Updated last year
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆66Updated 7 months ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆20Updated 3 months ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆169Updated 5 months ago
- ☆13Updated 6 years ago
- pycombina - Solving binary approximation problems in Python☆23Updated last year
- ☆62Updated last year
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆64Updated last year
- Tutorials for SCPToolbox.jl☆33Updated 3 years ago
- Demonstration of the PIPG algorithm for trajectory optimization☆25Updated 3 years ago
- ☆18Updated 9 years ago
- Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)☆28Updated last month
- Augmented Lagrangian method for solving Quadratic Programs☆21Updated 4 years ago
- ☆19Updated 3 years ago
- A Julia package for constrained iterative LQR (iLQR)☆44Updated 2 years ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆29Updated 7 months ago
- Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints☆16Updated 3 months ago
- MATLAB interface for IPOPT☆120Updated last year
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11Updated 8 years ago
- A sum-of-squares toolbox for stability analysis☆10Updated 11 months ago