NMPC-DCLF-DCBFA collection of work using nonlinear model predictive control (NMPC) with discrete-time control Lyapunov functions (CLFs) and control barrier functions (CBFs)
HashedExpressionType-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
MPC-CBF"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