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

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

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

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)

Recommendations

• Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
• An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
• Learning safe neural network controllers with barrier certificates
• Learning safe neural network controllers with barrier certificates
• Fast and guaranteed safe controller synthesis for nonlinear vehicle models

Cites work

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

Cited in

(1)

• Probabilistic reach-avoid for Bayesian neural networks

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)