iFR-ACSO / casosLinks
CaΣoS is a nonlinear sum-of-squares optimization suite based on the symbolic framework of CasADi.
☆16Updated last month
Alternatives and similar repositories for casos
Users that are interested in casos are comparing it to the libraries listed below
Sorting:
- Hybrid systems equations simulator, development repository☆14Updated 3 months ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 2 months ago
- Information page for running sos solvers☆14Updated 4 years ago
- ☆48Updated 10 months ago
- Differentiable trajectory optimization in Julia.☆65Updated last month
- alfonso: ALgorithm For Non-Symmetric Optimization☆18Updated last year
- Interval Analysis and Mixed Monotone Reachability in JAX☆16Updated last month
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 4 years ago
- A Julia package for constrained trajectory optimization using direct methods.☆29Updated 3 years ago
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11Updated 8 years ago
- Trajectory Optimization for Robot Arms☆56Updated 8 months ago
- Julia interactive interface for TinyMPC☆10Updated 4 months ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆77Updated 4 years ago
- ☆26Updated last year
- Control barrier functions (CBFs) in Julia.☆14Updated last year
- Julia interface for SNOPT7☆10Updated 4 years ago
- ☆16Updated 3 months ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Updated last year
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆61Updated last week
- A Julia modeling layer for the Generalized Moment Problem☆15Updated 7 months ago
- A Julia package for constrained iterative LQR (iLQR)☆44Updated 2 years ago
- ☆48Updated 3 months ago
- A geodesic interior-point method for symmetric cone optimization☆18Updated 2 years ago
- Conic Augmented Lagrangian Interior-Point SOlver☆75Updated 3 years ago
- A CasADi Python wrapper for the acados integrators.☆23Updated last year
- Augmented Lagrangian method for solving Quadratic Programs☆21Updated 5 years ago
- ☆17Updated 2 weeks ago
- Signal temporal logic (STL) formulas and robustness in Julia☆15Updated last year
- A dual active-set algorithm for convex quadratic programming☆96Updated 2 weeks ago
- A GPU Accelerated Quadratic Programming Solver for Model-Predictive Control☆58Updated 9 months ago