hongkai-dai / compatible_clf_cbfLinks
Verifying and synthesizing compatible Control Lyapunov Function (CLF) and Control Barrier Function (CBF)
☆23Updated 4 months ago
Alternatives and similar repositories for compatible_clf_cbf
Users that are interested in compatible_clf_cbf are comparing it to the libraries listed below
Sorting:
- Model predictive control based on data-driven model☆28Updated 2 years ago
- Real-Time Multi-Contact Model Predictive Control via ADMM☆47Updated last year
- Model predictive control in Python based on quadratic programming☆50Updated 5 months ago
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆17Updated last year
- Implements https://arxiv.org/pdf/2403.00748☆13Updated last year
- Model predictive control applied to dynamic/kinematic models in Python☆17Updated 4 years ago
- Code for "Dynamics Harmonics Analysis of Robotic Systems: Application in Data-Driven Koopman Modeling", enabling the modeling of symmetri…☆16Updated 7 months ago
- Code for the paper "Deep Model Predictive Optimization"☆28Updated 2 years ago
- Extend Differential Dynamic Programming (DDP) to be applicable to hybrid systems of fixed sequence and timings. Examples including an app…☆14Updated 2 years ago
- A generic sampling-based MPC python library based on jax☆19Updated last month
- A Contact-Implicit Trajectory Optimization Package☆49Updated 2 years ago
- Globally Safe Model-free Exploration of Dynamical Systems☆30Updated 11 months ago
- Official code repository for the work "On the Surprising Robustness of Sequential Convex Optimization for Contact-Implicit Motion Plannin…☆42Updated 2 months ago
- whole body control QP solver with full friction cones☆13Updated 11 months ago
- Some QP solver method's implementation, such as ADMM, active set, interior-point method☆27Updated 3 years ago
- Automatic Tuning for Data-driven Model Predictive Control☆45Updated 2 years ago
- Algorithm for multiple-shooting differential dynamic programming (MS-DDP) implemented in MATLAB, with a few robotics examples.☆24Updated last year
- [T-RO 2025] Code for Autonomous Robust Manipulation via Optimization with Uncertainty-aware Reachability☆14Updated 3 months ago
- A robot simulator running on simulink☆35Updated last year
- A collection of tutorials for robotoc, efficient optimal control solvers for robotic systems.☆18Updated 2 years ago
- A JAX library for Sequential Convex Programming (SCP) Model Predictive Control (MPC) path planning☆34Updated last year
- Model Predictive Parkour Control of a Monoped Hopper in Dynamically Changing Environments☆23Updated 5 months ago
- ☆70Updated last month
- Model predictive path integral control in jax☆13Updated 4 months ago
- A PyTorch implementation of MPC as a Function Approximator☆19Updated 4 years ago
- ☆31Updated 2 years ago
- Linear Temporal Logic Motion Planning with Graphs of Convex Sets☆52Updated 2 years ago
- ☆28Updated 2 years ago
- Implementations of QP/QCQP solvers using ADMM algorithm☆50Updated 2 years ago
- Python Implementation of Planning and Control☆58Updated last year