oxfordcontrol / SOSTOOLSLinks
A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
☆73Updated 3 months ago
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☆56Updated 3 months ago
- Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)☆34Updated this week
- A fork of the Systems Polynomial Optimization Toolbox.☆30Updated 7 years ago
- Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints☆22Updated last week
- Library for nonconvex constrained optimization using the augmented Lagrangian method and the matrix-free PANOC algorithm.☆87Updated 4 months ago
- ☆28Updated last year
- A dual active-set algorithm for convex quadratic programming☆98Updated 2 weeks ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆49Updated 5 years ago
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆70Updated last month
- Demonstration of the PIPG algorithm for trajectory optimization☆25Updated 3 years ago
- A Tool for Continuous Reachability Analysis.☆147Updated 3 months ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆63Updated last year
- ☆19Updated 3 years ago
- C Code generation for NMPC☆30Updated 5 years ago
- Python simulation and hardware library for learning and control☆20Updated 2 years ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆30Updated 9 months ago
- ☆63Updated last year
- Tutorials for SCPToolbox.jl☆33Updated 3 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- MATLAB interface for IPOPT☆122Updated 2 years ago
- Synthesis of control barrier functions with SOS☆15Updated 2 years ago
- A solver for nonlinear programming based on a sequential quadratic programming strategy with feasible intermediate iterates.☆22Updated 11 months ago
- Imperial College London Optimal Control Software (ICLOCS)☆86Updated last year
- Benchmark of QP solvers for Optimal Control☆21Updated 7 years ago
- Utilities for Numerical Trajectory Optimization☆24Updated last year
- Python implementation of Sum-of-Squares optimization built on picos☆38Updated last year
- Data Driven Reachability Analysis from Noisy Data☆35Updated last year
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆16Updated 2 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆173Updated 7 months ago
- Open collection of model predictive control (MPC) benchmarking problems☆28Updated 2 years ago