基于可达性的DS运动策略安全证书

2026年10月1日，arXiv cs.RO 报道了一项研究，提出基于后向可达管的值函数，为动力系统（DS）运动策略提供安全证书，用于度量标称 DS 轨迹的最坏情况安全性。该方法利用学习自示范场景中无控制输入使可达性问题退化为确定性 rollout，并借助稳定性条件将无限时域截断为有限时域，从而得到良定义的值函数。目前该工作处于论文发布阶段，尚无后续实验或应用进展的报道。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。