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 7 months ago
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:
- A grid world environment for high-level earthworks planning in JAX for RL.☆46Updated 2 weeks ago
- Knowledge-based learning of nonlinear dynamics and chaos☆16Updated 2 years ago
- Imposition of Hard Convex Constraints on Neural Networks☆83Updated last year
- Official implementation for the paper "CoVO-MPC: Theoretical Analysis of Sampling-based MPC and Optimal Covariance Design" accepted by L4…☆133Updated last year
- ☆22Updated last year
- Control Barrier Functions in Python and Jax☆138Updated last month
- GPU-friendly, auto-differentiable LQR solver with JAX.☆186Updated 3 weeks ago
- An efficient implementation of differentiable NMPC based on acados. Code to reproduce the results in our paper.☆24Updated last month
- (T-RO, ICRA 2024) Tutorials on ergodic control and more☆43Updated 2 months ago
- Adaptive importance sampling modification to MPPI☆106Updated last year
- pycvxset is a Python package for manipulation and visualization of convex sets.☆35Updated 2 months ago
- Model predictive path integral control in jax☆13Updated 2 months ago
- (RSS 2025) Flow Matching Ergodic Coverage☆30Updated last month
- ☆18Updated this week
- Repository relating to "Student-Informed Teacher Training" (ICLR, 2025).☆38Updated 6 months ago
- RL environments and PPO training code to develop trajectory tracking controllers for various robot systems, written in Jax.☆18Updated 3 months ago
- Differentiable QP solver in JAX☆112Updated 10 months ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆21Updated last year
- Pytorch Implementation of TinyMPC☆62Updated last year
- Templated C++/CUDA implementation of Model Predictive Path Integral Control (MPPI)☆192Updated this week
- Multi-Robot Motion Planning with Diffusion Models☆158Updated 6 months ago
- ☆80Updated 2 years ago
- A fast algorithm for finding an optimal path in a collection of safe boxes☆66Updated 6 months ago
- CSDecomp implements GPU-accelerated collision checking for generating approximate convex decompositions of robot configuration space.☆43Updated 3 weeks ago
- This is the code repository for the DuSt-MPC paper, published at Robotics: Science and Systems (RSS) 2021.☆28Updated 4 years ago
- Rule-Based Lloyd (RBL) Multi-robot motion planning and control☆17Updated 4 months ago
- Code for the paper "Deep Model Predictive Optimization"☆28Updated last year
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆165Updated 3 months ago
- Code for paper "AK: Attentive Kernel for Information Gathering. Robotics: Science and Systems (RSS), 2022."☆21Updated last year
- ☆40Updated 2 months ago