Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints

DOI10.1007/978-3-031-37706-8_16zbMath1548.93037MaRDI QIDQ6535637

Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Chao Peng

Publication date: 1 February 2024

zbMATH Keywords

formal verificationreinforcement learningcontroller synthesisbarrier certificateLyapunov-like function

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Nonlinear systems in control theory (93C10) Synthesis problems (93B50)

Cites Work

• Unnamed Item
• The stochastic reach-avoid problem and set characterization for diffusions
• Fast and guaranteed safe controller synthesis for nonlinear vehicle models
• Reach-avoid problems with time-varying dynamics, targets and constraints
• Reachability analysis for neural feedback systems using regressive polynomial rule inference
• Verisig
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Learning safe neural network controllers with barrier certificates

This page was built for publication: Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints