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

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

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

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)