hongkai-dai / compatible_clf_cbf
Verifying and synthesizing compatible Control Lyapunov Function (CLF) and Control Barrier Function (CBF)
☆16Updated 2 weeks 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
- Real-Time Multi-Contact Model Predictive Control via ADMM☆38Updated 11 months ago
- Model predictive control in Python based on quadratic programming☆34Updated last week
- Model predictive control based on data-driven model☆25Updated last year
- ☆41Updated 2 months ago
- Automatic Tuning for Data-driven Model Predictive Control☆37Updated last year
- Model predictive control applied to dynamic/kinematic models in Python☆15Updated 3 years ago
- A collection of MPC walking scripts with various models☆30Updated 3 months ago
- A GPU Accelerated Quadratic Programming Solver for Model-Predictive Control☆46Updated 4 months ago
- Code for the paper "Deep Model Predictive Optimization"☆23Updated last year
- ☆18Updated last year
- Extend Differential Dynamic Programming (DDP) to be applicable to hybrid systems of fixed sequence and timings. Examples including an app…☆10Updated last year
- A collection of tutorials for robotoc, efficient optimal control solvers for robotic systems.☆17Updated 2 years ago
- Single Rigid Body Dynamics-based linear MPC for quadrupedal robots☆18Updated 2 years ago
- A Contact-Implicit Trajectory Optimization Package☆42Updated last year
- ☆48Updated last year
- Model Predictive Parkour Control of a Monoped Hopper in Dynamically Changing Environments☆20Updated 4 months ago
- A PyTorch implementation of MPC as a Function Approximator☆17Updated 3 years ago
- Trajectory optimization code for the paper "OPT-Mimic: Imitation of Optimized Trajectories for Dynamic Quadruped Behaviors"☆24Updated 2 years ago
- QP Benchmarks for the ProxQP Solver against OSQP, GUROBI, MOSEK, quadprog and qpOASES☆21Updated last year
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆14Updated last year
- ☆27Updated 2 years ago
- ☆30Updated last year
- Autonomous Robust Manipulation via Optimization with Uncertainty-aware Reachability☆10Updated 3 months ago
- Linear Temporal Logic Motion Planning with Graphs of Convex Sets☆44Updated last year
- ☆15Updated last week
- ☆14Updated 2 years ago
- Some QP solver method's implementation, such as ADMM, active set, interior-point method☆23Updated 2 years ago
- Casadi based walking code for quadrupeds and quadruped manipulators using Trajectory Optimization☆8Updated last month
- Algorithm for multiple-shooting differential dynamic programming (MS-DDP) implemented in MATLAB, with a few robotics examples.☆17Updated 9 months ago
- ROS-based C++ segway simulation environment. Includes branches for MPC and control barrier functions. New version of cyberpod_sim_ros.☆25Updated 4 years ago