AstroHiro / ncm
Codes for designing Neural Contraction Metrics (NCMs)
☆32Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for ncm
- ☆81Updated last year
- Robust Online Motion Planning using Contraction Theory☆53Updated 5 years ago
- Robot Controls Course Project☆53Updated 3 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆30Updated last year
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 8 months ago
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆23Updated 2 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆54Updated 3 years ago
- ☆20Updated 3 years ago
- constraint differential dynamical programming☆25Updated 2 years ago
- Repository for Koopman based learning and nonlinear control☆37Updated last year
- Model-based Control using Koopman Operators☆46Updated 4 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆139Updated 10 months ago
- Public examples for FORCES NLP☆12Updated 7 years ago
- ☆54Updated 3 months ago
- ☆16Updated 11 months ago
- ☆49Updated 2 years ago
- Stochastic Optimal Control in Robotics Project☆13Updated 5 years ago
- Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad…☆70Updated 2 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆43Updated 3 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆119Updated 3 years ago
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆14Updated last year
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆56Updated last year
- Repo for paper DATT: Deep Adaptive Trajectory Tracking for Quadrotor Drones☆40Updated 5 months ago
- ☆70Updated 6 months ago
- Sampling based GP MPC☆14Updated last month
- Get started with Reachability-based Trajectory Design for static obstacles☆62Updated 2 years ago
- Convex Geometric Trajectory Tracking using Lie Algebraic MPC for Autonomous Marine Vehicles☆42Updated last year
- ☆40Updated last year
- Control Barrier Functions for Quadrotors, standalone with dynamics simulator, nominal controllers.☆54Updated last year
- Economic tuning of tracking (N)MPC problems.☆29Updated 2 years ago