oxfordcontrol / SOSTOOLSLinks
A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
☆68Updated last month
Alternatives and similar repositories for SOSTOOLS
Users that are interested in SOSTOOLS are comparing it to the libraries listed below
Sorting:
- Matlab interface for OSQP☆50Updated 2 months ago
- A fork of the Systems Polynomial Optimization Toolbox.☆30Updated 6 years ago
- A dual active-set algorithm for convex quadratic programming☆79Updated last week
- A solver for nonlinear programming based on a sequential quadratic programming strategy with feasible intermediate iterates.☆21Updated 5 months ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆29Updated 3 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆46Updated 4 years ago
- A MATLAB implementation of the Proximally Stabilized Fischer-Burmeister (FBstab) quadratic programming solver☆11Updated 3 years ago
- Library for nonconvex constrained optimization using the augmented Lagrangian method and the matrix-free PANOC algorithm.☆79Updated 7 months ago
- Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)☆25Updated this week
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Demonstration of the PIPG algorithm for trajectory optimization☆23Updated 3 years ago
- Python simulation and hardware library for learning and control☆20Updated 2 years ago
- A Tool for Continuous Reachability Analysis.☆132Updated last month
- ☆61Updated last year
- Tutorials for SCPToolbox.jl☆30Updated 3 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆62Updated last year
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆63Updated 3 months ago
- C Code generation for NMPC☆30Updated 4 years ago
- Augmented Lagrangian method for solving Quadratic Programs☆21Updated 4 years ago
- ☆12Updated 5 years ago
- MATLAB interface for IPOPT☆117Updated last year
- Benchmark of QP solvers for Optimal Control☆18Updated 6 years ago
- An implementation of the FBstab quadratic programming solver.☆30Updated last year
- ☆24Updated 7 months ago
- ☆19Updated 3 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆37Updated 10 months ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 6 months ago
- SLSpy provides a Python-based framework to design and simulate model-based control systems, especially for system level synthesis (SLS) m…☆17Updated 2 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆165Updated 2 months ago
- In this toolbox you find a family of PBSID algorithms for LTI, LPV and other model structures.☆15Updated 7 years ago