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
Sorting:
- ☆28Dec 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
- ☆23Dec 30, 2025Updated 2 months ago
- AutoAim by FuXing PS☆11Apr 15, 2021Updated 4 years ago
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- [NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems☆15Jul 29, 2024Updated last year
- ☆10Mar 24, 2022Updated 3 years ago
- Script for downloading Burp Suite extension files☆11Jan 29, 2024Updated 2 years ago
- ☆12Feb 9, 2024Updated 2 years ago
- ☆15Aug 28, 2023Updated 2 years ago
- This is Pytorch re-implementation of the ICCV 2023 paper "Segmenting Known Objects and Unseen Unknowns without Prior Knowledge" (https://…☆13Apr 12, 2024Updated last year
- ☆13Oct 11, 2023Updated 2 years ago
- Optimization-based control for Biped Jump under environment uncertainty☆12Mar 25, 2024Updated last year
- Documentation and Hardware for HelMoRo☆13Feb 21, 2025Updated last year
- ☆13Aug 29, 2022Updated 3 years ago
- ☆12Nov 22, 2023Updated 2 years ago
- A Gym wrapper for the Franka Emika Panda robot based on FrankaPy.☆13Jan 9, 2023Updated 3 years ago
- ☆13Jun 26, 2024Updated last year
- A utility for serializing C++ structures (specifically ROS messages) into YAML and binary formatted files☆14Dec 24, 2020Updated 5 years ago
- A library for flexible voxel-based mapping, mainly focusing on truncated and Euclidean signed distance fields.☆11Jul 23, 2025Updated 7 months 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
- This repo hosts the code for the Fast Trainable Projection (FTP) project.☆12Nov 16, 2023Updated 2 years ago
- RLC4CLR employs curriculum learning to train a reinforcement learning controller (RLC) for a distribution system critical load restoratio…☆18Jul 3, 2025Updated 8 months ago
- Benchmark and analysis of 165 pretrained SSL models. Code for "Evaluating Self-Supervised Learning via Risk Decomposition".☆15Jul 26, 2023Updated 2 years ago
- The implementation of Meta-Pec☆12Sep 13, 2023Updated 2 years ago
- ☆17Oct 22, 2024Updated last year
- ☆11Oct 31, 2020Updated 5 years ago
- Utilities for IK solver benchmarking with MoveIt 2☆17Jan 3, 2025Updated last year
- ☆13Sep 26, 2022Updated 3 years ago
- ☆14Oct 26, 2022Updated 3 years ago
- 👨💻 run nanosaur in a simulated world!☆15Nov 21, 2025Updated 3 months ago
- PyTorch - CHIMLE, an IMLE-based general-purpose multimodal conditional image synthesis method [NeurIPS 2022]☆12Jun 13, 2023Updated 2 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 5 months ago
- Simulation and robot code for contact-rich household object insertion (ICRA 2023).☆17Dec 18, 2024Updated last year
- 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
- Real-Time Internet Control and Video Streaming with ROSbot 2R / 2 PRO☆18Mar 4, 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
- ☆20Mar 24, 2025Updated 11 months ago
- 先进控制PID（基于扩展观测器的PID，自适应PD增益控制）☆16May 8, 2020Updated 5 years ago