Neural Certificates for Safe Control Policies

Neural Certificates for Safe Control Policies

15 June 2020

Papers citing "Neural Certificates for Safe Control Policies"

18 / 18 papers shown

Title
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 78 15 0 31 Aug 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
Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems Amit Jena D. Kalathil Le Xie 38 3 0 23 Dec 2023
Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems Jason J. Choi F. Castañeda Wonsuhk Jung Bike Zhang Claire J. Tomlin Koushil Sreenath 42 3 0 23 Nov 2023
Reinforcement Learning for Safe Robot Control using Control Lyapunov Barrier Functions Desong Du Shao-Fu Han Naiming Qi Haitham Bou-Ammar Jun Wang Wei Pan 42 15 0 16 May 2023
A Policy Optimization Method Towards Optimal-time Stability Shengjie Wang Lan Fengb Xiang Zheng Yu-wen Cao Oluwatosin Oseni Haotian Xu Tao Zhang Yang Gao 39 1 0 02 Jan 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
On the Forward Invariance of Neural ODEs Wei Xiao Tsun-Hsuan Wang Ramin Hasani Mathias Lechner Yutong Ban Chuang Gan Daniela Rus 44 11 0 10 Oct 2022
Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions F. Castañeda Jason J. Choi Wonsuhk Jung Bike Zhang Claire Tomlin Koushil Sreenath 48 6 0 23 Aug 2022
Safety Certification for Stochastic Systems via Neural Barrier Functions Frederik Baymler Mathiesen S. Calvert Luca Laurenti 41 35 0 03 Jun 2022
Differentiable Control Barrier Functions for Vision-based End-to-End Autonomous Driving Wei Xiao Tsun-Hsuan Wang Makram Chahine Alexander Amini Ramin Hasani Daniela Rus 27 26 0 04 Mar 2022
Neural Koopman Lyapunov Control Vrushabh Zinage E. Bakolas 27 28 0 13 Jan 2022
BarrierNet: A Safety-Guaranteed Layer for Neural Networks Wei Xiao Ramin Hasani Xiao Li Daniela Rus 23 20 0 22 Nov 2021
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations Lars Lindemann Alexander Robey Lejun Jiang Satyajeet Das Stephen Tu Nikolai Matni 47 42 0 18 Nov 2021
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems Alexander Robey Lars Lindemann Stephen Tu Nikolai Matni 44 38 0 16 Jan 2021
Stability-Certified Reinforcement Learning via Spectral Normalization R. Takase N. Yoshikawa T. Mariyama T. Tsuchiya 21 4 0 26 Dec 2020
Learning Hybrid Control Barrier Functions from Data Lars Lindemann Haimin Hu Alexander Robey Hanwen Zhang Dimos V. Dimarogonas Stephen Tu Nikolai Matni 37 51 0 08 Nov 2020
Learning Control Barrier Functions from Expert Demonstrations Alexander Robey Haimin Hu Lars Lindemann Hanwen Zhang Dimos V. Dimarogonas Stephen Tu Nikolai Matni 31 202 0 07 Apr 2020