English
Related papers

Related papers: Probabilistic Control Barrier Functions: Safety in…

200 papers

In recent years, the analysis of a control barrier function has received considerable attention because it is helpful for the safety-critical control required in many control application problems. While the extension of the analysis to a…

Optimization and Control · Mathematics 2024-04-18 Yuki Nishimura , Kenta Hoshino

With the increasing complexity of real-world systems and varying environmental uncertainties, it is difficult to build an accurate dynamic model, which poses challenges especially for safety-critical control. In this paper, a learning-based…

Systems and Control · Electrical Eng. & Systems 2024-08-13 Sihua Zhang , Di-Hua Zhai , Xiaobing Dai , Tzu-yuan Huang , Yuanqing Xia , Sandra Hirche

Designing safety-critical control for robotic manipulators is challenging, especially in a cluttered environment. First, the actual trajectory of a manipulator might deviate from the planned one due to the complex collision environments and…

Robotics · Computer Science 2022-11-14 Xuda Ding , Han Wang , Yi Ren , Yu Zheng , Cailian Chen , Jianping He

Control barrier functions (CBFs) are widely used in safety-critical controllers. However, constructing a valid CBF is challenging, especially under nonlinear or non-convex constraints and for high relative degree systems. Meanwhile, finding…

Systems and Control · Electrical Eng. & Systems 2022-10-12 Bolun Dai , Prashanth Krishnamurthy , Farshad Khorrami

Ensuring safety in real-world robotic systems is often challenging due to unmodeled disturbances and noisy sensor measurements. To account for such stochastic uncertainties, many robotic systems leverage probabilistic state estimators such…

Robotics · Computer Science 2023-09-14 Matti Vahs , Christian Pek , Jana Tumova

Control barrier functions (CBFs) have become a popular tool to enforce safety of a control system. CBFs are commonly utilized in a quadratic program formulation (CBF-QP) as safety-critical constraints. A class $\mathcal{K}$ function in CBFs…

Systems and Control · Electrical Eng. & Systems 2022-04-12 Hengbo Ma , Bike Zhang , Masayoshi Tomizuka , Koushil Sreenath

We consider safety-critical multi-agent systems with distributed control architectures and potentially varying network topologies. While learning-based distributed control enables scalability and high performance, a lack of formal safety…

Systems and Control · Electrical Eng. & Systems 2026-04-01 Jonas Ohnemus , Alexandre Didier , Ahmed Aboudonia , Andrea Carron , Melanie N. Zeilinger

Achieving safe autonomous navigation systems is critical for deploying robots in dynamic and uncertain real-world environments. In this paper, we propose a hierarchical control framework leveraging neural network verification techniques to…

Artificial Intelligence · Computer Science 2025-05-01 Luca Marzari , Francesco Trotti , Enrico Marchesini , Alessandro Farinelli

In this paper, we study a safe control design for dynamical systems in the presence of uncertainty in a dynamical environment. The worst-case error approach is considered to formulate robust Control Barrier Functions (CBFs) in an…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Vahid Hamdipoor , Nader Meskin , Christos G. Cassandras

Hybrid dynamical systems are ubiquitous as practical robotic applications often involve both continuous states and discrete switchings. Safety is a primary concern for hybrid robotic systems. Existing safety-critical control approaches for…

Robotics · Computer Science 2024-12-02 Shuo Yang , Yu Chen , Xiang Yin , George J. Pappas , Rahul Mangharam

Control barrier functions (CBFs) and safety-critical control have seen a rapid increase in popularity in recent years, predominantly applied to systems in aerospace, robotics and neural network controllers. Control barrier functions can…

Theoretical Economics · Economics 2024-02-27 David van Wijk

This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon. We use stochastic control barrier functions as a means to quantify the probability that a system exits a given safe region of…

Systems and Control · Electrical Eng. & Systems 2019-09-12 Cesar Santoyo , Maxence Dutreix , Samuel Coogan

To enable flexible, high-throughput automation in settings where people and robots share workspaces, collaborative robotic cells must reconcile stringent safety guarantees with the need for responsive and effective behavior. A dynamic…

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 time-varying soft-maximum composite control barrier function (CBF) that can be used to ensure safety in an a priori unknown environment, where local perception information regarding the safe set is periodically…

Systems and Control · Electrical Eng. & Systems 2024-03-26 Amirsaeid Safari , Jesse B. Hoagg

This paper studies safety guarantees for systems with time-varying control bounds. It has been shown that optimizing quadratic costs subject to state and control constraints can be reduced to a sequence of Quadratic Programs (QPs) using…

Optimization and Control · Mathematics 2024-04-22 Shuo Liu , Wei Xiao , Calin A. Belta

The problem of safely learning and controlling a dynamical system - i.e., of stabilizing an originally (partially) unknown system while ensuring that it does not leave a prescribed 'safe set' - has recently received tremendous attention in…

Systems and Control · Electrical Eng. & Systems 2023-10-10 Jafar Abbaszadeh Chekan , Cedric Langbort

This paper considers safe control synthesis for dynamical systems with either probabilistic or worst-case uncertainty in both the dynamics model and the safety constraints. We formulate novel probabilistic and robust (worst-case) control…

Robotics · Computer Science 2022-10-04 Kehan Long , Vikas Dhiman , Melvin Leok , Jorge Cortés , Nikolay Atanasov

Optimal control for safety-critical systems is often dependent on the conservativeness of constraints. Control Barrier Functions (CBFs) serve as a medium to represent such constraints, but constructing a minimally conservative CBF is a…

Systems and Control · Electrical Eng. & Systems 2026-05-08 Tanmay Dokania , Yashwanth Kumar Nakka

We propose integrating an approximation of a predictive control barrier function (PCBF) in a safety filter framework, resulting in a prediction horizon independent formulation. The PCBF is defined through the value function of an optimal…

Systems and Control · Electrical Eng. & Systems 2025-08-26 Alexandre Didier , Melanie N. Zeilinger