Safety Filtering with an Infinite Number of Constraints

1. 문제 정의 (Problem Statement)

• 배경: 제어 장벽 함수 (Control Barrier Functions, CBF) 는 자율 시스템의 안전 제약 조건을 강제하는 데 널리 사용되는 강력한 프레임워크입니다. 기존 CBF 이론은 유한한 수의 안전 제약 조건 ($h_i(x) \ge 0$) 에 대해 잘 정립되어 있습니다.
• 도전 과제: 그러나 백업 CBF (Backup CBFs), 강체 충돌 회피, 상태 불확실성 하의 안전성 보장 등 특정 응용 분야에서는 무한한 수의 제약 조건으로 정의된 안전 집합이 필요합니다. 예를 들어, 백업 제어기 하의 시스템 흐름 (flow) 을 따라가는 모든 시간 단계에서의 안전성을 보장해야 하는 경우입니다.
• 미해결 질문: 무한한 제약 조건을 가진 안전 집합에 대해 다음과 같은 근본적인 이론적 질문들이 답하지 않은 채 남아 있었습니다.
  1. 이러한 집합의 순방향 불변성 (forward invariance) 을 위한 필요충분 조건은 무엇인가?
  2. 이 집합과 관련된 CBF 의 정확한 정의는 무엇인가?
  3. 유도된 제어기의 정규성 (regularity, 예: 연속성) 은 어떻게 보장되는가?
  4. 무한한 제약 조건 집합을 유한한 집합으로 축소하여 실제 제어기 설계 (최적화 솔버 사용) 에 적용할 수 있는가?

2. 방법론 (Methodology)

논문은 CBF 이론을 무한 제약 조건 설정으로 확장하기 위해 다음과 같은 수학적 도구와 접근법을 사용했습니다.

