Verified-Intelligence / Lyapunov_Stable_NN_ControllersView external linksLinks
Lyapunov-stable Neural Control for State and Output Feedback
☆81Jul 15, 2024Updated last year
Alternatives and similar repositories for Lyapunov_Stable_NN_Controllers
Users that are interested in Lyapunov_Stable_NN_Controllers are comparing it to the libraries listed below
Sorting:
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆22Aug 14, 2025Updated 5 months ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆174Jun 2, 2025Updated 8 months ago
- Brom is a helper library for the Drake robotics simulation and verification library.☆14Updated this week
- Data-Driven Predictive Control☆81Mar 1, 2024Updated last year
- Neural Moving Horizon Estimation (NeuroMHE) is an auto-tuning and adaptive optimal estimator. It fuses a nueral network with an MHE to re…☆78Oct 16, 2025Updated 3 months ago
- Algorithm Implementation of Distributed Potential iterative Linear Quadratic Regulator☆33Mar 7, 2023Updated 2 years ago
- ☆15Dec 15, 2020Updated 5 years ago
- ☆15Jan 21, 2026Updated 3 weeks ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- Model predictive control applied to dynamic/kinematic models in Python☆19Apr 28, 2021Updated 4 years ago
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)☆345Jan 17, 2026Updated 3 weeks ago
- MATLAB toolbox for control 101 course☆22Jan 6, 2026Updated last month
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆22May 24, 2023Updated 2 years ago
- ☆25Dec 8, 2025Updated 2 months ago
- code I used for my RL-based spacecraft attitude control research project.☆22Feb 7, 2021Updated 5 years ago
- ☆16Jul 7, 2025Updated 7 months ago
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆39Nov 30, 2019Updated 6 years ago
- Tube based Model Predictive Control that utilize Neural Networks to improve performance with adaptive control inputs.☆22Dec 8, 2021Updated 4 years ago
- ☆20Nov 15, 2023Updated 2 years ago
- A MATLAB implementation of geometric tracking control for a quadrotor UAV on SE(3)☆22Nov 18, 2021Updated 4 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆180Jul 10, 2024Updated last year
- Fast contact-implicit model predictive control for robotic systems that make and break contact with their environments.☆159Dec 14, 2022Updated 3 years ago
- ☆10Apr 23, 2021Updated 4 years ago
- Code of On L-p Robustness of Decision Stumps and Trees, ICML 2020☆10Aug 3, 2020Updated 5 years ago
- Python bindings for ros2_control with pybind11☆11Jan 19, 2026Updated 3 weeks ago
- ☆12Nov 5, 2025Updated 3 months ago
- A package implementing various controllers for first order DS tasks☆10Sep 12, 2019Updated 6 years ago
- Camera calibration tool☆13Nov 1, 2023Updated 2 years ago
- Robust Model Predictive Control for Micro Aerial Vehicles☆44Jun 8, 2016Updated 9 years ago
- Official implementation for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds (NeurIPS, 2021).☆25Sep 4, 2022Updated 3 years ago
- Convex Optimization under Uncertainty☆29Updated this week
- J. Berberich, J. Köhler, M. A. Müller and F. Allgöwer, "Data-Driven Model Predictive Control With Stability and Robustness Guarantees," i…☆82Dec 6, 2023Updated 2 years ago
- whole body control QP solver with full friction cones☆13Nov 5, 2024Updated last year
- ☆17May 14, 2024Updated last year
- The nonlinear MPC scheme with guaranteed maximal terminal region based stability☆10Oct 19, 2021Updated 4 years ago
- ☆12Oct 22, 2024Updated last year
- Segway Simulation Environment☆11Dec 31, 2020Updated 5 years ago
- Gradient-Based Trajectory Optimizer 中文注释，论文：Gradient-Based Online Safe Trajectory Generation for Quadrotor Flight in Complex Environments…☆10Jul 30, 2022Updated 3 years ago