Prediction-Based Control Barrier Functions for Input-Constrained Safety Critical Systems
Control barrier functions (CBFs) have emerged as a popular topic in safety critical control due to their ability to provide formal safety guarantees for dynamical systems. Despite their powerful capabilities, the determination of feasible CBFs for input-constrained systems is still a formidable task and a challenging research issue. The present work aims to tackle this problem by focusing on an alternative approach towards a generalization of some ideas introduced in the existing CBF literature. The approach provides a rigorous yet straightforward method to define and implement prediction-based control barrier functions for complex dynamical systems to ensure safety with bounded inputs. This is accomplished by introducing a prediction-based term into the CBF that allows for the required margin needed to null the CBF rate of change given the specified input constraints. Having established the theoretical groundwork, certain remarks are subsequently presented with regards to the scheme's implementation. Finally, the proposed prediction-based control barrier function (PB-CBF) scheme is implemented for two numerical examples. In particular, the second example is related to aircraft stall prevention, which is meant to demonstrate the functionality and capability of the PB-CBFs in handling complex nonlinear dynamical systems via simulations. In both examples, the performance of the PB-CBF is compared with that of a non-prediction based basic CBF.
Code (0)
등록된 구현이 없습니다.
Tasks
PredictionSimilar Papers 제목 키워드 기반
Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications
This paper introduces harmonic control Lyapunov barrier functions (harmonic CLBF) that aid in constrained control problems such as reach-avoid problems. Harmonic CLBFs exploit the maximum principle that harmonic function…
Disturbance Observers for Robust Backup Control Barrier Functions
Designing safe controllers is crucial and notoriously challenging for input-constrained safety-critical control systems. Backup control barrier functions offer an approach for the construction of safe controllers online …
Compatibility checking of multiple control barrier functions for input constrained systems
State and input constraints are ubiquitous in control system design. One recently developed tool to deal with these constraints is control barrier functions (CBF) which transform state constraints into conditions in the …
Safety-Critical Control with Bounded Inputs: A Closed-Form Solution for Backup Control Barrier Functions
Verifying the safety of controllers is critical for many applications, but is especially challenging for systems with bounded inputs. Backup control barrier functions (bCBFs) offer a structured approach to synthesizing s…
Control Lyapunov-Barrier Function Based Model Predictive Control for Stochastic Nonlinear Affine Systems
A stochastic model predictive control (MPC) framework is presented in this paper for nonlinear affine systems with stability and feasibility guarantee. We first introduce the concept of stochastic control Lyapunov-barrie…
Model Predictive Control