hongkai-dai / compatible_clf_cbfLinks
Verifying and synthesizing compatible Control Lyapunov Function (CLF) and Control Barrier Function (CBF)
☆20Updated last month
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 in Python based on quadratic programming☆44Updated last month
- Model predictive control based on data-driven model☆27Updated last year
- Real-Time Multi-Contact Model Predictive Control via ADMM☆44Updated last year
- Some QP solver method's implementation, such as ADMM, active set, interior-point method☆27Updated 2 years ago
- Model predictive control applied to dynamic/kinematic models in Python☆16Updated 4 years ago
- A GPU Accelerated Quadratic Programming Solver for Model-Predictive Control☆52Updated 3 months ago
- Algorithm for multiple-shooting differential dynamic programming (MS-DDP) implemented in MATLAB, with a few robotics examples.☆21Updated last year
- A Contact-Implicit Trajectory Optimization Package☆47Updated last year
- ☆31Updated 2 years ago
- Automatic Tuning for Data-driven Model Predictive Control☆45Updated 2 years ago
- Extend Differential Dynamic Programming (DDP) to be applicable to hybrid systems of fixed sequence and timings. Examples including an app…☆11Updated 2 years ago
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆15Updated last year
- A PyTorch implementation of MPC as a Function Approximator☆18Updated 3 years ago
- A collection of tutorials for robotoc, efficient optimal control solvers for robotic systems.☆18Updated 2 years ago
- Linear Temporal Logic Motion Planning with Graphs of Convex Sets☆46Updated last year
- ☆61Updated this week
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆63Updated 2 years ago
- Code for the paper "Deep Model Predictive Optimization"☆28Updated last year
- Contact Planning for Object Manipulation via Monte Carlo Tree Search☆14Updated 2 years ago
- A GPU-Accelerated Quadratic Programming Solver for Model-Predictive Control☆118Updated 10 months ago
- [IEEE RA-L 2023] Official Implementation of Safe Navigation and Obstacle Avoidance Using Differentiable Optimization Based Control Barrie…☆31Updated 4 months ago
- CSDecomp implements GPU-accelerated collision checking for generating approximate convex decompositions of robot configuration space.☆33Updated 2 weeks ago
- Official code repository for the work "On the Surprising Robustness of Sequential Convex Optimization for Contact-Implicit Motion Plannin…☆34Updated 2 months ago
- Autonomous Robust Manipulation via Optimization with Uncertainty-aware Reachability☆11Updated this week
- ☆39Updated 8 months ago
- We present the first successful deployment of a whole-body sampling-based MPC system on a real-world quadruped robot. Our approach enable…☆83Updated last month
- ☆28Updated 2 years ago
- ☆15Updated last year
- ROS-based C++ segway simulation environment. Includes branches for MPC and control barrier functions. New version of cyberpod_sim_ros.☆26Updated 4 years ago
- TROPIC: TRajectory OPtimization In CasADi☆54Updated 4 years ago