iFR-ACSO / casos
CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
☆8Updated this week
Alternatives and similar repositories for casos:
Users that are interested in casos are comparing it to the libraries listed below
- A Julia package for constrained trajectory optimization using direct methods.☆28Updated 2 years ago
- Differentiable trajectory optimization in Julia.☆62Updated last month
- Information page for running sos solvers☆14Updated 3 years ago
- Control barrier functions (CBFs) in Julia.☆14Updated 7 months ago
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 3 years ago
- A Julia package for constrained iterative LQR (iLQR)☆43Updated 2 years ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 3 months ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆14Updated 2 months ago
- ☆26Updated last year
- ☆45Updated last month
- Conic Augmented Lagrangian Interior-Point SOlver☆72Updated 2 years ago
- Julia interactive interface for TinyMPC☆10Updated last year
- alfonso: ALgorithm For Non-Symmetric Optimization☆18Updated 8 months ago
- A Julia modeling layer for the Generalized Moment Problem☆13Updated last year
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 8 months ago
- Trajectory Optimization for Robot Arms☆54Updated last week
- ☆17Updated this week
- A CasADi Python wrapper for the acados integrators.☆23Updated 11 months ago
- Structures and algorithms for Multi-Agent PathFinding in Julia☆12Updated 2 weeks ago
- A Julia implementation of PRONTO☆23Updated 2 months ago
- A geodesic interior-point method for symmetric cone optimization☆18Updated last year
- Core interface to design, solve, and simulate trajectory games.☆19Updated 4 months ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated last month
- Julia interface for SNOPT7☆10Updated 3 years ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆77Updated 3 years ago
- A differentiable simulator for robotic systems.☆31Updated 2 years ago
- A GPU Accelerated Quadratic Programming Solver for Model-Predictive Control☆50Updated 2 weeks ago
- Julia interface to CasADi via PyCall☆27Updated 4 years ago
- Augmented Lagrangian method for solving Quadratic Programs☆20Updated 4 years ago
- A neural network accelerated solver for mixed-strategy solutions of trajectory games. Do you even lift?☆16Updated last month