antonioterpin / pinetLinks
This repository contains a JAX implementation of Πnet, an output layer for neural networks that ensures the satisfaction of specified convex constraints.
☆46Updated 3 weeks 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☆84Updated last year
- pycvxset is a Python package for manipulation and visualization of convex sets.☆36Updated 2 months ago
- Optimal Control Tutorials☆15Updated 5 years ago
- ☆14Updated 2 years ago
- ☆18Updated last week
- Iterative Linearized Control Toolbox☆38Updated last year
- Adaptive control-oriented meta-learning for nonlinear systems☆65Updated 4 years ago
- Enforcing robust control guarantees within neural network policies☆55Updated 4 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆20Updated last month
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆166Updated 3 months ago
- ☆36Updated 2 years ago
- Python simulation and hardware library for learning and control☆20Updated 2 years ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆21Updated last year
- Toolbox for Automated Controller Synthesis☆17Updated last year
- Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.☆67Updated 2 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆80Updated last year
- An efficient implementation of differentiable NMPC based on acados. Code to reproduce the results in our paper.☆25Updated last month
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆16Updated last year
- A brief JAX tutorial with examples from control theory☆12Updated 2 years ago
- Koopman operator identification library in Python, compatible with `scikit-learn`☆84Updated 2 months ago
- Code for paper "Lie Group Forced Variational Integrator Networks for Learning and Control of Robot Systems"☆28Updated 2 years ago
- C package performing operator splitting for control☆21Updated 12 years ago
- A Tool for Continuous Reachability Analysis.☆135Updated 3 months ago
- MIT 16.S498 Graduate Course: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆64Updated 4 months ago
- Fast QP Solver in JAX☆21Updated last year
- Differentiable QP solver in JAX☆114Updated 11 months ago
- Control Engineering with Python☆73Updated 4 months ago
- ☆31Updated 10 months ago
- Differentiable predictive control (DPC) policy optimization examples.☆55Updated 2 years ago