Generalizations of Backup Control Barrier Functions: Expansion and Adaptation for Input-Bounded Safety-Critical Control

논문 요약: 입력 제한이 있는 비선형 시스템의 안전성 보장을 위한 백업 제어 장벽 함수 (bCBF) 의 일반화

1. 문제 제기 (Problem Statement)

• 배경: 현대 자율 시스템의 안전성 보장은 실제 배포에 필수적입니다. 제어 장벽 함수 (Control Barrier Functions, CBF) 는 안전 집합의 순방향 불변성 (forward invariance) 을 강제하여 안전성을 보장하는 강력한 도구로 널리 사용됩니다.
• 핵심 과제: 입력 제한 (input bounds) 이 있는 비선형 시스템의 경우, 안전 집합 내에서 실행 가능한 안전 제어 입력이 항상 존재함을 검증하는 것이 매우 어렵습니다.
• 기존 방법의 한계: 백업 제어 장벽 함수 (Backup CBF, bCBF) 는 사전 검증된 백업 제어기를 사용하여 백업 집합을 확장함으로써 더 넓은 안전 영역을 확보하는 방법을 제시했습니다. 그러나 기존 bCBF 방법은 집합 확장 (set expansion) 과 안전성 인증 (safety certification) 에 동일한 백업 제어기를 사용해야 한다는 제약이 있습니다.
  • 이로 인해 백업 제어기가 입력 제한 내에서 안정성을 유지하기 위해 과도하게 보수적으로 설계될 경우, 확장된 안전 집합의 크기가 제한되어 시스템 성능이 저하될 수 있습니다.

2. 제안된 방법론 (Methodology)

저자들은 백업 제어기의 역할을 두 가지로 분리하여 bCBF 프레임워크를 일반화했습니다.

• 제안된 프레임워크 (Generalized bCBF):

  1. 백업 제어기 (Backup Controller, $k_b$): 백업 집합 ($C_B$) 의 불변성을 보장하고 안전성을 인증하는 역할을 수행합니다.
  2. 확장 제어기 (Expanding Controller, $k_e$): 백업 집합을 더 넓은 영역으로 확장하는 역할을 수행합니다. 이 제어기는 반드시 $C_B$의 불변성을 보장할 필요는 없으며, 시스템이 $C_B$로 도달할 수 있도록 더 공격적으로 설계될 수 있습니다.
  3. 스위칭 제어기 (Switching Controller, $k_s$): 두 제어기를 매끄럽게 연결하기 위해 스위칭 함수 $\eta(x)$를 사용하여 $k_s = (1-\eta)k_e + \eta k_b$ 형태의 제어기를 구성합니다. 여기서 $x$가 백업 집합 내부일 때는 $k_b$를, 외부일 때는 $k_e$를 주로 사용하도록 설계합니다.

• 수학적 기반:

  • 확장된 안전 집합 ($C_I^*$) 은 스위칭 제어기 하에서의 시스템 궤적이 시간 구간 $[0, T]$ 동안 안전 집합 ($C_S$) 내에 머무르고, 시간 $T$에 백업 집합 ($C_B$) 에 도달하는 상태로 정의됩니다.
  • 순방향 불변성 조건 유도: 확장된 집합 $C_I^*$에 대한 순방향 불변성을 보장하기 위한 조건을 유도하고, 이를 이차 계획법 (Quadratic Program, QP) 으로 변환하여 실시간 안전 제어 신호를 생성합니다.

• 적응형 확장 (Adaptive Set Expansion):

  • 확장 제어기의 매개변수 ($\theta$) 를 온라인으로 적응 (adaptation) 시키는 프레임워크를 추가로 제안했습니다.
  • 최적 제어 문제의 비용 함수 (백업 집합 내부로 더 깊이 도달하는 것) 를 기반으로 매개변수 $\theta$를 경사 상승 (gradient ascent) 방향으로 업데이트하여, 시스템이 목표 지점에 더 잘 도달하도록 확장 능력을 동적으로 향상시킵니다.

3. 주요 기여 (Key Contributions)

