Constricting Tubes for Prescribed-Time Safe Control

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

• 배경: 위성 랑데부, 로봇의 목표 도달 등 임무 기한 내에 동적 시스템을 안전 집합 (Target Safe Set) 으로 유도해야 하는 시나리오는 timeliness (적시성) 와 safety (안전성) 가 모두 중요합니다.
• 기존 방법의 한계:
  • 해밀턴 - 자코비 (HJ) 도달성 분석: 수학적 보장을 제공하지만, 상태 공간의 PDE 를 풀어야 하므로 차원이 증가함에 따라 계산 복잡도가 기하급수적으로 증가하여 고차원 시스템에 적용 불가능합니다.
  • 기존 제어 장벽 함수 (CBF): 실시간 제어가 가능하지만, 초기 상태가 안전 집합 바깥에 있을 경우 점근적 (asymptotic) 으로만 수렴합니다.
  • 지정 시간 (Prescribed-time) 및 고정 시간 (Fixed-time) 제어: 기한 내 수렴을 보장하지만, 대부분 시간 $T$ 에 가까워질수록 제어 이득 (gain) 이 무한대로 발산하거나, 입력 제약 (input constraints) 하에서 제어 노력의 상한을 사전에 보장하기 어렵습니다.
• 핵심 문제: 입력 제약이 있는 비선형 시스템에서, 초기 상태가 목표 집합 바깥에 있을 때 지정된 기한 ($T$) 내에 안전 집합으로 회복하면서 **제어 입력이 유계 (bounded)**이고 실시간 계산이 가능한 제어기를 설계하는 것.

2. 제안된 방법론: 수축 튜브 프레임워크 (Methodology)

저자들은 수축 제어 장벽 함수 (Constricting Control Barrier Function, CBF) 프레임워크를 제안하여 지정 시간 회복 문제를 튜브의 순방향 불변성 (forward invariance) 문제로 변환했습니다.

A. 수축 CBF 및 튜브 정의

• 수축 CBF ($\tilde{h}$): 기존 CBF $h(x)$ 에 시간 의존적인 완화 변수 $r(x(0), t)$ 를 더하여 정의합니다.
  $$\tilde{h}(x, t) = h(x) + r(x(0), t)$$
• 수축 튜브 ($\tilde{C}(t)$): $\tilde{h}(x, t) \ge 0$ 를 만족하는 시간 의존적 집합입니다.
  • $t=0$: 초기 조건 $x(0)$ 를 포함하도록 $r$ 이 최대화됨 (안전 집합을 확장).
  • $t=T$: $r=0$ 이 되어 튜브가 목표 안전 집합 $C$ 로 수축됨.
• 수축 일정 (Constriction Schedule): $r(x(0), t)$ 는 설계자가 지정하며, $t=0$ 에서 $r_0$ (초기 위반 정도) 에서 시작해 $t=T$ 에서 0 으로 감소합니다. 선형, 지수, 다항식 등 다양한 형태를 선택할 수 있습니다.

B. 제어기 합성

• 시스템이 수축 튜브 $\tilde{C}(t)$ 내부에 머무르도록 하는 제어 입력 $u$ 를 찾습니다.
• 조건: 모든 $(x, t) \in \tilde{C}(t)$ 에 대해 다음 부등식을 만족하는 $u$ 가 존재해야 합니다.
  $$L_f h(x) + L_g h(x) u + \dot{r}(x(0), t) \ge -\gamma(\tilde{h}(x, t))$$
• 이는 매 시간 단계에서 단 하나의 아핀 (affine) 제약 조건을 갖는 2 차 계획법 (QP) 으로 해결됩니다. 상태 차원에 무관하게 제약 조건의 개수가 일정하므로 고차원 시스템에도 확장 가능합니다.

C. 입력 제약 하의 실현 가능성 분석 (Feasibility Analysis)

• 장벽 권한 (Barrier Authority, $\sigma(x)$): 제어 입력의 한계 ($u_{max}$) 내에서 $h(x)$ 를 증가시킬 수 있는 최대 속도를 정의합니다.
  $$\sigma(x) = \|L_g h(x)\| u_{max} + L_f h(x)$$
