这篇论文给城市里的机器人安全跑动提了个新框架，把危险分析和实时监控串起来了，不是靠单个模块硬扛。
该论文提出一个统一框架，将系统危险分析与运行时执行通过危险知情合成包络衔接起来。框架采用跨层安全转换过程，覆盖符号、空间和动态世界模型，而不是把安全限制在单个软件模块内。研究者展示了该表示如何与物理AI运行时环境交互，从而在城市移动场景中保证安全性。
Ensuring Safe Physical AI in Urban Mobility via Hazard-Informed Synthesized Envelopes
As heterogeneous robotic systems deploy across diverse urban zones, maintaining safety amid complex human-robot interactions remains a critical challenge. We present a unified framework that bridges systematic hazard analysis and runtime enforcement using hazard-informed safety envelopes. Rather than treating safety as a static constraint isolated within individual software modules, we introduce a cross-layer safety transformation process spanning symbolic, spatial, and dynamic world models. We show how this representation naturally interfaces with physical AI runtime harnesses to guarantee safe urban mobility.