[论文解读] Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold

Oswin So, Andrew Clark+1 more|arXiv (Cornell University)|Dec 5, 2023

Insurance, Mortality, Demography, Risk Management被引用 4

一句话总结

本文证明了2021年一篇广泛引用论文中声称的随机零控制屏障函数（ZCBF）的几乎必然安全保证是无效的，通过使用不受控的布朗运动构造反例予以说明。作者识别出原始证明中归纳论证的缺陷，并提出一种基于改进证明技术的修正ZCBF条件；同时证明了在适当的漂移-扩散率条件下，随机倒数屏障函数（RCBF）确实能提供几乎必然安全。

ABSTRACT

The 2021 paper "Control barrier functions for stochastic systems" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain why the proof is flawed. Although stochastic reciprocal barrier functions (RCBF) also uses the same proof technique, we provide a different proof technique that verifies that stochastic RCBFs are indeed safe with probability one. Using the RCBF, we derive a modified ZCBF condition that guarantees safety with probability one. Finally, we provide some discussion on the role of unbounded controls in the almost-sure safety guarantees of RCBFs, and show that the rate of divergence of the ratio of the drift and diffusion is the key for whether a system has almost sure safety guarantees.

研究动机与目标

• 挑战2021年一篇广泛引用论文中关于随机零控制屏障函数（ZCBF）的几乎必然安全保证的有效性。
• 识别并解释原始ZCBF安全定理中所用归纳证明技术的缺陷。
• 通过反例证明原始ZCBF条件无法确保不受控布朗运动的几乎必然安全。
• 使用修正后的证明技术重新证明随机倒数屏障函数（RCBF）的几乎必然安全。
• 通过分析漂移与扩散系数之比的发散速率，推导出一种修正后的ZCBF条件，以保证几乎必然安全。

提出的方法

• 构造一个使用不受控布朗运动与线性ZCBF $ h(x) = x $ 的反例，表明 $ \Pr(W_t \geq 0 \, \forall t \geq 0) \neq 1 $，与原始定理矛盾。
• 识别原始证明中的缺陷：错误地应用数学归纳法，假设停止时间序列覆盖 $[0, \infty)$，但未证明 $ \lim_{i\to\infty} \eta_i = \infty $。
• 利用扩散过程的尺度与速度测度分析首次通过时间，确定吸收在边界几乎必然发生的条件。
• 基于尺度函数与Feller爆炸检验法，采用新证明技术重新推导随机RCBF的几乎必然安全。
• 通过分析漂移系数与扩散系数之比的渐近行为，建立修正后的ZCBF条件，证明若该比值发散足够快，则几乎必然安全成立。
• 应用Feller爆炸检验法判断过程是否以正概率在有限时间内触及边界，从而刻画几乎必然安全的条件。

实验结果

研究问题

• RQ1 在[5, 定理3]中所陈述的条件下，随机ZCBF的几乎必然安全保证是否成立？
• RQ2 原始定理3的归纳证明技术中存在何种缺陷？
• RQ3 尽管ZCBF的证明技术存在缺陷，随机倒数屏障函数（RCBF）是否仍能保证几乎必然安全？
• RQ4 漂移与扩散系数需满足何种条件，才能确保随机控制系统的几乎必然安全？
• RQ5 是否存在一种修正后的ZCBF条件可恢复几乎必然安全保证？其数学基础为何？

主要发现

• [5, 定理3]中关于随机ZCBF的几乎必然安全保证是无效的，已通过不受控布朗运动的反例得到证实。
• 原始证明失败的原因在于其假设停止时间区间的并集覆盖 $[0, \infty)$，但未证明 $ \lim_{i\to\infty} \eta_i = \infty $，导致归纳步骤无效。
• 对于随机RCBF，原始证明技术同样失效，但基于尺度函数与Feller检验的新证明技术确认RCBF确实能保证几乎必然安全。
• 通过分析漂移与扩散系数之比的渐近行为，推导出一种修正后的ZCBF条件，要求该比值在状态趋近边界时发散足够快，以确保几乎必然安全。
• 几乎必然安全的关键因素是漂移-扩散比的发散速率：若该比值增长足够快，过程几乎必然避开不安全区域。
• 当漂移-扩散比发散缓慢或有界时，过程可能以正概率在有限时间内触及边界，从而破坏几乎必然安全。