多候选Simplex运行时构建安全吸引域

Georg Jäger等作者提出一种两阶段吸引域（RoA）认证流程：先用基于收缩的稳定性分析确定目标集，再用Taylor模型可达性分析验证，从而在运行时构建上下文相关的安全RoA，并支持高保障控制器候选间的安全切换。 作者在机器人路径跟踪任务上做了三级验证：常微分方程仿真、含未建模动态的高保真Gazebo仿真和实体硬件实验。作者称，Simplex架构在故障注入下保持安全，并成功屏蔽一个经行为克隆训练的高性能控制器；决策模块平均耗时0.028毫秒、最坏4.13毫秒，占控制周期不到10%。

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

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