PREDICT-EPFL / evanqpLinks
EPFL Verifier for Approximate Neural Networks and QPs
☆9Updated last year
Alternatives and similar repositories for evanqp
Users that are interested in evanqp are comparing it to the libraries listed below
Sorting:
- A Julia package for constrained iterative LQR (iLQR)☆44Updated 2 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆19Updated 5 months ago
- Rapidly designing and solving differential games in Julia.☆39Updated 4 months ago
- ☆36Updated 2 years ago
- Neural ODEs as Feedback Policies for Nonlinear Optimal Control (IFAC 2023) https://doi.org/10.1016/j.ifacol.2023.10.1248☆16Updated 2 years ago
- ☆14Updated 2 years ago
- Source code for the examples accompanying the paper "Learning convex optimization control policies."☆84Updated 2 years ago
- Differentiable trajectory optimization in Julia.☆64Updated 4 months ago
- Enforcing robust control guarantees within neural network policies☆54Updated 4 years ago
- Segway Simulation Environment☆10Updated 4 years ago
- A Neural Network Approach for Real-Time High-Dimensional Optimal Control☆27Updated 2 years ago
- Conic Augmented Lagrangian Interior-Point SOlver☆72Updated 2 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆37Updated 10 months ago
- Planning with inferred internal states of other players in general-sum differential games.☆15Updated 3 years ago
- Control barrier functions (CBFs) in Julia.☆14Updated 10 months ago
- pycombina - Solving binary approximation problems in Python☆22Updated last year
- Julia interface to CasADi via PyCall☆27Updated 4 years ago
- ☆27Updated 2 years ago
- A dual active-set algorithm for convex quadratic programming☆79Updated last week
- Augmented Lagrangian method for solving Quadratic Programs☆21Updated 4 years ago
- SLSpy provides a Python-based framework to design and simulate model-based control systems, especially for system level synthesis (SLS) m…☆17Updated 2 years ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆21Updated last year
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆16Updated last year
- Differentiable predictive control (DPC) policy optimization examples.☆55Updated last year
- Python interface for CUDA implementation of OSQP☆98Updated 3 years ago
- A Julia package for constrained trajectory optimization using direct methods.☆29Updated 3 years ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆78Updated 4 years ago
- Computing mixed-strategy Nash Equilibria for games involving multiple players☆23Updated 6 months ago
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆17Updated 3 months ago
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 4 years ago