An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
type: Item
instance of: scholarly article
title: An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
zbMATH Open document ID: 1493.68224
DOI: 10.1007/978-3-030-81685-8_22
author: Zhengfeng Yang
author: Yidan Zhang
author: Wang Lin
author: Xia Zeng
author: Xiaochao Tang
author: Zhenbing Zeng
author: Zhiming Liu
publication date: 2022-03-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T07
Mathematics Subject Classification ID: 93C10
zbMATH DE Number: 7498151
zbMATH Keywords: formal verification
zbMATH Keywords: safe reinforcement learning
zbMATH Keywords: barrier certificates
zbMATH Keywords: continuous dynamical systems
describes a project that uses: Sherlock
describes a project that uses: nncontroller
describes a project that uses: ReachNN
describes a project that uses: PENBMI
describes a project that uses: GitHub
MaRDI profile type: Publication
full work available at URL: 978-3-030-81685-8 22
OpenAlex ID: W3185438801
cites work: Construction of parametric barrier functions for dynamical systems using interval analysis
cites work: Computing Output Feedback Controllers to Enlarge the Domain of Attraction in Polynomial Systems
cites work: Q4095322
cites work: Q3097983
cites work: Sherlock - A tool for verification of neural network feedback systems
cites work: Reachability analysis for neural feedback systems using regressive polynomial rule inference
cites work: Q5744808
cites work: Verisig
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Nonlinear Control Synthesis by Convex Optimization
cites work: Stability and stabilization of polynomial dynamical systems using Bernstein polynomials
cites work: Learning safe neural network controllers with barrier certificates
description: scientific article; zbMATH DE number 7498151