• 시스템 모델: 비선형 제어 아핀 시스템 $\dot{x} = f(x) + g(x)u$를 고려하며, 안전 집합 $S$는 무한한 제약 조건 $h(\tau, x) \ge 0$ ($\forall \tau \in T$, 여기서 $T$는 컴팩트 집합) 으로 정의됩니다.
• 나구모 정리 (Nagumo's Theorem) 의 확장:
  • 단일 제약 조건의 경우, 나구모 정리는 집합 경계에서의 조건 ($\dot{h} \ge 0$) 과 불변성을 연결합니다.
  • 저자는 Assumption 1 (Well-posedness) 을 도입하여 무한 제약 조건에서도 경계가 '잘 정의됨 (well-posed)'함을 가정합니다. 즉, 경계점에서 모든 활성 제약 조건에 대해 상승 방향이 존재함을 의미합니다.
  • Lemma 1을 통해 경계에서 매끄러운 상승 방향 벡터장 ($\phi(x)$) 의 존재를 증명하여, 나구모 정리를 무한 제약 조건 설정으로 확장했습니다.
• 최적 감쇠 장벽 함수 (Optimal-Decay Barrier Function, OD-BF) 및 제어기 (OD-CBF):
  • 기존 CBF 조건이 충분조건일 뿐 필요조건이 아닐 수 있는 간극을 메우기 위해 OD-BF 개념을 도입했습니다. 이는 임의의 감쇠 함수 $\alpha$에 대해 $\dot{h} \ge -\theta(\tau, x)\alpha(h)$를 만족하는 함수 $\theta$가 존재함을 요구합니다.
  • 제어 시스템의 경우, OD-CBF를 정의하여 단일 최적 감쇠 변수 (OD variable, $\omega$) 를 사용하여 무한한 제약 조건을 하나의 최적화 문제로 통합했습니다.
• 최적화 기반 제어기 설계 및 정규성 보장:
  • 무한 제약 조건을 가진 최적화 문제 (29) 를 통해 제어기를 설계합니다.
  • Proposition 3 (Artstein's Theorem 확장) 과 Proposition 4를 통해, 제약 조건이 엄격하게 실현 가능 (strictly feasible) 할 경우, 최적화 기반 제어기가 연속 (continuous) 임을 증명했습니다. 이는 폐루프 시스템의 안정성 분석에 필수적입니다.
• 유한 축소 (Finite Reduction):
  • Proposition 5를 통해, 무한한 제약 조건 집합을 유한한 점들의 집합으로 근사할 수 있음을 보였습니다. 적절한 격자 (grid) 크기와 오차 한계를 설정하면, 유한한 제약 조건을 만족하는 제어기가 원래 무한한 제약 조건도 만족함을 보장합니다.

3. 주요 기여 (Key Contributions)

1. 무한 제약 조건 하의 불변성 조건 확립: 나구모 정리를 무한 제약 조건 설정으로 확장하여, 안전 집합의 순방향 불변성을 위한 필요충분 조건 (Theorem 1) 을 제시했습니다.
2. OD-CBF 이론의 정립: 무한 제약 조건에 적합한 최적 감쇠 제어 장벽 함수 (OD-CBF) 를 정의하고, 이 조건이 집합 불변성의 필요충분 조건임을 증명했습니다 (Proposition 1).
3. 제어기 연속성 및 실현 가능성 보장: 무한 제약 조건 하에서 최적화 기반 제어기가 연속임을 보장하는 조건을 제시하고, 이를 통해 폐루프 시스템의 안전성을 보장하는 이론적 근거를 마련했습니다 (Theorem 2, Corollary 2).
4. 실용적 설계 프레임워크 제공: 무한한 제약 조건을 유한한 제약 조건으로 축소하여 표준 최적화 솔버를 사용할 수 있도록 하는 방법론을 제시했습니다 (Proposition 5).

4. 결과 (Results)

• 이론적 결과: 제안된 조건 하에서 안전 집합 $S$가 순방향 불변임을 엄밀하게 증명했습니다. 특히, 제어기가 연속일 때조차도 (Lipschitz 조건이 완화된 경우) 안전성이 보장됨을 보였습니다.
• 시뮬레이션 (더블 적분기 예시):
  • 백업 CBF의 한계: 기존 백업 CBF 접근법 (46) 은 무한 제약 조건을 유한하게 이산화할 때, 확장된 클래스 K 함수 ($\alpha$) 의 계수를 고정해야 하므로 특정 상태 영역에서 최적화 문제가 비실현 가능 (infeasible) 해지는 문제가 발생했습니다. 이는 폐루프 동역학이 정의되지 않는 영역을 초래했습니다.
  • OD-CBF의 성과: 제안된 OD-CBF 접근법 (29) 은 $\alpha$ 함수의 계수를 제어기 변수 ($\omega$) 로 자동 결정하도록 하여, 모든 상태 영역에서 최적화 문제가 실현 가능해졌습니다. 시뮬레이션 결과, 제안된 제어기는 안전 집합 내 모든 상태에 대해 잘 정의된 폐루프 동역학을 생성하여 안전성을 유지했습니다.

5. 의의 (Significance)

• 이론적 완성도: CBF 이론의 가장 큰 공백 중 하나인 '무한한 제약 조건'에 대한 이론적 기반을 확립함으로써, 백업 CBF 및 기타 복잡한 안전 문제의 이론적 엄밀성을 높였습니다.
• 실용적 적용 가능성: 기존 백업 CBF 프레임워크의 주요 단점인 '비실현 가능성 (infeasibility)' 문제를 해결했습니다. OD-CBF를 통해 설계된 제어기는 실제 시스템에서 더 견고하게 작동하며, 안전 필터링의 신뢰성을 크게 향상시킵니다.
• 확장성: 본 논문에서 제시된 정규성 조건과 유한 축소 방법은 무한 제약 조건을 다루는 다른 안전-critical 제어 문제 (예: 충돌 회피, 불확실성 하의 제어) 에도 적용 가능한 일반적인 프레임워크를 제공합니다.

결론적으로, 이 논문은 무한한 수의 안전 제약 조건을 가진 시스템에 대해 엄밀한 이론적 틀을 제공하고, 이를 통해 기존 방법론의 한계를 극복하는 실용적인 제어기 설계 방법을 제시했다는 점에서 중요한 의의를 가집니다.