grande-dev / Augmented-Neural-Lyapunov-Control
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.
☆12Updated 3 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
- [NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems☆11Updated 8 months ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆20Updated last year
- Imposition of Hard Convex Constraints on Neural Networks☆80Updated last year
- A Python package for linear subspace identification, nonlinear system identification, and nonlinear regression using Jax☆31Updated 2 weeks ago
- Automatic Tuning for Data-driven Model Predictive Control☆62Updated 2 years ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆30Updated last month
- Adaptive control-oriented meta-learning for nonlinear systems☆61Updated 3 years ago
- ☆20Updated 4 months ago
- Code for "Dynamics Harmonics Analysis of Robotic Systems: Application in Data-Driven Koopman Modeling", enabling the modeling of symmetri…☆12Updated last month
- ☆18Updated 2 years ago
- Code for the paper "Deep Model Predictive Optimization"☆24Updated last year
- Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling☆48Updated 3 years ago
- Implementation of Motion Planning via Optimal Transport (MPOT) in PyTorch, NeurIPS 2023.☆54Updated last year
- A simple demo of imitation learning based on diffusion policy for quadrotor control☆19Updated 7 months ago
- ☆42Updated 5 months ago
- Differentiable predictive control (DPC) policy optimization examples.☆53Updated last year
- Companion code for Closed-Loop Koopman Operator Approximation☆16Updated last year
- Dynamical System Identification using python incorporating numerous powerful deep learning methods. (deepSI = deep System Identification)☆54Updated 2 weeks ago
- ☆14Updated last year
- A python library for control from Signal Temporal Logic (STL) specifications☆41Updated 2 years ago
- ☆25Updated 3 weeks ago
- Non-Gaussian Risk Bounded Trajectory Optimization for StochasticNonlinear Systems in Uncertain Environments☆33Updated 2 years ago
- This is the code repository for the DuSt-MPC paper, published at Robotics: Science and Systems (RSS) 2021.☆24Updated 3 years ago
- Official implementation of COAt-MPC (IEEE RA-L 2025), a method with theoretical guarantees to automatically tune the cost function weight…☆12Updated last month
- heyinUCB / Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-Controllers☆13Updated 3 years ago
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆15Updated last year
- Papers on Safety Critical Controls using Control Barrier Functions☆37Updated 5 months ago
- Python code of the paper "Efficient Calibration of Embedded MPC" (2020 IFAC World Congress) by Marco Forgione, Dario Piga, and Alberto Be…☆25Updated 3 years ago
- ☆74Updated last year
- Lyapunov-stable Neural Control for State and Output Feedback☆67Updated 9 months ago