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:
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated 4 months ago
- ☆36Updated 2 years ago
- Source code for the examples accompanying the paper "Learning convex optimization control policies."☆84Updated 2 years ago
- A Julia package for constrained iterative LQR (iLQR)☆44Updated 2 years ago
- Enforcing robust control guarantees within neural network policies☆54Updated 4 years ago
- Segway Simulation Environment☆10Updated 4 years ago
- ☆14Updated 2 years ago
- Rapidly designing and solving differential games in Julia.☆39Updated 3 months ago
- Adaptive control-oriented meta-learning for nonlinear systems☆64Updated 4 years ago
- A Neural Network Approach for Real-Time High-Dimensional Optimal Control☆26Updated 2 years ago
- ☆27Updated 2 years ago
- MPC package for solving optimal control problems☆14Updated last month
- Fast QP Solver in JAX☆15Updated 10 months ago
- Python interface for CUDA implementation of OSQP☆96Updated 3 years ago
- Neural Networks with CasADi☆10Updated 3 months ago
- A lightweight driving simulator, written in Julia.☆19Updated 9 months ago
- Python implementation of Sum-of-Squares optimization built on picos☆37Updated 9 months 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
- Differentiable trajectory optimization in Julia.☆63Updated 3 months ago
- Conic Augmented Lagrangian Interior-Point SOlver☆72Updated 2 years ago
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆24Updated 4 years ago
- A brief JAX tutorial with examples from control theory☆12Updated 2 years ago
- Control barrier functions (CBFs) in Julia.☆14Updated 9 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆46Updated 4 years ago
- Planning with inferred internal states of other players in general-sum differential games.☆15Updated 3 years ago
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆15Updated last year
- Mathematical Programming in JAX☆87Updated last month
- Differentiable predictive control (DPC) policy optimization examples.☆55Updated last year
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 3 years ago
- Convex hulls of reachable sets☆10Updated last year