oxfordcontrol / SOSTOOLS
A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
☆60Updated 2 months ago
Alternatives and similar repositories for SOSTOOLS:
Users that are interested in SOSTOOLS are comparing it to the libraries listed below
- Matlab interface for OSQP☆47Updated 9 months ago
- A dual active-set algorithm for convex quadratic programming☆68Updated last month
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆25Updated 2 weeks ago
- Economic tuning of tracking (N)MPC problems.☆31Updated 2 years ago
- A fork of the Systems Polynomial Optimization Toolbox.☆28Updated 6 years ago
- Synthesis of control barrier functions with SOS☆11Updated last year
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆53Updated this week
- Library for nonconvex constrained optimization using the augmented Lagrangian method and the matrix-free PANOC algorithm.☆73Updated 2 weeks ago
- ☆55Updated 5 months ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated this week
- Toolbox for Reachability Analysis☆111Updated last month
- Data Driven Reachability Analysis from Noisy Data☆23Updated 9 months ago
- Python simulation and hardware library for learning and control☆20Updated last year
- Augmented Lagrangian method for solving Quadratic Programs☆20Updated 4 years ago
- Demonstration of the PIPG algorithm for trajectory optimization☆17Updated 2 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 11 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- C Code generation for NMPC☆30Updated 4 years ago
- ☆18Updated 2 years ago
- pycombina - Solving binary approximation problems in Python☆21Updated last year
- A pseudo-spectral collocation based multi-phase Optimal control problem solver☆54Updated 6 months ago
- A solver for nonlinear programming based on a sequential quadratic programming strategy with feasible intermediate iterates.☆19Updated 2 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated 2 months ago
- Learning Control Lyapunov Functions to Stabilize the Trajectories of Dynamical Systems.☆12Updated 2 years ago
- ☆16Updated 3 weeks ago
- Neural Networks with CasADi☆8Updated last week
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11Updated 7 years ago
- A MATLAB implementation of the Proximally Stabilized Fischer-Burmeister (FBstab) quadratic programming solver☆11Updated 2 years ago
- MATLAB interface for IPOPT☆112Updated last year
- A Julia package for constrained iterative LQR (iLQR)☆43Updated last year