spot-toolbox / spotless
A fork of the Systems Polynomial Optimization Toolbox.
☆28Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for spotless
- Matlab interface for OSQP☆42Updated 7 months ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆55Updated 3 weeks ago
- Data Driven Reachability Analysis from Noisy Data☆21Updated 7 months ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 9 months ago
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆35Updated 7 years ago
- Toolbox for Reachability Analysis☆109Updated last week
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆24Updated 2 months ago
- ☆40Updated last year
- ☆54Updated 3 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆44Updated 4 years ago
- Robotic motion planning in Julia☆41Updated 4 years ago
- Toolbox for Automated Controller Synthesis☆17Updated 10 months ago
- ☆16Updated last year
- Synthesis of control barrier functions with SOS☆11Updated last year
- ☆82Updated last year
- A python library for control from Signal Temporal Logic (STL) specifications☆35Updated 2 years ago
- MIT 16.S498: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆64Updated 2 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆38Updated 4 years ago
- ☆70Updated 7 months ago
- Optimal Control for Robotics -- Tufts University -- ME 149 -- Spring 2018☆51Updated 6 years ago
- Benchmark of QP solvers for Optimal Control☆16Updated 6 years ago
- Library for High-Performance implementation of solvers for MPC.☆53Updated 3 years ago
- C Code generation for NMPC☆30Updated 4 years ago
- A Julia package for constrained iterative LQR (iLQR)☆42Updated last year
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆28Updated last month
- constraint differential dynamical programming☆26Updated 2 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- A dual active-set algorithm for convex quadratic programming☆63Updated this week
- List of literature and software for optimal control and numerical optimization.☆69Updated 5 years ago
- Robust Online Motion Planning using Contraction Theory☆53Updated 5 years ago