StanfordASL / neural-network-lyapunov
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
☆151Updated last week
Alternatives and similar repositories for neural-network-lyapunov:
Users that are interested in neural-network-lyapunov are comparing it to the libraries listed below
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆130Updated 3 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆62Updated last year
- ☆19Updated 2 months ago
- Lyapunov-stable Neural Control for State and Output Feedback☆66Updated 8 months ago
- Optimizing Dynamic Programming-Based Algorithms☆110Updated last week
- ☆54Updated 3 years ago
- Soure code for Deep Koopman with Control☆71Updated 2 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆60Updated 3 years ago
- Model-based Control using Koopman Operators☆51Updated 4 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆153Updated 8 months ago
- Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad…☆70Updated 2 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆31Updated 2 years ago
- Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.☆24Updated 10 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- ☆84Updated last year
- Safe Exploration with MPC and Gaussian process models☆90Updated 4 years ago
- ☆73Updated last year
- constraint differential dynamical programming☆29Updated 2 years ago
- The reimplementation of Model Predictive Path Integral (MPPI) from the paper "Information Theoretic MPC for Model-Based Reinforcement Lea…☆94Updated 5 years ago
- Robot Controls Course Project☆58Updated 3 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆40Updated 2 years ago
- Enforcing robust control guarantees within neural network policies☆54Updated 3 years ago
- Automatic Tuning for Data-driven Model Predictive Control☆62Updated last year
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆26Updated 2 years ago
- Accompanying code for the publication "MPC-Net: A First Principles Guided Policy Search"☆90Updated 5 years ago
- ☆59Updated 7 months ago
- Control Barrier Functions for Quadrotors, standalone with dynamics simulator, nominal controllers.☆59Updated 2 years ago
- Toolbox for Robotics Control☆62Updated 3 months ago
- Robust Online Motion Planning using Contraction Theory☆55Updated 6 years ago
- A unified end-to-end learning and control framework that is able to learn a (neural) control objective function, dynamics equation, contr…☆170Updated last year