The safety filter: A unified view of safety-critical control in autonomous systems

KC Hsu, H Hu, JF Fisac - Annual Review of Control, Robotics …, 2023 - annualreviews.org
Recent years have seen significant progress in the realm of robot autonomy, accompanied
by the expanding reach of robotic technologies. However, the emergence of new …

Advances in the theory of control barrier functions: Addressing practical challenges in safe control synthesis for autonomous and robotic systems

K Garg, J Usevitch, J Breeden, M Black… - Annual Reviews in …, 2024 - Elsevier
This tutorial paper presents recent work of the authors that extends the theory of Control
Barrier Functions (CBFs) to address practical challenges in the synthesis of safe controllers …

Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control

C Dawson, S Gao, C Fan - IEEE Transactions on Robotics, 2023 - ieeexplore.ieee.org
Learning-enabled control systems have demonstrated impressive empirical performance on
challenging control problems in robotics, but this performance comes at the cost of reduced …

Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods

C Dawson, S Gao, C Fan - arxiv preprint arxiv:2202.11762, 2022 - arxiv.org
Learning-enabled control systems have demonstrated impressive empirical performance on
challenging control problems in robotics, but this performance comes at the cost of reduced …

Robust control barrier functions under high relative degree and input constraints for satellite trajectories

J Breeden, D Panagou - Automatica, 2023 - Elsevier
This paper presents methodologies for constructing Control Barrier Functions (CBFs) for
nonlinear, control-affine systems, in the presence of input constraints and bounded …

Safety-critical control using optimal-decay control barrier function with guaranteed point-wise feasibility

J Zeng, B Zhang, Z Li, K Sreenath - 2021 American Control …, 2021 - ieeexplore.ieee.org
Safety is one of the fundamental problems in robotics. Recently, a quadratic program based
control barrier function (CBF) method has emerged as a way to enforce safety-critical …

Safe pontryagin differentiable programming

W **, S Mou, GJ Pappas - Advances in Neural Information …, 2021 - proceedings.neurips.cc
Abstract We propose a Safe Pontryagin Differentiable Programming (Safe PDP)
methodology, which establishes a theoretical and algorithmic framework to solve a broad …

Learning robust output control barrier functions from safe expert demonstrations

L Lindemann, A Robey, L Jiang, S Das… - IEEE Open Journal …, 2024 - ieeexplore.ieee.org
This paper addresses learning safe output feedback control laws from partial observations of
expert demonstrations. We assume that a model of the system dynamics and a state …

Control for smart systems: Challenges and trends in smart cities

QS Jia, H Panetto, M Macchi, S Siri, G Weichhart… - Annual Reviews in …, 2022 - Elsevier
There have been tremendous developments in theories and technologies in control for
smart systems. In this paper we review applications to various systems that are crucial for the …

Joint differentiable optimization and verification for certified reinforcement learning

Y Wang, S Zhan, Z Wang, C Huang, Z Wang… - Proceedings of the …, 2023 - dl.acm.org
Model-based reinforcement learning has been widely studied for controller synthesis in
cyber-physical systems (CPSs). In particular, for safety-critical CPSs, it is important to …