arXiv cs.RO· Hongchao Zhang, Manan Tayal, Jackson Cox, Pushpak Jagtap, Shishir Kolathaya, Andrew Clark·· 2 小时前AI 评分46
随机神经控制屏障函数（SNCBF）的可验证安全合成方法
Stochastic Neural Control Barrier Functions
AI 导读
该研究提出随机神经控制屏障函数（SNCBF）的可验证安全合成方法，针对平滑激活函数与ReLU两种情形，分别给出免验证合成框架和验证在环合成框架。方法在倒立摆、Darboux和独轮车模型三个案例上完成验证。
来源：arXiv cs.RO · arxiv.org