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

DOI10.1007/978-3-031-37706-8_16zbMATH Open1548.93037MaRDI QIDQ6535637FDOQ6535637

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

Publication date: 1 February 2024

zbMATH Keywords

reinforcement learningcontroller synthesisformal verificationbarrier certificateLyapunov-like function

Mathematics Subject Classification ID

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

Cites Work

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535637)