Taylor-Lagrange Control for Safety-Critical Systems

• URL: http://arxiv.org/abs/2512.11999v1
• Date: Fri, 12 Dec 2025 19:31:03 GMT
• Title: Taylor-Lagrange Control for Safety-Critical Systems
• Abstract summary: We propose a novel Taylor-Lagrange Control (TLC) method for nonlinear control systems.<n>We show that the proposed TLC provides necessary and sufficient conditions for system safety.
• Score: 6.072701338858682
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper proposes a novel Taylor-Lagrange Control (TLC) method for nonlinear control systems to ensure the safety and stability through Taylor's theorem with Lagrange remainder. To achieve this, we expand a safety or stability function with respect to time along the system dynamics using the Lie derivative and Taylor's theorem. This expansion enables the control input to appear in the Taylor series at an order equivalent to the relative degree of the function. We show that the proposed TLC provides necessary and sufficient conditions for system safety and is applicable to systems and constraints of arbitrary relative degree. The TLC exhibits connections with existing Control Barrier Function (CBF) and Control Lyapunov Function (CLF) methods, and it further extends the CBF and CLF methods to the complex domain, especially for higher order cases. Compared to High-Order CBFs (HOCBFs), TLC is less restrictive as it does not require forward invariance of the intersection of a set of safe sets while HOCBFs do. We employ TLC to reformulate a constrained optimal control problem as a sequence of quadratic programs with a zero-order hold implementation method, and demonstrate the safety of zero-order hold TLC using an event-triggered control method to address inter-sampling effects. Finally, we illustrate the effectiveness of the proposed TLC method through an adaptive cruise control system and a robot control problem, and compare it with existing CBF methods.

Related papers

• Optimal Safety Control using High-Order Control Barrier Functions [1.8632008663568647]
  This paper investigates the optimal safety control problem of nonlinear control systems by proposing novel high-order control barrier functions (HOCBFs)<n>Different from zeroing HOCBFs, two novel HOCBFs are derived and the safety controllers are designed in an explicit way.
  arXiv  Detail & Related papers  (2026-07-19T02:30:49Z)
• Maximal Controlled Invariant-MPC: Enhancing Feasibility and Reducing Conservatism through Terminal CBF Constraint in Safety-Critical Control [0.8594140167290097]
  We present a Model Predictive Control (MPC) formulation using Control Barrier Function (CBF) as a terminal constraint.<n>MPC is proven to improve feasibility and reachable sets with increasing prediction horizon.<n>The increase in reachable state space was demonstrated by the ability of the system to track trajectories that are entirely inside the control barrier function.
  arXiv  Detail & Related papers  (2026-05-07T01:42:11Z)
• Robust Taylor-Lagrange Control for Safety-Critical Systems [5.004414716284651]
  We propose a robust Taylor-Lagrange Control (rTLC) method to address the feasibility preservation problem.<n> Specifically, the rTLC method expands the safety function at an order higher than the relative degree of the function.<n>We demonstrate the effectiveness of the proposed rTLC method through an adaptive cruise control problem.
  arXiv  Detail & Related papers  (2026-02-23T17:40:05Z)
• Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints [50.920465513162334]
  We introduce the PCBF algorithm to maximize the inner safe set of dynamical systems under input constraints.<n>We validate its effectiveness through comparison with Hamilton-Jacobi reachability for an inverted pendulum and through simulations on a 12-dimensional quadrotor system.<n>Results show that the PCBF consistently outperforms existing methods, yielding larger safe sets and ensuring safety under input constraints.
  arXiv  Detail & Related papers  (2024-10-05T18:45:19Z)
• Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation [5.62479170374811]
  Control Barrier Functions (CBFs) provide an elegant framework for constraining nonlinear control system dynamics. We introduce a novel self-supervised learning framework to comprehensively address these challenges. We validate our approach on a 2D double integrator (DI) system and a 7D fixed-wing aircraft system.
  arXiv  Detail & Related papers  (2024-01-11T02:51:49Z)
• Exact Verification of ReLU Neural Control Barrier Functions [25.44521208451216]
  Control Barrier Functions (CBFs) are a popular approach for safe control of nonlinear systems. Recent machine learning methods that represent CBFs as neural networks have shown great promise. This paper presents novel exact conditions and algorithms for verifying safety of feedforward NCBFs with ReLU activation functions.
  arXiv  Detail & Related papers  (2023-10-13T18:59:04Z)
• Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions [58.19198103790931]
  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) We incorporate higher-order CBFs into neural ordinary differential equation-based learning models as differentiable CBFs to guarantee safety for non-affine control systems.
  arXiv  Detail & Related papers  (2023-09-06T05:35:48Z)
• Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations [50.37808220291108]
  This paper addresses learning safe output feedback control laws from partial observations of expert demonstrations. We first propose robust output control barrier functions (ROCBFs) as a means to guarantee safety. We then formulate an optimization problem to learn ROCBFs from expert demonstrations that exhibit safe system behavior.
  arXiv  Detail & Related papers  (2021-11-18T23:21:00Z)
• Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty [77.18483084440182]
  Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) are popular tools for enforcing safety and stability of a controlled system, respectively. We present a Gaussian Process (GP)-based approach to tackle the problem of model uncertainty in safety-critical controllers that use CBFs and CLFs.
  arXiv  Detail & Related papers  (2021-06-13T23:08:49Z)
• Reinforcement Learning for Safety-Critical Control under Model Uncertainty, using Control Lyapunov Functions and Control Barrier Functions [96.63967125746747]
  Reinforcement learning framework learns the model uncertainty present in the CBF and CLF constraints. RL-CBF-CLF-QP addresses the problem of model uncertainty in the safety constraints.
  arXiv  Detail & Related papers  (2020-04-16T10:51:33Z)
• Learning Control Barrier Functions from Expert Demonstrations [69.23675822701357]
  We propose a learning based approach to safe controller synthesis based on control barrier functions (CBFs) We analyze an optimization-based approach to learning a CBF that enjoys provable safety guarantees under suitable Lipschitz assumptions on the underlying dynamical system. To the best of our knowledge, these are the first results that learn provably safe control barrier functions from data.
  arXiv  Detail & Related papers  (2020-04-07T12:29:06Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.