grande-dev / Augmented-Neural-Lyapunov-ControlLinks
Automatic learning of (linear and nonlinear) control functions for nonlinear dynamical systems with stability certificates. The stability of the closed-loop system is certified by means of a Lyapunov Function, whose correctness is guaranteed via SMT solvers.
☆14Updated last year
Alternatives and similar repositories for Augmented-Neural-Lyapunov-Control
Users that are interested in Augmented-Neural-Lyapunov-Control are comparing it to the libraries listed below
Sorting:
- Knowledge-based learning of nonlinear dynamics and chaos☆16Updated 3 years ago
- An efficient implementation of differentiable NMPC based on acados. Code to reproduce the results in our paper.☆35Updated 2 weeks ago
- Imposition of Hard Convex Constraints on Neural Networks☆90Updated 2 years ago
- Official implementation for the paper "CoVO-MPC: Theoretical Analysis of Sampling-based MPC and Optimal Covariance Design" accepted by L4…☆139Updated last year
- ☆57Updated last year
- ☆25Updated 2 months ago
- This is the code repository of a tutorial overview of Path Integral (PI) approaches for stochastic optimal control and trajectory optimiz…☆23Updated 2 years ago
- ☆25Updated last year
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆174Updated 8 months ago
- Differentiable Model Predictive Control on the GPU☆133Updated 3 months ago
- Control Barrier Functions in Python and Jax☆153Updated last week
- Adaptive importance sampling modification to MPPI☆114Updated last year
- GPU-friendly, auto-differentiable LQR solver with JAX.☆215Updated 6 months ago
- (RSS 2025) Flow Matching Ergodic Coverage☆51Updated 6 months ago
- RL environments and PPO training code to develop trajectory tracking controllers for various robot systems, written in Jax.☆19Updated 8 months ago
- Non-Gaussian Risk Bounded Trajectory Optimization for StochasticNonlinear Systems in Uncertain Environments☆33Updated 3 years ago
- Code for the paper "Deep Model Predictive Optimization"☆28Updated 2 years ago
- Toolbox for Robotics Control☆83Updated last week
- This is the code repository for the DuSt-MPC paper, published at Robotics: Science and Systems (RSS) 2021.☆30Updated 4 years ago
- Implementation of Motion Planning via Optimal Transport (MPOT) in PyTorch, NeurIPS 2023.☆63Updated 3 months ago
- A fast algorithm for finding an optimal path in a collection of safe boxes☆68Updated 11 months ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆45Updated 7 months ago
- Model predictive path integral control in jax☆16Updated last month
- A Python based implementation for fast convex decomposition of obstacle-free spaces.☆32Updated last year
- Differentiable QP solver in JAX☆129Updated last year
- ☆40Updated 3 years ago
- A grid world environment for high-level earthworks planning in JAX for RL.☆56Updated last week
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆22Updated 2 years ago
- Code for paper "AK: Attentive Kernel for Information Gathering. Robotics: Science and Systems (RSS), 2022."☆22Updated 2 years ago
- ☆86Updated 2 years ago