Safety Certification for Stochastic Systems via Neural Barrier Functions

3 June 2022

Papers citing "Safety Certification for Stochastic Systems via Neural Barrier Functions"

16 / 16 papers shown

Title
Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks Hanjiang Hu Alexander Robey Changliu Liu AAML LLMSV 52 1 0 28 Feb 2025
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation Hanjiang Hu Yujie Yang Tianhao Wei Changliu Liu AAML 31 7 0 04 Oct 2024
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model Alireza Nadali Ashutosh Trivedi Majid Zamani 26 2 0 22 May 2024
Data-Driven Permissible Safe Control with Barrier Certificates Rayan Mazouz John Skovbekk Frederik Baymler Mathiesen Eric Frew Luca Laurenti Morteza Lahijanian 27 1 0 30 Apr 2024
Piecewise Stochastic Barrier Functions Rayan Mazouz Frederik Baymler Mathiesen Luca Laurenti Morteza Lahijanian 35 4 0 25 Apr 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 57 15 0 11 Apr 2024
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems Dapeng Zhi Peixin Wang Si Liu C.-H. Luke Ong Min Zhang 41 5 0 02 Apr 2024
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks Hongchao Zhang Luyao Niu Andrew Clark Radha Poovendran AAML 37 2 0 28 Feb 2024
Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments Yu Zhang Guangyao Tian Long Wen Xiangtong Yao Liding Zhang Zhenshan Bing Wei He Alois Knoll 40 5 0 26 Feb 2024
Safe Distributed Control of Multi-Robot Systems with Communication Delays Luca Ballotta Rajat Talak AI4CE 31 1 0 14 Feb 2024
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Dorde Zikelic Mathias Lechner Abhinav Verma K. Chatterjee T. Henzinger 43 10 0 03 Dec 2023
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models Alec Edwards Andrea Peruffo Alessandro Abate 27 18 0 16 Nov 2023
Exact Verification of ReLU Neural Control Barrier Functions Hongchao Zhang Junlin Wu Yevgeniy Vorobeychik Andrew Clark AAML 43 12 0 13 Oct 2023
Efficient Exploration Using Extra Safety Budget in Constrained Policy Optimization Haotian Xu Shengjie Wang Zhaolei Wang Yunzhe Zhang Qing Zhuo Yang Gao Tao Zhang 18 0 0 28 Feb 2023
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 29 22 0 11 Oct 2022
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 120 173 0 14 Sep 2021