AITOP
全部 AI 动态
AI 相关资讯全量信息流
全部博客资讯推文论文
全部模型产品行业论文技巧
标签：鲁棒控制×
6月16日
20:46
6月12日
12:57
6月11日
15:28
15:23
15:07
5月18日
10:37
10:37arXiv cs.LG@Yifan Zhang, Liang Zheng
精选
现实世界的控制系统常面临分段平稳环境，即动态长期稳定后突然发生模式切换。标准鲁棒强化学习方法面临两难：全局保守策略在稳定期性能浪费，而局部自适应策略在未检测到模式变化时可能导致灾难性失败。本文提出BAPR（贝叶斯遗忘分段鲁棒SAC），将贝叶斯在线变化检测（BOCD）与鲁棒集成强化学习统一。BAPR算子是一个γ-压缩映射，通过冻结信念分布加权模式条件贝尔曼算子的凸组合。论文通过Lean 4形式化验证了尖锐边界：当信念依赖于Q函数时，压缩因子变为γ+λΔ，且当γ+λΔ≥1时压缩失败。BOCD驱动自适应保守机制：检测到变化点后策略变得极度保守，随置信度增长平滑放松，检测延迟为O(log(1/δ))。
论文强化学习非平稳控制贝叶斯变化检测鲁棒控制Lean 4形式化验证
推荐理由：做非平稳控制或鲁棒强化学习的团队终于有了一个理论扎实且可验证的方案——BAPR在稳定期和变化期之间自动平衡保守性，Lean 4形式化验证保证了可靠性，值得研究RL安全性的开发者点开。
原文