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" (…☆80Jan 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
- Official implementation of CoNSAL for analytical Lyapunov function discovery☆11Jun 26, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆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☆12Apr 17, 2024Updated last year
- ☆15Mar 12, 2026Updated last month
- 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
- ☆23Dec 30, 2025Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆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
- ☆13Jun 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…☆20Jul 3, 2025Updated 9 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Burp extension for quickly copying request/response data.☆31Feb 12, 2026Updated 2 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
- ☆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…☆23Mar 1, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- ☆25May 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