本文提出一个统一框架,用“风险知情安全包络”(hazard-informed safety envelopes)将系统化危险分析与运行时强制机制衔接起来,以应对城市多样化区域中异构机器人系统与人-机器人交互带来的安全挑战。(待核实:框架的具体实现效果与实证结果需查看全文。)
值得关注:它把安全问题从“单个软件模块内的静态约束”提升为跨符号、空间、动态世界模型的系统级问题,尝试弥合系统安全分析与AI运行时保障之间的鸿沟。 若该框架成立,可能为城市物理AI的安全论证提供统一语言:离线识别危险,在线用安全…