Machine-learning-based construction of barrier functions and models for safe model predictive control

In this paper, we propose a control Lyapunov-barrier function-based model predictive control method utilizing a feed-forward neural network specified control barrier function (CBF) and a recurrent neural network (RNN) predictive model to stabilize nonlinear processes with input constraints, and to guarantee that safety requirements are met for all times. The nonlinear system is first modeled using RNN techniques, and a CBF is characterized by constructing a feed-forward neural network (FNN) model with unique structures and properties. The FNN model for the CBF is trained based on data samples collected from safe and unsafe operating regions, and the resulting FNN model is verified to demonstrate that the safety properties of the CBF are satisfied. Given sufficiently small bounded modeling errors for both the FNN and the RNN models, the proposed control system is able to guarantee closed-loop stability while preventing the closed-loop states from entering unsafe regions in state-space under sample-and-hold control action implementation. We provide the theoretical analysis for bounded unsafe sets in state-space, and demonstrate the effectiveness of the proposed control strategy using a nonlinear chemical process example with a bounded unsafe region.

Automated summary

This paper proposes a model predictive control method based on control Lyapunov-barrier function, utilizing a feed-forward neural network specified control barrier function and a recurrent neural network predictive model to stabilize nonlinear processes and ensure safety requirements. The effectiveness of the proposed control strategy is demonstrated through theoretical analysis and a chemical process example with bounded unsafe region.