1. bCBF 프레임워크의 일반화: 집합 확장 제어기와 백업 제어기를 해체 (decoupling) 하여, 백업 집합의 불변성을 인증하는 제어기와 확장 제어기를 분리했습니다. 이를 통해 더 넓은 범위의 확장 전략을 적용하면서도 형식적인 안전성 보장을 유지합니다.
2. 일반화된 암시적 안전 집합의 불변성 증명: 분리된 제어기를 사용하여 생성된 새로운 암시적 안전 집합 ($C_I^*$) 이 제어 불변 (controlled invariant) 임을 증명하고, 이에 대한 순방향 불변성 조건을 도출했습니다.
3. 온라인 적응형 확장 프레임워크: 매개변수화된 제어기 군을 확장하여, 안전성 보장을 유지하면서 확장 제어기를 온라인으로 적응시킬 수 있는 방법을 제시했습니다.
4. 기존 방법과의 통합: 기존 bCBF 방법은 제안된 일반화 방법의 특수한 경우 (확장 제어기와 백업 제어기가 동일한 경우) 로 복원됨을 보였습니다.

4. 실험 결과 (Results)

논문은 두 가지 사례 연구를 통해 제안된 방법의 유효성을 입증했습니다.

• 사례 연구 1: 더블 적분기 (Double Integrator)

  • 입력 제한이 있는 2 차원 시스템에서 기존 bCBF 와 일반화 bCBF 를 비교했습니다.
  • 기존 방법은 백업 제어기의 이득 제한으로 인해 확장된 안전 집합 ($C_I$) 이 작게 유지되었습니다.
  • 반면, 제안된 방법 ($C_I^*$) 은 백업 제어기와 확장 제어기를 분리하여 더 큰 이득을 가진 확장 제어기를 사용할 수 있게 함으로써, 백업 집합을 훨씬 더 크게 확장하고 보수적인 안전 영역을 줄였습니다.

• 사례 연구 2: 쿼드콥터 착륙 (Quadrotor Landing)

  • 좁은 착륙 구역과 벽을 피하면서 목표 지점에 착륙해야 하는 쿼드콥터 시나리오를 시뮬레이션했습니다.
  • 기존 bCBF: 백업 제어기의 보수적인 이득 제한으로 인해 목표 지점에 도달하지 못했습니다.
  • 일반화 bCBF (GB-QP): 확장 제어기를 분리하여 더 넓은 영역으로 확장했으나, 여전히 목표 도달에는 한계가 있었습니다.
  • 적응형 일반화 bCBF (aGB-QP): 매개변수 적응 알고리즘을 적용하여 백업 제어기의 이득을 실시간으로 조정했습니다. 그 결과, 확장된 안전 집합을 통해 쿼드콥터가 목표 지점에 성공적으로 도달할 수 있었습니다.
  • 모든 방법에서 입력 제한을 준수하면서도 안전성이 보장됨을 확인했습니다.

5. 의의 및 결론 (Significance & Conclusion)

• 성능과 안전성의 트레이드오프 해소: 기존 bCBF 의 주요 약점이었던 "보수적인 백업 제어기로 인한 안전 집합 축소" 문제를 해결했습니다. 확장 제어기를 자유롭게 설계할 수 있게 되어 시스템의 성능 (목표 도달성, 민첩성 등) 을 크게 향상시키면서도 형식적인 안전성 보장은 유지됩니다.
• 유연한 제어 설계: 다양한 확장 전략 (최적 제어, 시간 최적 제어 등) 을 백업 메커니즘에 통합할 수 있는 유연성을 제공합니다.
• 실시간 적응: 복잡한 환경에서 시스템의 상태나 목표에 따라 확장 능력을 동적으로 조정할 수 있어, 실제 자율 시스템 배포에 매우 유용한 프레임워크를 제시했습니다.

이 논문은 입력 제한이 있는 비선형 시스템의 안전 제어 분야에서, 안전성 보장과 성능 최적화를 동시에 달성하기 위한 중요한 이론적, 실용적 진전을 이루었습니다.