Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error

1. 문제 정의 (Problem Statement)

• 배경: 자율 시스템의 안전성 보장은 실제 적용에 필수적입니다. 제어 장벽 함수 (CBF) 는 안전 집합의 순방향 불변성 (Forward Invariance) 을 보장하는 강력한 도구이나, 기존 연구들은 대부분 **완벽한 상태 정보 (Perfect State Information)**를 가정합니다.
• 실제적 한계: 실제 시스템에서는 센서 노이즈로 인해 진정한 상태 (True State) 를 알 수 없으며, 측정된 출력 (Output) 을 기반으로 한 **상태 추정치 (Estimated State)**를 사용하여 제어합니다.
• 핵심 문제:
  1. 상태 추정 오차: 추정된 상태와 실제 상태의 불일치로 인해 안전성 조건이 위반될 수 있습니다.
  2. 입력 제약: 제어 입력이 물리적으로 제한되어 있을 때, 안전성을 보장하는 제어 입력이 항상 존재하는지 (Feasibility) 증명하기 어렵습니다.
  3. 기존 방법의 부족: 기존 백업 제어 장벽 함수 (bCBF) 는 입력 제약 하에서 안전성을 보장하지만, 상태 추정 오차로 인한 미래 상태 예측의 불확실성을 고려하지 않아 실제 시스템에서는 안전성을 보장하지 못할 수 있습니다.

2. 방법론 (Methodology)

저자들은 **불확실성 포락선 (Uncertainty Envelope)**을 중심으로 추정된 흐름 (Estimated Flow) 을 분석하여, 추정 상태의 안전성이 실제 상태의 안전성을 보장하도록 하는 두 가지 방법을 제시합니다.

2.1. 기본 가정 및 설정

• 시스템 모델: 비선형 제어 아핀 시스템과 노이즈가 포함된 측정 모델.
• 오차 경계 (Error-Bounded Estimator): 상태 추정 오차의 크기가 시간에 따라 알려진 함수로 경계 지어질 수 있다고 가정합니다 (예: 칼만 필터, 루엔버거 관측기 등).
• 백업 제어기 (Backup Controller): 백업 집합 (Backup Set, $C_B$) 내에서 순방향 불변성을 보장하는 제어기를 설계합니다. 이 제어기는 상태 피드백으로 설계되지만, 출력 피드백 환경에서도 안전성을 유지하도록 robust 하게 설계됩니다.

2.2. 제안된 두 가지 방법

방법 1: 오픈 - 루프 안전성 (Open-loop Safety)

• 개념: 추정된 상태에 대한 오픈 - 루프 (Open-loop) 백업 흐름을 시뮬레이션합니다. 즉, 추정된 상태 $\hat{x}$에서 시작하여 제어 입력을 적용하되, 관측기의 보정 항 (Correction term) 을 무시하고 미래 상태를 예측합니다.
• 불확실성 처리: 실제 흐름과 추정 흐름 사이의 편차 (Flow Deviation) 를 계산하여 **불확실성 튜브 (Uncertainty Tube)**를 생성합니다.
• 안전 집합 정의: 추정된 흐름이 이 튜브 내에서 안전 집합 ($C_S$) 에 머무르고, 백업 집합 ($C_B$) 에 도달할 수 있도록 **강화 항 (Tightening terms, $\epsilon_\tau, \epsilon_b$)**을 정의합니다.
• 장점: 계산이 비교적 간단하며, 선형 시스템이나 입력 맵이 상수인 시스템에서 효과적입니다.

방법 2: 클로즈드 - 루프 안전성 (Closed-loop Safety)

• 개념: 오픈 - 루프 추정 흐름과 실제 클로즈드 - 루프 (Closed-loop) 흐름 사이의 관계를 분석합니다.
• 불확실성 처리: 관측기의 보정 항이 포함된 동역학을 고려하여, 추정 흐름과 실제 흐름 사이의 편차에 대한 더 정교한 경계 (Bound) 를 유도합니다.
• 특징: 시스템이 수축 (Contraction) 성질을 가지거나 비선형성이 강할 때 오픈 - 루프 방법보다 더 보수적이지 않은 (Tighter) 경계를 제공할 수 있습니다.

2.3. 제어기 설계 (O-bCBF-QP)

