Codes for designing Neural Contraction Metrics (NCMs)
☆35Jul 29, 2020Updated 5 years ago
Alternatives and similar repositories for ncm
Users that are interested in ncm are comparing it to the libraries listed below
Sorting:
- Robust Online Motion Planning using Contraction Theory☆63Jan 2, 2019Updated 7 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆34Dec 12, 2022Updated 3 years ago
- Safe Control for Nonlinear Systems☆19May 23, 2020Updated 5 years ago
- Stabilizable Nonlinear Dynamics Learning☆23Oct 10, 2019Updated 6 years ago
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- Formal Verification of Neural Feedback Loops (NFLs)☆83Sep 12, 2024Updated last year
- Safe Exploration with MPC and Gaussian process models☆89Aug 17, 2020Updated 5 years ago
- Prepare for phd☆14Feb 18, 2023Updated 3 years ago
- MimicLabs: A Scalable Data Collection & Generation Pipeline for Table-top Manipulation☆35Feb 6, 2026Updated 3 weeks ago
- Robust model predictive control of uncertain linear dynamical systems subject to polytopic model uncertainty and additive disturbances.☆19Mar 10, 2023Updated 2 years ago
- Default scenes for CoppeliaSim☆19Jul 15, 2025Updated 7 months ago
- stlcg implemented with jax☆28Jul 14, 2025Updated 7 months ago
- ☆78Feb 24, 2024Updated 2 years ago
- SLSpy provides a Python-based framework to design and simulate model-based control systems, especially for system level synthesis (SLS) m…☆17Jun 29, 2023Updated 2 years ago
- Library for simulation of nonlinear control systems, control design, and Lyapunov-based learning.☆42Nov 21, 2022Updated 3 years ago
- ☆28Dec 22, 2024Updated last year
- ☆57Nov 20, 2024Updated last year
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Aug 14, 2024Updated last year
- Official Github repository for "CHILD: a Whole-Body Humanoid Teleoperation System". (Humanoids 2025)☆41Jan 30, 2026Updated last month
- Koopman Reduced-Order Nonlinear Identification and Control☆93Apr 14, 2020Updated 5 years ago
- ☆29Apr 8, 2022Updated 3 years ago
- CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…☆17Nov 29, 2018Updated 7 years ago
- Tube-certified nonlinear tracking with robust control contraction metrics☆29Feb 22, 2026Updated last week
- Neural Fixed-Point Acceleration for Convex Optimization☆29Oct 6, 2022Updated 3 years ago
- ☆27Oct 12, 2023Updated 2 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆70Jun 12, 2021Updated 4 years ago
- ☆37Nov 5, 2024Updated last year
- Differentiable Collision Avoidance☆24Jul 11, 2022Updated 3 years ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆34Dec 9, 2020Updated 5 years ago
- Implementation of SHARP: Shielding-Aware Robust Planning for Safe and Efficient Human-Robot Interaction - RAL 2022☆34Feb 10, 2023Updated 3 years ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆36Jun 26, 2025Updated 8 months ago
- Judo: a hackable sampling-based MPC toolbox☆232Feb 20, 2026Updated last week
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- Simulation of multicopter dynamics and IMU measurement.☆10Feb 14, 2024Updated 2 years ago
- A dual active-set algorithm for convex quadratic programming☆101Jan 18, 2026Updated last month
- Simple example showing how to use Pinocchio in a ROS 2 C++ package.☆47Apr 9, 2025Updated 10 months ago
- MPC with Gaussian Process☆234Jun 9, 2019Updated 6 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆39Oct 5, 2024Updated last year
- Safe reinforcement learning with stability guarantees☆237Feb 8, 2022Updated 4 years ago