• 최소 회복 시간 ($T_{min}$): 수축 속도 $|\dot{r}|$ 이 시스템이 제공할 수 있는 최대 제어 능력 $\sigma_{min}$ 을 초과하지 않도록 보장해야 합니다.
  • 선형 수축 일정 ($r(t) = r_0(1-t/T)$) 의 경우, 실현 가능한 최소 기한은 다음과 같습니다.
    $$T_{min} = \frac{r_0}{\sigma_{min}}$$
  • 이 조건을 통해 설계 단계에서 기한 $T$ 가 실현 가능한지 검증할 수 있으며, 제어 입력이 발산하지 않도록 보장합니다.

3. 주요 기여 (Key Contributions)

1. 지정 시간 회복 보장: 설계자가 지정한 수축 튜브의 순방향 불변성을 통해 지정 시간 내 목표 집합 도달을 보장합니다.
2. 유계 제어 노력: 기존 지정 시간 방법들과 달리, 시간 $T$ 에 가까워질수록 제어 이득이 발산하지 않으며, 제어 입력이 사전에 정의된 상한을 유지합니다.
3. 실시간 실현 가능성 증명: 입력 제약 하에서 수렴을 보장하는 검증 가능한 조건 (Theorem 2) 을 도출했습니다. 이는 Lyapunov 분석이나 오프라인 계산을 필요로 하지 않습니다.
4. 확장성: 상태 차원에 무관한 단일 아핀 제약 조건을 사용하여, 그리드 기반 방법 (HJ reachability) 이 계산적으로 불가능한 고차원 시스템 (예: 16 차원) 에도 적용 가능합니다.
5. 고차수 시스템 대응: 상대 차수 (relative degree) 가 1 보다 큰 시스템 (예: HOCBF) 으로 자연스럽게 확장 가능함을 보였습니다.

4. 실험 결과 (Results)

논문은 세 가지 시나리오를 통해 프레임워크의 유효성을 검증했습니다.

1. 16 차원 다중 에이전트 시스템:

   • 8 개의 에이전트 (총 16 차원 상태) 를 하나의 공동 장벽 함수로 제어했습니다.
   • 결과: 제안된 방법은 기한 $T$ 내에 모든 에이전트를 안전 집합으로 유도했으며, 제어 노력 ($\|U\|$) 은 포화 한계보다 훨씬 낮은 수준 (약 3.66) 으로 유지되었습니다.
   • 비교: 기존 지정 시간 CLF 방법 [5] 은 기한 직전 제어 입력이 포화 상태 (약 28.28) 에 도달하며 고주파 진동을 보였습니다.

2. 이중 적분기 (Double Integrator) 및 HOCBF:

   • 상대 차수가 2 인 시스템에 적용하여 고차수 CBF(HOCBF) 확장성을 검증했습니다.
   • 결과: 느린 PD 제어기만으로는 기한 내에 목표에 도달할 수 없었으나, 수축 튜브 제약이 개입하여 지정 시간 내 목표 집합 내부로 진입시켰습니다.

3. 유니클 (Unicycle) 도달 - 회피 (Reach-Avoid) 계획:

   • 비선형 유니클이 장애물을 피하면서 기한 내에 목표 지점에 도달하도록 모델 예측 제어 (MPC) 와 통합했습니다.
   • 결과: 실시간으로 최적화 문제를 풀며 장애물을 우회하고, 기한 $T=20$s 에 목표 집합 내부에 정확히 진입했습니다.

5. 의의 및 결론 (Significance)

• 계산 효율성: HJ 도달성 분석의 차원의 저주를 피하면서도, CBF 기반의 실시간 최적화 제어를 통해 지정 시간 보장을 제공합니다.
• 실용성: 제어 입력의 발산을 방지하여 실제 하드웨어 (입력 제약이 있는 액추에이터) 에 적용 가능한 안전한 제어기를 제공합니다.
• 설계 유연성: 수축 일정 (schedule) 을 설계자가 조절하여 시스템의 제어 능력과 기한 사이의 균형을 맞출 수 있는 명확한 지표 ($T_{min}$) 를 제공합니다.

이 논문은 지정 시간 제어 분야에서 이론적 엄밀함과 계산적 실용성을 동시에 달성한 중요한 프레임워크를 제시합니다.