antonioterpin / pinetLinks
This repository contains a JAX implementation of Πnet, an output layer for neural networks that ensures the satisfaction of specified convex constraints.
☆54Updated 2 months ago
Alternatives and similar repositories for pinet
Users that are interested in pinet are comparing it to the libraries listed below
Sorting:
- Imposition of Hard Convex Constraints on Neural Networks☆89Updated 2 years ago
- Python interface for CUDA implementation of OSQP☆104Updated 4 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆21Updated 5 months ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆41Updated 6 months ago
- ☆14Updated 2 years ago
- ☆31Updated 3 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆70Updated 4 years ago
- Enforcing robust control guarantees within neural network policies☆56Updated 4 years ago
- ☆38Updated 2 years ago
- Differentiable predictive control (DPC) policy optimization examples.☆61Updated 2 years ago
- Fast QP Solver in JAX☆27Updated last year
- Differentiable QP solver in JAX☆128Updated last year
- Python module for polyhedral geometry☆76Updated 9 months ago
- Iterative Linearized Control Toolbox☆38Updated last year
- Python implementation of Sum-of-Squares optimization built on picos☆38Updated last year
- "dynoNet: A neural network architecture for learning dynamical systems" by Marco Forgione and Dario Piga☆48Updated last year
- ☆17Updated last month
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆173Updated 7 months ago
- This repository contains the source code to perform Geometry-aware Bayesian Optimization (GaBO) on Riemannian manifolds.☆54Updated 4 years ago
- Koopman operator identification library in Python, compatible with `scikit-learn`☆102Updated 4 months ago
- Optimal Control Tutorials☆15Updated 5 years ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆73Updated 3 months ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆22Updated 2 years ago
- Documentation for the Clarabel interior point conic solver☆30Updated 8 months ago
- Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.☆67Updated 2 years ago
- Conic Augmented Lagrangian Interior-Point SOlver☆75Updated 3 years ago
- ☆20Updated last month
- Source code for the examples accompanying the paper "Learning convex optimization control policies."☆85Updated 3 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆82Updated last year
- ☆25Updated last month