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.
☆14Jan 9, 2025Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆30Dec 22, 2024Updated last year
- PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (…☆81Jan 23, 2025Updated last year
- AutoAim by FuXing PS☆11Apr 15, 2021Updated 4 years ago
- Script for downloading Burp Suite extension files☆11Jan 29, 2024Updated 2 years ago
- ☆10Mar 24, 2022Updated 4 years ago
- [NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems☆14Jul 29, 2024Updated last year
- ☆12Aug 29, 2022Updated 3 years ago
- ☆13Oct 11, 2023Updated 2 years ago
- 东华大学 LaTeX 论文模板 | Donghua University LaTeX Thesis Template☆11Apr 17, 2024Updated last year
- ☆15Mar 12, 2026Updated last week
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 6 months ago
- The implementation of Meta-Pec☆12Sep 13, 2023Updated 2 years ago
- ☆11Oct 31, 2020Updated 5 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Mar 30, 2023Updated 2 years ago
- This set of codes implements our NAPS paper "Reduced Optimal Power Flow Using Graph Neural Network". This work is under the open license:…☆14Feb 23, 2024Updated 2 years ago
- Project page for the NeurIPS 2024 paper, Language Grounded Multi-agent Reinforcement Learning with Human-interpretable Communication.☆17Dec 6, 2024Updated last year
- ☆13Jun 26, 2024Updated last year
- 先进控制PID（基于扩展观测器的PID，自适应PD增益控制）☆18May 8, 2020Updated 5 years ago
- ☆14Oct 26, 2022Updated 3 years ago
- Code to reproduce results in the paper "Learning to Predict Navigational Patterns from Partial Observations" (RA-L 2023)☆12Jun 30, 2023Updated 2 years ago
- RLC4CLR employs curriculum learning to train a reinforcement learning controller (RLC) for a distribution system critical load restoratio…☆19Jul 3, 2025Updated 8 months ago
- Benchmark and analysis of 165 pretrained SSL models. Code for "Evaluating Self-Supervised Learning via Risk Decomposition".☆14Jul 26, 2023Updated 2 years ago
- Burp extension for quickly copying request/response data.☆31Feb 12, 2026Updated last month
- ☆18May 17, 2024Updated last year
- ☆12Feb 9, 2024Updated 2 years ago
- ☆21Mar 24, 2025Updated last year
- This repo hosts the code for the Fast Trainable Projection (FTP) project.☆12Nov 16, 2023Updated 2 years ago
- ☆43Mar 4, 2025Updated last year
- Documentation and Hardware for HelMoRo☆13Feb 21, 2025Updated last year
- EVQUARIUM is an evaluation tool that quantifies the accessibility of EV charging station locations using queueing and graph theory. Given…☆22Mar 1, 2026Updated 3 weeks ago
- PyTorch - CHIMLE, an IMLE-based general-purpose multimodal conditional image synthesis method [NeurIPS 2022]☆12Jun 13, 2023Updated 2 years ago
- We're Not Using Videos Effectively (TMLR 2024)☆17Feb 4, 2024Updated 2 years ago
- Modelica library allowing low-order grey-box modelling of buildings for model predictive controllers (MPC) or aggregators.☆38Dec 9, 2022Updated 3 years ago
- A utility for serializing C++ structures (specifically ROS messages) into YAML and binary formatted files☆14Dec 24, 2020Updated 5 years ago
- ☆23May 14, 2024Updated last year
- ☆12Nov 22, 2023Updated 2 years ago
- Car damage detection using Mask Regional Convolution Neural Network☆35Aug 13, 2021Updated 4 years ago
- A library for flexible voxel-based mapping, mainly focusing on truncated and Euclidean signed distance fields.☆11Jul 23, 2025Updated 8 months ago