Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints
type: Item
instance of: scholarly article
title: Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints
zbMATH Open document ID: 1548.93037
DOI: 10.1007/978-3-031-37706-8_16
author: Zhengfeng Yang
author: Li Zhang
author: Xia Zeng
author: Xiaochao Tang
author: Chao Peng
author: Zhenbing Zeng
publication date: 2024-02-01T00:00:00Z
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93C10
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 7798069
zbMATH Keywords: formal verification
zbMATH Keywords: controller synthesis
zbMATH Keywords: reinforcement learning
zbMATH Keywords: barrier certificate
zbMATH Keywords: Lyapunov-like function
MaRDI profile type: MaRDI publication profile
cites work: Reachability analysis for neural feedback systems using regressive polynomial rule inference
cites work: The stochastic reach-avoid problem and set characterization for diffusions
cites work: Fast and guaranteed safe controller synthesis for nonlinear vehicle models
cites work: Reach-avoid problems with time-varying dynamics, targets and constraints
cites work: Verisig
cites work: Q3138769
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Learning safe neural network controllers with barrier certificates
description: scientific article; zbMATH DE number 7798069