Uniform Feasibility For Smoothed Backup Control Barrier Functions

1. 연구 배경 및 문제 정의 (Problem)

• 배경: 안전-중요 제어 (Safety-critical control) 분야에서 제어 장벽 함수 (Control Barrier Functions, CBF) 는 시스템이 안전 집합을 벗어나지 않도록 보장하는 안전 필터 (Safety Filter) 를 설계하는 데 널리 사용됩니다. 특히 백업 제어 장벽 함수 (Backup Control Barrier Functions, BCBF) 방법은 백업 컨트롤러를 사용하여 안전 집합을 구성하는 확장된 프레임워크입니다.
• 핵심 문제: BCBF 방법은 일반적으로 시간 인덱싱된 제약 조건의 점별 최소값 (pointwise minimum) 을 사용하여 안전 집합을 정의합니다. 이는 연속 미분 가능한 함수들의 최소값을 취하는 것이므로 비연속적 (nonsmooth) 인 특성을 가집니다.
• 도전 과제:
  1. 비연속적인 함수는 CBF 또는 확장 CBF (eCBF) 로서 인증하기 어렵습니다. 기존 역 안전 정리 (Converse Safety Theorems) 는 주로 연속 미분 가능한 함수를 가정합니다.
  2. 기존의 BCBF 기반 방법들은 실행 가능성 (Feasibility, 즉 안전 제약 조건을 만족하는 제어 입력이 존재함) 을 보장하기 위해 종종 임의적인 가정 (ad hoc assumptions) 이나 온라인 인증 (online certification) 에 의존합니다. 이는 시스템의 체계적인 배포를 제한합니다.
  3. 안전 집합이 비압축적 (unbounded) 인 경우나 백업 집합이 복잡할 경우, 안전 필터의 제약 조건이 실행 불가능해질 수 있습니다.

2. 제안된 방법론 (Methodology)

저자들은 비연속적인 최소값 함수를 소프트 - 최소 (Soft-min, log-sum-exp) 함수로 대체하여 매끄러운 (smooth) 근사화를 수행하고, 이에 대한 실행 가능성 보장을 제공합니다.

• 소프트 - 최소 (Soft-min) 스무딩:
  • 비연속적인 $\hat{h}(x) = \min_i h_i(x)$를 다음과 같은 매끄러운 함수 $\tilde{h}_\theta(x)$로 대체합니다.
    $$\tilde{h}_\theta(x) \triangleq -\frac{1}{\theta} \log \left( \sum_{i=1}^N e^{-\theta h_i(x)} \right)$$
  • 여기서 $\theta > 0$는 스무딩 파라미터입니다. $\theta \to \infty$일 때 원래 최소값 함수에 수렴합니다.
• 역 안전 정리 (Converse Safety Theorems) 활용:
  • 압축 집합 (Compact Sets) 인 경우: 엄격한 안전 조건 (Strict Safety) 하에서, 충분히 큰 $\theta$에 대해 스무딩된 함수가 CBF 가 됨을 증명합니다.
  • 비압축 집합 (Non-compact Sets) 인 경우: "꼬리 조건 (Tail conditions)"을 도입하여, 무한대 영역에서도 스무딩된 함수가 확장 CBF (eCBF) 조건을 균일하게 만족함을 보입니다.
• BCBF 프레임워크 적용:
  • 백업 컨트롤러 하에서 백업 집합 ($S_b$) 의 안전성과, 안전 집합의 경계에서 백업 궤적이 안전을 유지하는 조건을 결합하여, 스무딩된 BCBF 가 CBF 로서 유효함을 증명합니다.

3. 주요 기여 (Key Contributions)

1. 균일한 실행 가능성 보장 (Uniform Feasibility Guarantees):

   • 스무딩 파라미터 $\theta$에 대한 명시적인 하한 ($\theta^*$) 을 유도했습니다. 이 $\theta^*$보다 큰 값을 선택하면, 스무딩된 함수가 CBF(또는 eCBF) 가 되어 안전 제약 조건이 항상 실행 가능함을 보장합니다.
   • 이는 사전 (a priori) 에 보장되며, 추가적인 온라인 최적화나 인증이 필요하지 않습니다.

