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:
- Segway Simulation Environment☆10Updated 4 years ago
- A Julia package for constrained iterative LQR (iLQR)☆43Updated 2 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated 3 months ago
- ☆36Updated 2 years ago
- Differentiable trajectory optimization in Julia.☆63Updated 2 months ago
- ☆19Updated 3 years ago
- ☆27Updated 2 years ago
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆24Updated 4 years ago
- Neural Networks with CasADi☆10Updated 2 months ago
- Rapidly designing and solving differential games in Julia.☆39Updated 2 months ago
- Enforcing robust control guarantees within neural network policies☆53Updated 4 years ago
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 3 years ago
- Augmented Lagrangian method for solving Quadratic Programs☆21Updated 4 years ago
- A lightweight driving simulator, written in Julia.☆19Updated 9 months ago
- ☆14Updated 2 years ago
- SLSpy provides a Python-based framework to design and simulate model-based control systems, especially for system level synthesis (SLS) m…☆17Updated last year
- Source code for the examples accompanying the paper "Learning convex optimization control policies."☆84Updated 2 years ago
- MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions☆19Updated 4 years ago
- MPC package for solving optimal control problems☆14Updated 2 weeks ago
- A Neural Network Approach for Real-Time High-Dimensional Optimal Control☆26Updated 2 years ago
- pycombina - Solving binary approximation problems in Python☆21Updated last year
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆15Updated last year
- A Julia package for constrained trajectory optimization using direct methods.☆29Updated 3 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆36Updated 8 months ago
- Neural ODEs as Feedback Policies for Nonlinear Optimal Control (IFAC 2023) https://doi.org/10.1016/j.ifacol.2023.10.1248☆16Updated last year
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 5 months ago
- Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.☆25Updated last month
- Julia interface to CasADi via PyCall☆27Updated 4 years ago
- Differentiable predictive control (DPC) policy optimization examples.☆53Updated last year
- Python simulation and hardware library for learning and control☆20Updated 2 years ago