• 제안된 조건들을 2 차 계획법 (Quadratic Program, QP) 형태의 안전 필터로 변환합니다.
• 주 제어기 ($k_p$) 와의 편차를 최소화하면서, 유도된 불변성 조건 (Invariance Conditions) 을 만족하는 제어 입력 $u$를 찾습니다.
• 재귀적 실행 가능성 (Recursive Feasibility): 백업 제어기 $k_b$가 항상 입력 제약 내에서 안전성을 보장하므로, QP 가 비 feasible 해지더라도 백업 제어기로 전환하여 안전성을 유지할 수 있음을 증명합니다.

3. 주요 기여 (Key Contributions)

1. 출력 피드백 백업 CBF (O-bCBF) 프레임워크 개발: 상태 추정 오차와 입력 제약이 동시에 존재하는 환경에서 안전성을 보장하는 최초의 체계적인 방법론 중 하나를 제시했습니다.
2. 불확실성 포락선을 통한 안전성 증명: 추정된 상태의 흐름을 기반으로 불확실성 튜브를 구성하고, 이 튜브의 안전성이 실제 상태의 안전성을 함의함을 수학적으로 증명했습니다.
3. 실행 가능성 (Feasibility) 보장: 입력 제약 하에서도 안전성을 보장하는 제어 입력이 항상 존재함을 증명하여, 제어기의 실패 (Infeasibility) 를 방지했습니다.
4. 두 가지 접근법 제시: 오픈 - 루프 기반 방법과 클로즈드 - 루프 기반 방법을 비교 제시하여, 시스템의 특성에 따라 적절한 방법을 선택할 수 있도록 했습니다.
5. 선형 시스템에 대한 구체적 설계: 선형 시스템의 경우 추정 오차와 흐름 편차에 대한 해석적 경계를 유도하고, 타원형 백업 집합을 위한 제어기 설계 조건을 제시했습니다.

4. 결과 (Results)

논문의 시뮬레이션 예시를 통해 제안된 방법의 유효성을 검증했습니다.

• Case Study 1: 더블 적분기 (Double Integrator)

  • 위치와 속도에 대한 노이즈가 있는 측정값을 사용하여 제어했습니다.
  • 제안된 O-bCBF 를 적용한 경우, 추정 오차로 인해 초기에는 불확실성 튜브가 크지만 시간이 지남에 따라 추정 오차가 감소함에 따라 튜브가 줄어들며 보수성이 완화되는 것을 확인했습니다.
  • 실제 상태가 항상 안전 집합 내에 머무르는 것을 확인했습니다.

• Case Study 2: 우주선 회전 (Spacecraft Rotation)

  • 강체 우주선의 각속도 제어 문제입니다.
  • 비교: 기존 bCBF 방법 (추정 상태를 실제 상태로 간주) 은 추정 오차로 인해 안전 집합을 벗어났습니다.
  • 제안 방법: O-bCBF 를 적용한 경우, 추정 오차를 고려한 불확실성 튜브를 통해 실제 각속도가 안전 집합 (최대 각속도 제한) 내에 머무르는 것을 확인했습니다.
  • 입력 제약 내에서 안전 제어 신호가 항상 존재함을 시뮬레이션으로 입증했습니다.

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

• 실제 적용 가능성: 이론적으로만 존재하던 "완벽한 상태 정보"라는 가정을 제거하고, 실제 센서 노이즈와 입력 한계가 있는 환경에서 안전 제어기를 설계할 수 있는 길을 열었습니다.
• 안전성 보장: 복잡한 비선형 시스템에서도 상태 추정 오차로 인한 안전성 위반을 방지할 수 있는 수학적 틀을 제공했습니다.
• 미래 연구 방향: 이 연구는 관측기 설계와 안전 제어의 통합을 촉진하며, 자율 주행, 로봇 공학, 항공 우주 등 안전이 극도로 중요한 분야에서 출력 피드백 제어의 신뢰성을 높이는 데 기여할 것입니다.

결론적으로, 이 논문은 불확실한 상태 정보와 제한된 제어 입력이라는 두 가지 현실적인 제약을 동시에 해결하여, 실제 환경에서 안전성이 보장된 자율 시스템 제어를 가능하게 하는 중요한 이론적, 실용적 기여를 했습니다.