ResearchTrend.AI
Scalable synthesis of safety certificates from data with application to learning-based control
v1v2v3v4 (latest)

Scalable synthesis of safety certificates from data with application to learning-based control

K. P. Wabersich
Melanie Zeilinger
ArXiv (abs)PDFHTML

Papers citing "Scalable synthesis of safety certificates from data with application to learning-based control"

6 / 6 papers shown
Title
Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes
Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes
Will Lavanakul
Jason J. Choi
Koushil Sreenath
Claire J. Tomlin
107
14
0
07 Feb 2024
Provably Correct Training of Neural Network Controllers Using Reachability Analysis
Provably Correct Training of Neural Network Controllers Using Reachability Analysis
Xiaowu Sun
Yasser Shoukry
86
7
0
22 Feb 2021
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
James Ferlez
Mahmoud M. Elnaggar
Yasser Shoukry
C. Fleming
AAML
95
33
0
16 Jun 2020
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks
Richard Cheng
G. Orosz
R. Murray
J. W. Burdick
85
624
0
21 Mar 2019
A predictive safety filter for learning-based control of constrained nonlinear dynamical systems
A predictive safety filter for learning-based control of constrained nonlinear dynamical systems
K. P. Wabersich
Melanie Zeilinger
AI4CE
105
159
0
13 Dec 2018
Linear model predictive safety certification for learning-based control
Linear model predictive safety certification for learning-based control
K. P. Wabersich
Melanie Zeilinger
67
169
0
22 Mar 2018

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.