[논문 리뷰] Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold

Oswin So, Andrew Clark외 1명|arXiv (Cornell University)|2023. 12. 05.

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 $를 증명하지 못함으로써 귀납 단계가 무효화됨.
• 확산 과정의 척도 및 속도 측도를 사용하여 제1통과 시간을 분석하고, 경계에 흠수될 확률이 1이 되는 조건을 규명한다.
• 스케일 함수와 펠러 시험을 기반으로 한 새로운 증명 기법을 사용하여 확률적 RCBF의 거의확실한 안전성을 재유도한다.
• 확산 계수 대 대비 확산 계수의 비율의 渐近적 행동을 분석하여, 이 비율이 상태가 경계에 가까워질수록 충분히 빠르게 발산하면 거의확실한 안전성이 확보됨을 보여주는 수정된 ZCBF 조건을 수립한다.
• 펠러 시험을 사용하여 과정이 유한 시간 내에 경계에 도달할 확률이 양수인지 여부를 판단함으로써, 거의확실한 안전성의 조건을 특성화한다.

실험 결과

연구 질문

• RQ1 원래 논문 [5, Theorem 3]에서 제시된 확률적 ZCBF의 거의확실한 안전성 보장 조건 하에서 그 정리가 성립하는가?
• RQ2 원래 증명에서 사용된 귀납적 증명 기법의 결함은 무엇인가?
• RQ3 ZCBF에 사용된 잘못된 증명 기법에도 불구하고, 확률적 역수 장벽함수(RCBF)는 여전히 거의확실한 안전성을 보장할 수 있는가?
• RQ4 확산 계수에 대한 조건은 무엇이어야 확률적 제어 시스템에서 거의확실한 안전성을 보장하는가?
• RQ5 거의확실한 안전성 보장을 복원하는 수정된 ZCBF 조건이 존재하는가? 그 수학적 근거는 무엇인가?

주요 결과

• 원래 논문 [5, Theorem 3]에서 제시한 확률적 ZCBF의 거의확실한 안전성 보장은 제어되지 않은 브라운 운동을 이용한 반례로 인해 무효함을 입증함.
• 원래 증명은 정지 시간의 수열이 $[0, \infty)$를 덮는다고 가정했지만, $ \lim_{i\to\infty} \eta_i = \infty $를 증명하지 못함으로써 귀납 단계가 무효화됨.
• 확률적 RCBF의 경우, 동일한 증명 기법은 실패하지만, 스케일 함수와 펠러 시험을 기반으로 한 새로운 증명 기법을 통해 RCBF가 거의확실한 안전성을 보장함을 확인함.
• 상태가 경계에 가까워질수록 확산 계수 대 대비 확산 계수의 비율이 충분히 빠르게 발산하도록 요구하는 수정된 ZCBF 조건을 도출함으로써 거의확실한 안전성을 보장함.
• 거의확실한 안전성의 핵심 요소는 확산 계수 대 대비 확산 계수 비율의 발산 속도이다: 비율이 충분히 빠르게 증가하면 과정은 거의확실하게 위험 영역을 피함.
• 확산 계수 대 대비 확산 계수 비율이 느리게 발산하거나 유계일 경우, 과정은 유한 시간 내에 경계에 도달할 확률이 양수이며, 이는 거의확실한 안전성을 무효화함.