2. 압축 및 비압축 집합에 대한 일반화:

   • 압축 집합: 엄격한 안전성과 MFCQ(Managarian-Fromovitz Constraint Qualification) 조건 하에서 CBF 조건을 만족하는 $\theta^*$를 도출했습니다.
   • 비압축 집합: 활성 제약과 비활성 제약 간의 간격이 무한대로 발산하거나 특정 조건을 만족하는 "꼬리 조건"을 제시하여, 비압축 집합에서도 eCBF 조건이 균일하게 성립함을 보였습니다.

3. BCBF 에 대한 새로운 충분 조건:

   • 기존 문헌 (예: [17]) 이 요구했던 전역적인 압축성 (Global Compactness) 가정을 완화했습니다.
   • 백업 집합 ($S_b$) 의 안전성과, 안전 집합의 경계에서 백업 궤적이 안전을 유지한다는 조건만으로도 BCBF 의 실행 가능성을 인증할 수 있음을 보였습니다.

4. 실용적인 설계 레시피:

   • 시스템 데이터 (Lyapunov 함수, 벡터장 등) 를 기반으로 $\theta^*$와 CBF 조건을 만족하는 클래스-K 함수 ($\alpha$) 의 하한을 오프라인에서 계산할 수 있는 구체적인 절차를 제시했습니다.

4. 주요 결과 (Results)

• 이론적 증명:

  • 정리 3 (Theorem 3): 압축 집합의 경우, $\theta > \theta^*$이면 스무딩된 함수 $\tilde{h}_\theta$는 CBF 가 됩니다. 여기서 $\theta^*$는 집합의 크기, 리 미분 (Lie derivative) 의 상한/하한, 그리고 제약 간격에 의해 결정됩니다.
  • 정리 4 (Theorem 4): 비압축 집합의 경우, 특정 꼬리 조건 하에서 $\theta > \theta^*$이면 $\tilde{h}_\theta$는 eCBF 가 됩니다.
  • 코롤러리 1 (Corollary 1): BCBF 설정에서 백업 집합이 압축적이고 백업 컨트롤러가 엄격하게 안전하다면, 위에서 유도된 조건들이 BCBF 에 적용 가능함을 보였습니다.

• 수치 예제 (Double Integrator):

  • 2 차 이중 적분기 시스템에서 제안된 방법을 적용했습니다.
  • 비교: 기존 비연속 BCBF 는 $\gamma$ (안전 강도 파라미터) 를 임의로 선택했을 때, 특정 구간에서 제약 조건이 실행 불가능 (infeasible) 해지는 현상이 발생했습니다.
  • 제안 방법: 계산된 $\theta^*$를 사용하여 스무딩된 BCBF 를 적용한 결과, 모든 $\gamma$ 값에 대해 항상 실행 가능 (feasible) 임이 확인되었습니다. 이는 제안된 사전 인증 레시피가 효과적임을 입증합니다.

5. 의의 및 중요성 (Significance)

• 실용성 증대: BCBF 기반 안전 필터의 설계 시, 실행 가능성에 대한 불확실성을 제거하고 체계적인 파라미터 선택 ($\theta$) 을 가능하게 합니다.
• 온라인 부하 감소: 기존 방법처럼 매번 온라인으로 실행 가능한 부분 집합을 찾거나 추가적인 인증을 수행할 필요가 없어, 실시간 제어 시스템의 부하를 줄입니다.
• 이론적 확장: 비연속적인 안전 집합을 다루는 CBF 이론을 매끄러운 함수로 확장하여, 역 안전 정리 (Converse Safety Theorems) 를 BCBF 에 효과적으로 적용할 수 있는 길을 열었습니다.
• 유연성: 안전 집합이 비압축적일 수 있는 실제 시스템 (예: 무한한 공간에서의 로봇 제어) 에도 적용 가능한 eCBF 기반의 일반화된 해법을 제공합니다.

결론적으로, 이 논문은 비연속적인 BCBF 의 비연속성을 매끄러운 근사화 (Soft-min) 로 해결하고, 이를 통해 안전 필터의 실행 가능성을 사전에 보장하는 강력한 이론적 틀과 실용적인 설계 가이드를 제시했습니다.