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:
- ☆31Dec 22, 2024Updated last year
- PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (…☆80Jan 23, 2025Updated last year
- AutoAim by FuXing PS☆11Apr 15, 2021Updated 5 years ago
- Script for downloading Burp Suite extension files☆11Jan 29, 2024Updated 2 years ago
- Official implementation of CoNSAL for analytical Lyapunov function discovery☆12Jun 26, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10Mar 24, 2022Updated 4 years ago
- [NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems☆15Jul 29, 2024Updated last year
- ☆13Aug 29, 2022Updated 3 years ago
- ☆13Oct 11, 2023Updated 2 years ago
- 东华大学 LaTeX 论文模板 | Donghua University LaTeX Thesis Template☆11Apr 17, 2024Updated 2 years ago
- ☆16Mar 12, 2026Updated last month
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 7 months ago
- ☆25Dec 30, 2025Updated 4 months ago
- The implementation of Meta-Pec☆13Sep 13, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Oct 31, 2020Updated 5 years ago
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Mar 30, 2023Updated 3 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.☆16Dec 6, 2024Updated last year
- ☆12Jun 26, 2024Updated last year
- 先进控制PID（基于扩展观测器的PID，自适应PD增益控制）☆18May 8, 2020Updated 5 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
- ☆14Oct 26, 2022Updated 3 years ago
- RLC4CLR employs curriculum learning to train a reinforcement learning controller (RLC) for a distribution system critical load restoratio…☆22Jul 3, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 2 months ago
- ☆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
- ☆45Mar 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…☆24Mar 1, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- ☆26May 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