English
Related papers

Related papers: On transferring safety certificates across dynamic…

200 papers

As autonomous systems become increasingly prevalent in daily life, ensuring their safety is paramount. Control Barrier Functions (CBFs) have emerged as an effective tool for guaranteeing safety; however, manually designing them for specific…

Robotics · Computer Science 2025-04-16 Shreenabh Agrawal , Manan Tayal , Aditya Singh , Shishir Kolathaya

This work introduces a novel Proxy Control Barrier Function (PCBF) scheme that integrates barrier-based and Lyapunov-based safety-critical control strategies for strict-feedback systems with potentially unknown dynamics. The proposed method…

Systems and Control · Electrical Eng. & Systems 2025-05-13 Yujie Wang , Xiangru Xu

Control barrier functions (CBFs) play a critical role in the design of safe optimization-based controllers for control-affine systems. Given a CBF associated with a desired ``safe'' set, the typical approach consists in embedding CBF-based…

Systems and Control · Electrical Eng. & Systems 2024-09-12 Yiting Chen , Pol Mestres , Jorge Cortes , Emiliano Dall'Anese

Modern nonlinear control theory seeks to develop feedback controllers that endow systems with properties such as safety and stability. The guarantees ensured by these controllers often rely on accurate estimates of the system state for…

Systems and Control · Electrical Eng. & Systems 2020-11-02 Sarah Dean , Andrew J. Taylor , Ryan K. Cosner , Benjamin Recht , Aaron D. Ames

In this paper, we develop a novel adaptation-based approach to constrained control design under multiple state and input constraints. Specifically, we introduce a method for synthesizing any number of time-varying candidate control barrier…

Optimization and Control · Mathematics 2023-04-05 Mitchell Black , Dimitra Panagou

Control Barrier Functions (CBFs) that provide formal safety guarantees have been widely used for safety-critical systems. However, it is non-trivial to design a CBF. Utilizing neural networks as CBFs has shown great success, but it…

Systems and Control · Electrical Eng. & Systems 2023-11-20 Xinyu Wang , Luzia Knoedler , Frederik Baymler Mathiesen , Javier Alonso-Mora

Set invariance techniques such as control barrier functions (CBFs) can be used to enforce time-varying constraints such as keeping a safe distance from dynamic objects. However, existing methods for enforcing time-varying constraints often…

Robotics · Computer Science 2025-11-19 Yitaek Kim , Christoffer Sloth

This paper presents a feasibility-enhanced control barrier function (FECBF) framework for multi-UAV collision avoidance. In dense multi-UAV scenarios, the feasibility of the CBF quadratic program (CBF-QP) can be compromised due to internal…

Robotics · Computer Science 2026-03-16 Qishen Zhong , Junlong Wu , Jian Yang , Guanwei Xiao , Junqi Wu , Zimeng Jiang , Pingan Fang

Differential-algebraic equations (DAEs) arise in power networks, chemical processes, and multibody systems, where algebraic constraints encode physical conservation laws. The safety of such systems is critical, yet safe control is…

Systems and Control · Electrical Eng. & Systems 2026-03-17 Hongchao Zhang , Mohamad H. Kazma , Meiyi Ma , Taylor T. Johnson , Ahmad F. Taha

Robots operating in real world settings must navigate and maintain safety while interacting with many heterogeneous agents and obstacles. Multi-Agent Control Barrier Functions (CBF) have emerged as a computationally efficient tool to…

Robotics · Computer Science 2020-09-24 Richard Cheng , Mohammad Javad Khojasteh , Aaron D. Ames , Joel W. Burdick

This paper introduces differentiable higher-order control barrier functions (CBF) that are end-to-end trainable together with learning systems. CBFs are usually overly conservative, while guaranteeing safety. Here, we address their…

Machine Learning · Computer Science 2021-11-23 Wei Xiao , Ramin Hasani , Xiao Li , Daniela Rus

This paper addresses the problem of safety-critical control for systems with unknown dynamics. It has been shown that stabilizing affine control systems to desired (sets of) states while optimizing quadratic costs subject to state and…

Systems and Control · Electrical Eng. & Systems 2021-03-31 Wei Xiao , Calin Belta , Christos G. Cassandras

To navigate complex environments, robots must increasingly use high-dimensional visual feedback (e.g. images) for control. However, relying on high-dimensional image data to make control decisions raises important questions; particularly,…

Robotics · Computer Science 2023-03-01 Mukun Tong , Charles Dawson , Chuchu Fan

This work explores a collaborative method for ensuring safety in multi-agent formation control problems. We formulate a control barrier function (CBF) based safety filter control law for a generic distributed formation controller and extend…

Robotics · Computer Science 2024-10-08 Brooks A. Butler , Chi Ho Leung , Philip E. Paré

Connected automated vehicles have shown great potential to improve the efficiency of transportation systems in terms of passenger comfort, fuel economy, stability of driving behavior and mitigation of traffic congestions. Yet, to deploy…

Systems and Control · Electrical Eng. & Systems 2023-09-04 Tamas G. Molnar , Gabor Orosz , Aaron D. Ames

Ensuring safety in multi-agent systems is a significant challenge, particularly in settings where centralized coordination is impractical. In this work, we propose a novel risk-sensitive safety filter for discrete-time multi-agent systems…

Systems and Control · Electrical Eng. & Systems 2025-12-19 Armin Lederer , Erfaun Noorani , Andreas Krause

Deploying safety-critical controllers in practice necessitates the ability to modulate uncertainties in control systems. In this context, robust control barrier functions -- in a variety of forms -- have been used to obtain safety…

Systems and Control · Electrical Eng. & Systems 2023-03-22 Anil Alan , Tamas G. Molnar , Aaron D. Ames , Gábor Orosz

This work addresses the challenge of safe and efficient mobile robot navigation in complex dynamic environments with concave moving obstacles. Reactive safe controllers like Control Barrier Functions (CBFs) design obstacle avoidance…

Robotics · Computer Science 2026-02-12 Yifan Xue , Ze Zhang , Knut Åkesson , Nadia Figueroa

Control Barrier Functions offer safety certificates by dictating controllers that enforce safety constraints. However, their response depends on the classK function that is used to restrict the rate of change of the value of the barrier…

Optimization and Control · Mathematics 2023-12-25 Hardik Parwana , Dimitra Panagou

We propose a novel (Type-II) zeroing control barrier function (ZCBF) for safety-critical control, which generalizes the original ZCBF approach. Our method allows for applications to a larger class of systems (e.g. passivity-based) while…

Systems and Control · Electrical Eng. & Systems 2023-01-02 Wenceslao Shaw Cortez , Xiao Tan , Dimos V. Dimarogonas