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

The optimal performance of robotic systems is usually achieved near the limit of state and input bounds. Model predictive control (MPC) is a prevalent strategy to handle these operational constraints, however, safety still remains an open challenge for MPC as it needs to guarantee that the system stays within an invariant set. In order to obtain safe optimal performance in the context of set invariance, we present a safety-critical model predictive control strategy utilizing discrete-time control barrier functions (CBFs), which guarantees system safety and accomplishes optimal performance via model predictive control. We analyze the feasibility and the stability properties of our control design. We verify the properties of our method on a 2D double integrator model for obstacle avoidance. We also validate the algorithm numerically using a competitive car racing example, where the ego car is able to overtake other racing cars.

[1]  Aaron D. Ames,et al.  Adaptive Safety with Control Barrier Functions , 2019, 2020 American Control Conference (ACC).

[2]  Aaron D. Ames,et al.  Unified Multi-Rate Control: from Low Level Actuation to High Level Planning , 2020, ArXiv.

[3]  Aaron D. Ames,et al.  Multi-Rate Control Design Leveraging Control Barrier Functions and Model Predictive Control Policies , 2021, IEEE Control Systems Letters.

[4]  Koushil Sreenath,et al.  Exponential Control Barrier Functions for enforcing high relative-degree safety-critical constraints , 2016, 2016 American Control Conference (ACC).

[5]  Xiaojing Zhang,et al.  Optimization-Based Collision Avoidance , 2017, IEEE Transactions on Control Systems Technology.

[6]  S. Shankar Sastry,et al.  Provably safe and robust learning-based model predictive control , 2011, Autom..

[7]  Lars Grne,et al.  Nonlinear Model Predictive Control: Theory and Algorithms , 2011 .

[8]  Koushil Sreenath,et al.  Discrete Control Barrier Functions for Safety-Critical Control of Discrete Systems with Application to Bipedal Robot Navigation , 2017, Robotics: Science and Systems.

[9]  WächterAndreas,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006 .

[10]  Koushil Sreenath,et al.  3D dynamic walking on stepping stones with control barrier functions , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[11]  Victor M. Zavala,et al.  Large-scale nonlinear programming using IPOPT: An integrating framework for enterprise-wide dynamic optimization , 2009, Comput. Chem. Eng..

[12]  James M. Rehg,et al.  Information-Theoretic Model Predictive Control: Theory and Applications to Autonomous Driving , 2017, IEEE Transactions on Robotics.

[13]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.

[14]  Paulo Tabuada,et al.  Robustness of Control Barrier Functions for Safety Critical Control , 2016, ADHS.

[15]  Alberto Bemporad,et al.  Predictive Control for Linear and Hybrid Systems , 2017 .

[16]  Francesco Borrelli,et al.  Learning How to Autonomously Race a Car: A Predictive Control Approach , 2019, IEEE Transactions on Control Systems Technology.

[17]  H. E. Tseng,et al.  Linear model predictive control for lane keeping and obstacle avoidance on low curvature roads , 2013, 16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013).

[18]  Ashish Kapoor,et al.  Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates , 2019, NeurIPS.

[19]  Rajesh Rajamani,et al.  Vehicle dynamics and control , 2005 .

[20]  Mario Zanon,et al.  Towards time-optimal race car driving using nonlinear MPC in real-time , 2014, 53rd IEEE Conference on Decision and Control.

[21]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[22]  Adrian Wills,et al.  Barrier function based model predictive control , 2004, Autom..

[23]  Manfred Morari,et al.  Optimization‐based autonomous racing of 1:43 scale RC cars , 2015, ArXiv.

[24]  Giuseppe Oriolo,et al.  MPC for Humanoid Gait Generation: Stability and Feasibility , 2019, IEEE Transactions on Robotics.

[25]  Tong Duy Son,et al.  Safety-Critical Control for Non-affine Nonlinear Systems with Application on Autonomous Vehicle , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[26]  Andrew G. Alleyne,et al.  Autonomous Vehicle Control: A Nonconvex Approach for Obstacle Avoidance , 2017, IEEE Transactions on Control Systems Technology.

[27]  Paulo Tabuada,et al.  Control barrier function based quadratic programs with application to adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.

[28]  Aaron D. Ames,et al.  Nonlinear Model Predictive Control of Robotic Systems with Control Lyapunov Functions , 2020, RSS 2020.

[29]  Paulo Tabuada,et al.  Control Barrier Functions: Theory and Applications , 2019, 2019 18th European Control Conference (ECC).

[30]  Koushil Sreenath,et al.  Torque Saturation in Bipedal Robotic Walking Through Control Lyapunov Function-Based Quadratic Programs , 2013, IEEE Access.

[31]  Alberto Rodriguez,et al.  Reactive planar non-prehensile manipulation with hybrid model predictive control , 2020, Int. J. Robotics Res..

[32]  G. Martin,et al.  Nonlinear model predictive control , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[33]  Quan Nguyen.  Robust and Adaptive Dynamic Walking of Bipedal Robots , 2017 .

[34]  Francesco Borrelli,et al.  An auto-generated nonlinear MPC algorithm for real-time obstacle avoidance of ground vehicles , 2013, 2013 European Control Conference (ECC).

[35]  S. Shankar Sastry,et al.  Model-predictive active steering and obstacle avoidance for autonomous ground vehicles , 2009 .

[36]  Guofan Wu,et al.  Safety-critical and constrained geometric control synthesis using control Lyapunov and control Barrier functions for systems evolving on manifolds , 2015, 2015 American Control Conference (ACC).