AstroHiro / ncmLinks
Codes for designing Neural Contraction Metrics (NCMs)
☆34Updated 5 years ago
Alternatives and similar repositories for ncm
Users that are interested in ncm are comparing it to the libraries listed below
Sorting:
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆174Updated 8 months ago
- ☆92Updated 2 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆144Updated 4 years ago
- Model-based Control using Koopman Operators☆57Updated 5 years ago
- ☆27Updated 4 years ago
- ☆63Updated last year
- ☆28Updated last year
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆50Updated 5 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆63Updated last year
- A unified end-to-end learning and control framework that is able to learn a (neural) control objective function, dynamics equation, contr…☆182Updated 2 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆70Updated 4 years ago
- Use PyTorch Models with CasADi and Acados☆242Updated 2 years ago
- Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.☆53Updated 9 months ago
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆25Updated 5 years ago
- ☆43Updated 8 months ago
- Optimizing Dynamic Programming-Based Algorithms☆130Updated 4 months ago
- Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad…☆71Updated 3 years ago
- Robot Controls Course Project☆62Updated 4 years ago
- Enforcing robust control guarantees within neural network policies☆56Updated 4 years ago
- ☆62Updated 2 months ago
- ☆112Updated last week
- Implementation of the Successive Convexification algorithm.☆103Updated 6 years ago
- A Tool for Continuous Reachability Analysis.☆149Updated 3 months ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆34Updated 3 years ago
- Github Mirror of https://gitlab.mech.kuleuven.be/meco-software/rockit☆57Updated 10 months ago
- Safe Exploration with MPC and Gaussian process models☆89Updated 5 years ago
- The course website for 'Optimal Control for Robotics', which I taught at Tufts University in Spring 2018☆55Updated 7 years ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆66Updated 3 years ago
- Robust Online Motion Planning using Contraction Theory☆63Updated 7 years ago
- A toolbox for trajectory optimization of dynamical systems☆54Updated 3 years ago