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:
- 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 5 years ago
- ☆33Dec 22, 2024Updated last year
- Script for downloading Burp Suite extension files☆12Jan 29, 2024Updated 2 years ago
- ☆11Mar 24, 2022Updated 4 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.
- Official implementation of CoNSAL for analytical Lyapunov function discovery☆12Jun 26, 2024Updated 2 years ago
- 东华大学 LaTeX 论文模板 | Donghua University LaTeX Thesis Template☆13Apr 17, 2024Updated 2 years ago
- ☆13Oct 11, 2023Updated 2 years ago
- ☆13Aug 29, 2022Updated 3 years ago
- ☆11Oct 31, 2020Updated 5 years ago
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Mar 30, 2023Updated 3 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 10 months ago
- ☆12Jun 26, 2024Updated 2 years ago
- 先进控制PID（基于扩展观测器的PID，自适应PD增益控制）☆18May 8, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code to reproduce results in the paper "Learning to Predict Navigational Patterns from Partial Observations" (RA-L 2023)☆12Jun 30, 2023Updated 3 years ago
- [NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems☆15Jul 29, 2024Updated last year
- ☆19May 17, 2024Updated 2 years ago
- Benchmark and analysis of 165 pretrained SSL models. Code for "Evaluating Self-Supervised Learning via Risk Decomposition".☆14Jul 26, 2023Updated 2 years ago
- ☆12Feb 9, 2024Updated 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
- Car damage detection using Mask Regional Convolution Neural Network☆36Aug 13, 2021Updated 4 years ago
- ☆45Mar 4, 2025Updated last year
- 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.
- This repo hosts the code for the Fast Trainable Projection (FTP) project.☆12Nov 16, 2023Updated 2 years ago
- Documentation and Hardware for HelMoRo☆13Feb 21, 2025Updated last year
- The implementation of Meta-Pec☆14Sep 13, 2023Updated 2 years ago
- Burp extension for quickly copying request/response data.☆33Feb 12, 2026Updated 5 months ago
- Modular simulation library for AI datacenter-grid interaction☆16May 11, 2026Updated 2 months ago
- ☆14Oct 26, 2022Updated 3 years ago
- PyTorch - CHIMLE, an IMLE-based general-purpose multimodal conditional image synthesis method [NeurIPS 2022]☆12Jul 8, 2026Updated 2 weeks 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.☆39Dec 9, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A utility for serializing C++ structures (specifically ROS messages) into YAML and binary formatted files☆14Dec 24, 2020Updated 5 years ago
- ☆12Nov 22, 2023Updated 2 years ago
- A library for flexible voxel-based mapping, mainly focusing on truncated and Euclidean signed distance fields.☆11Jul 23, 2025Updated last year
- ☆16Jun 9, 2024Updated 2 years ago
- This is the code implementation of the Neural ordinary differential equations-based Lyapunov-Barrier Actor-Critic (NLBAC)☆17Sep 4, 2024Updated last year
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- ☆15Aug 16, 2025Updated 11 months ago