用泊松方程和拉普拉斯场构建可感知风险的安全过滤器
Risk-Aware Safety Filters with Poisson Safety Functions and Laplace Guidance Fields
- 通过泊松方程生成安全函数,0超水平集表示安全区域
- 用拉普拉斯方程合成可调风险引导场,实现对障碍物的差异化避让
- 支持先验风险信息融合,适合高风险环境下的机器人导航
机器人在真实环境中导航需具备环境语义理解以判断安全动作。本文致力于建立此类表征的数学基础——开发具有风险感知能力的安全过滤器。方法分两步:首先通过求解泊松方程的狄利克雷问题,生成以0超水平集表示安全区域的安全函数;其次独立求解拉普拉斯方程的狄利克雷问题,合成可调节通量边界条件的引导场,以编码不同障碍物周围的谨慎程度。将两者结合形成安全约束,设计出风险感知的安全过滤器。该过滤器能基于环境语义及特征风险等级,保证安全性的同时优先规避高风险障碍。仿真验证了该方法的有效性,并讨论了如何将障碍物风险的先验知识直接融入过滤器以生成风险敏感的安全行为。
原文摘要 · Abstract (English)
Robotic systems navigating in real-world settings require a semantic understanding of their environment to properly determine safe actions. This work aims to develop the mathematical underpinnings of such a representation -- specifically, the goal is to develop safety filters that are risk-aware. To this end, we take a two step approach: encoding an understanding of the environment via Poisson's equation, and associated risk via Laplace guidance fields. That is, we first solve a Dirichlet problem for Poisson's equation to generate a safety function that encodes system safety as its 0-superlevel set. We then separately solve a Dirichlet problem for Laplace's equation to synthesize a safe \textit{guidance field} that encodes variable levels of caution around obstacles -- by enforcing a tunable flux boundary condition. The safety function and guidance fields are then combined to define a safety constraint and used to synthesize a risk-aware safety filter which, given a semantic understanding of an environment with associated risk levels of environmental features, guarantees safety while prioritizing avoidance of higher risk obstacles. We demonstrate this method in simulation and discuss how \textit{a priori} understandings of obstacle risk can be directly incorporated into the safety filter to generate safe behaviors that are risk-aware.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。