arXiv cs.RO 机器人学· Tianyi Xia, Ryan K. Cosner·· 5 小时前精选AI 评分55
Reach-Avoid 证书用于接触式随机混杂系统的无限时域认证控制
Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems
AI 导读
论文提出针对接触式随机混杂系统的 reach-avoid 证书方法，在无限时域上保证目标在给定概率下先于不安全集被到达，其中连续流由随机微分方程描述、跳变重置由受控随机核决定，输入仅出现在重置核中。
推荐理由
论文把接触式随机混杂系统的 reach-avoid 证书推广到无限时域，并给出可迁移的线性规划求解加独立验证框架。
来源：arXiv cs.RO 机器人学 · arxiv.org