Safe Control of Feedback-Interconnected Systems via Singular Perturbations

1. 문제 정의 (Problem Statement)

현대 제어 시스템은 다양한 물리적 영역 (예: 로봇의 전기/기계 부) 이나 물리적 플랜트와 최적화 알고리즘 간의 피드백 상호 연결로 인해 복잡해지고 있습니다. 이러한 시스템은 종종 서로 다른 시간 척도 (timescale) 에서 진화하는 하위 시스템들로 구성됩니다.

• 주요 과제: 안전 제어의 핵심 도구인 제어 장벽 함수 (Control Barrier Functions, CBF) 는 비선형 시스템의 안전성 (안전 집합의 순방향 불변성) 을 보장하는 데 강력하지만, 전체 시스템의 차원이 높거나 상호 연결된 동역학이 복잡할 경우 CBF 를 직접 설계하는 것이 매우 어렵거나 불가능합니다.
• 현황: 기존 연구들은 축소된 차원의 모델 (Reduced-order model) 에 대해 안전성을 설계하고 이를 전체 시스템으로 확장하려는 시도를 해왔으나, 피드백 루프가 포함된 일반적인 상호 연결 시스템에 대해 형식적인 (formal) 안전성 보장을 제공하는 체계적인 프레임워크는 부재했습니다.

2. 방법론 (Methodology)

저자들은 단일 섭동 (Singular Perturbation) 이론을 안전 제어에 적용하여, 축소된 모델에서 설계된 안전 인증서 (Safety Certificate) 를 전체 피드백 상호 연결 시스템으로 "리프팅 (Lifting)"하는 형식적인 절차를 개발했습니다.

• 시스템 모델링:

  • 느린 상태 (Slow state, $x$): 안전 제약 조건이 정의된 주요 상태 변수.
  • 빠른 상태 (Fast state, $z$): $x$보다 훨씬 빠른 시간 척도 ($\epsilon \dot{z} = g(\cdot)$) 로 진화하는 상태 변수.
  • 전체 시스템은 느린 동역학과 빠른 동역학이 피드백으로 연결된 형태를 가집니다.

• 핵심 가정:

  1. 안전 정의: 안전 집합은 오직 느린 상태 $x$에 대해서만 정의됩니다 ($S = \{(x, z) | x \in S_x\}$).
  2. 평형 함수 존재: 빠른 시스템은 주어진 $x$와 입력 $u$에 대해 평형 함수 $z_{eq}(x, u)$를 가지며, 이는 빠르게 수렴합니다.
  3. 축소 모델 안전성: 평형 상태 ($z = z_{eq}$) 에 있는 축소된 모델에 대해 이미 안전 CBF ($h(x)$) 와 제어기 ($\pi(x)$) 가 설계되어 있다고 가정합니다.
  4. 경계층 안정성: 빠른 상태의 오차가 평형점에서 지수적으로 수렴하는 경계층 시스템 (Boundary Layer System) 이 안정적입니다.

• 제안된 접근법 (Composite CBF):

  • 전체 시스템의 안전성을 보장하기 위해 복합 CBF (Composite CBF) 함수 $V(x, z)$를 구성합니다:
    $$V(x, z) := h(x) - U(z - z_{eq}(x, \pi(x)))$$
  • 여기서 $h(x)$는 축소 모델의 안전 장벽 함수이고, $U(\cdot)$는 빠른 상태의 오차에 대한 리아푸노프 함수 (Lyapunov function) 입니다.
  • 시간 척도 분리 (Timescale Separation): $\epsilon$이 충분히 작을 때 (즉, 빠른 동역학이 느린 동역학보다 훨씬 빠를 때), 빠른 상태는 거의 즉시 평형점에 도달하므로, 축소 모델의 안전성이 전체 시스템으로 유지됨을 증명합니다.

3. 주요 기여 (Key Contributions)

1. 형식적 안전성 보장 프레임워크: 피드백 상호 연결 시스템에 대해, 축소된 모델의 안전성을 전체 시스템으로 확장하는 최초의 형식적인 이론적 틀을 제시했습니다.
2. 복합 CBF 구성: 느린 상태의 안전 함수와 빠른 상태의 안정성 함수를 결합하여 전체 시스템의 순방향 불변 집합을 구성하는 방법을 제안했습니다.
3. 계산 효율성: 온라인 안전 필터 (Safety Filter) 를 고차원의 전체 시스템이 아닌, 저차원의 축소 모델에 대해서만 해결하면 되므로 계산 부하를 크게 줄였습니다.
4. 제한 조건 완화: 엄격한 캐스케이드 구조 (strict cascade structure) 나 역기반 피드백 법칙 (inversion-based feedback laws) 과 같은 제한적인 구조적 가정을 요구하지 않습니다.

4. 실험 결과 (Results)

논문은 두 가지 시나리오에 대해 수치 시뮬레이션을 통해 제안된 방법의 유효성을 검증했습니다.

1. 관절 모터가 있는 로봇 매니퓰레이터:

   • 상황: 기계적 동역학 (느린 상태) 과 전기적 모터 동역학 (빠른 상태) 이 상호 연결된 2 자유도 로봇 팔.
   • 결과: 축소된 기계 모델에 대해 CBF 를 설계했습니다. 시뮬레이션 결과, 시간 척도 분리 파라미터 $\epsilon$이 임계값보다 작을 때 로봇은 안전 집합을 유지했습니다. 반면, $\epsilon$이 너무 커지면 (시간 척도 분리가 불충분할 때) 안전 제약 위반이 발생했습니다.

2. 하위 최적 안전 제어 (Suboptimal Safe Control):

   • 상황: 물리적 플랜트 (느린 상태) 와 안전 제약을 포함하는 최적화 알고리즘 (빠른 상태) 의 상호 연결.
   • 결과: 최적화 알고리즘이 실시간으로 안전 입력을 계산하는 과정에서, 알고리즘의 수렴 속도 ($\epsilon$) 가 충분히 빠를 때만 안전성이 보장됨을 확인했습니다. 이는 최적화 기반 제어에서 안전 필터의 계산 지연이나 수렴 속도가 안전성에 미치는 영향을 정량적으로 분석한 사례입니다.

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

• 실용적 가치: 복잡한 현대 제어 시스템 (로봇, 자율주행, 스마트 그리드 등) 에서 안전성 설계의 복잡성을 줄여줍니다. 시스템 전체를 모델링할 필요 없이, 핵심 물리적 동역학 (축소 모델) 에만 초점을 맞춰 안전 제어기를 설계할 수 있게 합니다.
• 이론적 확장: 단일 섭동 이론이 안정성 분석을 넘어 안전 제어 (Safety Control) 영역에서도 강력한 도구로 활용될 수 있음을 입증했습니다.
• 미래 전망: 이 프레임워크는 다양한 다중 시간 척도 시스템을 가진 복잡한 제어 문제에서 안전성을 보장하는 표준적인 접근법으로 자리 잡을 가능성이 높으며, 특히 실시간 최적화 알고리즘과 물리적 시스템의 통합 제어에 중요한 기여를 할 것으로 기대됩니다.

요약하자면, 이 논문은 **"빠른 동역학이 충분히 빠르다면, 느린 동역학의 안전성을 전체 시스템의 안전성으로 보장할 수 있다"**는 직관을 수학적으로 엄밀하게 증명하고, 이를 통해 계산 효율성을 극대화하는 새로운 안전 제어 패러다임을 제시했습니다.