Skip to content
This repository has been archived by the owner on Jul 9, 2022. It is now read-only.
/ MPC-CBF Public archive

"Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function" by J. Zeng, B. Zhang and K. Sreenath https://arxiv.org/abs/2007.11718

License

Notifications You must be signed in to change notification settings

HybridRobotics/MPC-CBF

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Status: This repository is archived. For latest work about discrete-time CBF, please refer to the collection repository.

MPC-CBF

We propose a control framework which unifies the model predictive control and control barrier functions, where terminal cost function serves as control Lyapunov functions for stability. This is the reference implementation of our paper:

Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function

PDF | Code: Double Integratror | Code: Car Racing

Jun Zeng, Bike Zhang and Koushil Sreenath

Citing

If you find this project useful in your work, please consider citing following work:

@inproceedings{zeng2021mpccbf,
  title={Safety-critical model predictive control with discrete-time control barrier function},
  author={Zeng, Jun and Zhang, Bike and Sreenath, Koushil},
  booktitle={2021 American Control Conference (ACC)},
  year={2021},
  volume={},
  number={},
  pages={3882-3889}
}

For analysis of feasibility, safety and computational complexity, please check out the following paper:

@inproceedings{zeng2021mpccbf-feasibility,
  title={Enhancing feasibility and safety of nonlinear model predictive control with discrete-time control barrier functions},
  author={Zeng, Jun and Li, Zhongyu and Sreenath, Koushil},
  booktitle={2021 Conference on Decision and Control (CDC)},
  year={2021},
  volume={},
  number={},
  pages={6137-6144}
}

Instructions

The 2D double integrator is assigned to reach the target position at origin while avoiding obstacles. We have three classes for different controllers: DCLFDCBF.m (DCLF-DCBF), MPCCBF.m (MPC-CBF) and MPCDC (MPC-DC), respectively.

Moreover, to illustrate the performance among them, we have:

  • test.m: Run DCLF-DCBF/MPC-CBF/MPC-DC respectively.
  • testGamma.m: Run analysis for different hyperparameter $\gamma$.
  • testHorizon.m: Run analysis for different horizon.
  • testBenchmark.m: Run analysis for some benchmark.

We illustrate the performance between DCLF-DCBF/MPC-DC/MPC-CBF

DCLF-DCBF MPC-DC (N=8)
MPC-CBF (N=1) MPC-CBF (N=8)

and also the safety performance for different numbers of horizon and hyperparameters

Different hyperparameter Different horizon

Dependencies

The packages needed for running the code are Yalmip and IPOPT.

We also provide the zipped version of precompiled .mex files for IPOPT in the folder packages in case you don't have it. Unzip that file and add those .mex files into your MATLAB path.