多候选Simplex架构运行时安全域构建方法

2026年10月27日，arXiv Robotics 刊出 Georg Jäger 等作者的论文，提出多候选 Simplex 架构的运行时安全吸引域（RoA）认证方法。该研究针对既有方法的保守性问题，设计两阶段 RoA 认证流程：先用基于收缩的稳定性分析确定目标集，再用 Taylor 模型可达性分析，并将 HA 控制下的闭环系统视为切换系统，从而在运行时构建上下文相关的安全 RoA，并支持多个 HA 候选之间的安全切换。报道未提及该方法的适用对象、地域或收费安排。目前事件进展仅此一篇主报道，尚无跟进报道或相互矛盾的数字与说法。

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

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