Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions

Wei Xiao,Ross Allen,Daniela Rus
2023-09-06
Abstract:This paper addresses the problem of safety-critical control for non-affine control systems. It has been shown that optimizing quadratic costs subject to state and control constraints can be sub-optimally reduced to a sequence of quadratic programs (QPs) by using Control Barrier Functions (CBFs). Our recently proposed High Order CBFs (HOCBFs) can accommodate constraints of arbitrary relative degree. The main challenges in this approach are that it requires affine control dynamics and the solution of the CBF-based QP is sub-optimal since it is solved point-wise. To address these challenges, we incorporate higher-order CBFs into neural ordinary differential equation-based learning models as differentiable CBFs to guarantee safety for non-affine control systems. The differentiable CBFs are trainable in terms of their parameters, and thus, they can address the conservativeness of CBFs such that the system state will not stay unnecessarily far away from safe set boundaries. Moreover, the imitation learning model is capable of learning complex and optimal control policies that are usually intractable online. We illustrate the effectiveness of the proposed framework on LiDAR-based autonomous driving and compare it with existing methods.
Systems and Control,Machine Learning,Robotics
What problem does this paper attempt to address?
This paper attempts to solve the safety - critical control problem of non - affine control systems. Specifically, the paper focuses on how to optimize the control strategies of non - affine control systems while ensuring the safety of the system. Traditional control barrier function (CBF) methods perform well when dealing with affine control systems, but have limitations when dealing with non - affine systems, because these methods usually assume that the dynamic characteristics of the system are affine, and the optimization problem can be simplified into a series of quadratic programming (QPs). However, for non - affine systems, this method will lead to a series of nonlinear programming (NLPs), which are not only difficult to solve, but also computationally inefficient. To overcome these challenges, the authors propose a new method to ensure the safety of non - affine control systems by combining high - order control barrier functions (HOCBFs) with neural ordinary differential equations (Neural ODEs). Specifically, the main contributions of the paper include: 1. **Introducing differentiable HOCBFs**: By embedding HOCBFs into neural ODEs and making them trainable parameters, the conservatism of CBFs is reduced, so that the system state will not be unnecessarily far from the boundary of the safety set. 2. **Using imitation learning**: Complex optimal control strategies, which are usually difficult to solve in real - time online, are learned through imitation learning. This enables the model to directly infer safe control strategies from high - dimensional observation data. 3. **Continuously optimizing the learning model**: A continuous optimization learning model is proposed, which combines neural ODEs and BarrierNet, and can efficiently generate control strategies while ensuring safety. The structure of the model is shown in Figure 1, where BarrierNet is used to ensure that the constraint conditions of CBFs are always satisfied, and neural ODEs are used to model the dynamic characteristics of the system. 4. **Theoretical guarantee**: It is proved that the proposed model can ensure the safety of the system (that is, \( b(x(t)) \geq 0 \) for all \( t \geq 0 \)) and the satisfaction of control constraints under the premise that the initial state is safe. 5. **Experimental verification**: The effectiveness of the proposed method is verified through experiments in LiDAR - based autonomous driving scenarios and compared with existing methods. In conclusion, this paper aims to provide a safety - critical control method suitable for non - affine control systems by combining high - order control barrier functions and neural ordinary differential equations, while ensuring the optimality and real - time performance of control strategies.