antonioterpin / pinetLinks
This repository contains a JAX implementation of Πnet, an output layer for neural networks that ensures the satisfaction of specified convex constraints.
☆52Updated last month
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☆87Updated last year
- Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.☆67Updated 2 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆21Updated 4 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
- pycvxset is a Python package for manipulation and visualization of convex sets.☆41Updated 5 months ago
- Enforcing robust control guarantees within neural network policies☆55Updated 4 years ago
- Iterative Linearized Control Toolbox☆38Updated last year
- Adaptive control-oriented meta-learning for nonlinear systems☆70Updated 4 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- ☆38Updated 2 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆82Updated last year
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆171Updated 6 months ago
- Koopman operator identification library in Python, compatible with `scikit-learn`☆101Updated 3 months ago
- Automatic Tuning for Data-driven Model Predictive Control☆72Updated 2 years ago
- A framework for neural network control of dynamical systems over graphs.☆56Updated 3 years ago
- Fast QP Solver in JAX☆25Updated last year
- Python interface for CUDA implementation of OSQP☆104Updated 4 years ago
- Differentiable predictive control (DPC) policy optimization examples.☆61Updated 2 years ago
- Differentiable QP solver in JAX☆123Updated last year
- Optimal Control Tutorials☆15Updated 5 years ago
- Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, J…☆172Updated 10 months ago
- ☆45Updated 2 years ago
- "dynoNet: A neural network architecture for learning dynamical systems" by Marco Forgione and Dario Piga☆48Updated last year
- ☆31Updated 2 years ago
- A GPU-accelerated toolbox for hyperbolic PDEs in a weaker (viscosity) sense. It leverages the integral to the solution of the conservatio…☆11Updated 8 months ago
- Toolbox for Automated Controller Synthesis☆17Updated last year
- ☆24Updated 3 weeks ago
- Python module for polyhedral geometry☆76Updated 8 months ago
- In this repository we store tools and utilities shared between our repositories.☆13Updated last year
- Differentiable collision detection for capsules in JAX.☆51Updated 2 years ago