antonioterpin / pinetLinks
This repository contains a JAX implementation of Πnet, an output layer for neural networks that ensures the satisfaction of specified convex constraints.
☆49Updated 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☆85Updated last year
- pycvxset is a Python package for manipulation and visualization of convex sets.☆37Updated 3 months ago
- ☆14Updated 2 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆20Updated 2 months ago
- Differentiable QP solver in JAX☆115Updated last year
- ☆20Updated 2 weeks ago
- Iterative Linearized Control Toolbox☆38Updated last year
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆22Updated last year
- Python interface for CUDA implementation of OSQP☆101Updated 4 years ago
- ☆30Updated 2 years ago
- ☆43Updated 2 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆67Updated 4 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆81Updated last year
- A dual active-set algorithm for convex quadratic programming☆86Updated last month
- Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, J…☆163Updated 7 months ago
- Koopman operator identification library in Python, compatible with `scikit-learn`☆92Updated 3 weeks ago
- Fast QP Solver in JAX☆21Updated last year
- Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.☆67Updated 2 years ago
- Python module for polyhedral geometry☆76Updated 6 months ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆168Updated 4 months ago
- ☆37Updated 2 years ago
- Differentiable collision detection for capsules in JAX.☆49Updated last year
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆69Updated 3 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Optimal Control Tutorials☆15Updated 5 years ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 9 months ago
- Learning Neural Differential Algebraic Equations via Operator Splitting☆20Updated 2 months ago
- Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.☆52Updated 4 months ago
- Enforcing robust control guarantees within neural network policies☆55Updated 4 years ago
- Conic Augmented Lagrangian Interior-Point SOlver☆73Updated 2 years ago