기술 요약: 호모토피 연속법을 통한 디커플링 특이점 통과 추적

1. 문제 정의

입력-출력 피드백 선형화(Input–output feedback linearization)는 잘 정의된 상대 차수(relative degree)를 가진 비선형 시스템을 위한 표준적인 추적 제어 기법이다. 그러나 이 방법은 디커플링 특이점(decoupling singularities), 즉 디커플링 행렬 $\Lambda(x)$가 계수를 잃는 지점($\det \Lambda(x) = 0$)에서 실패한다. 이러한 지점에서는 상대 차수가 상실되며, 선형화 제어 법칙 $u = \Lambda^{-1}(v - a)$가 무한대로 발산하게 되어, 스위칭 전략이나 근사법 없이는 궤적 추적이 일반적으로 불가능해진다.

DLS(damped least squares)와 같은 기존 방식들은 특이점 근처에서 유계성(boundedness)을 위해 추적 정확도를 희생하지만, 정상 영역에서 오차를 유발하며 특정 특이점을 통과할 수 있는지에 대한 엄밀한 기준을 제시하지 못한다. 다른 방법들은 사전에 계획된 궤적이나 특정 기계 시스템(예: Type-2 병렬 메커니즘)에 대한 동적 상호성 조건을 활용하지만, 임의의 정방(square) 제어-아핀 시스템에 적용 가능한 일반적이고 통합된 프레임워크를 제공하지는 못한다.

본 논문은 제어 노력이 유계된 상태에서 고립된 디커플링 특이점을 통과하는 참조 궤적 추적 문제를 다룬다. 이를 위해 케이스 분석이나 제어 법칙 간의 스위칭을 요구하지 않는다.

2. 방법론

제안된 방법은 궤적 추적 문제를 **실시간 호모토피 연속법(real-time arc-length homotopy continuation)**으로 재구성한다. 디커플링 행렬 $\Lambda(x)$를 직접 역행렬로 계산하는 대신, 제어기는 추적 문제를 하나의 매개변수 가족(one-parameter family) 방정식에 포함시키고, 상태 속도와 호모토피 매개변수를 동시에 해결한다.

핵심 메커니즘

1. 확장된 자코비안(Augmented Jacobian): 이 방법은 디커플링 행렬 $\Lambda(x)$를 확장된 행렬 $A = [\Lambda(x) \mid b]$로 대체한다. 여기서 $b$는 호모토피 방향 벡터 $b(t) = h(x_0) - y^*(t)$(앵커 상태와 참조값 사이의 차이)로 정의된다.
2. 최소 노름 해(Least-Norm Solution): 제어 입력 $u$와 호모토피 매개변수의 변화율 $\dot{\mu}$는 다음 선형 시스템의 최소 노름(Moore–Penrose) 해로 계산된다:
   $$A \begin{bmatrix} u \\ \dot{\mu} \end{bmatrix} = -B$$
   여기서 $B$는 드리프트 및 참조 추적 오차 항을 나타낸다.
3. 횡단성 조건(Transversality Condition): 이 방법은 횡단성 조건 $w^T b \neq 0$에 의존한다. 여기서 $w$는 $\Lambda(x)$의 좌영 공간(left null space)에 있는 벡터이다. 이 조건은 호모토피 방향 $b$가 제어 불가능한 모드(uncontrollable mode)를 따라 0이 아닌 성분을 갖도록 보장하여, $\Lambda(x)$의 계수가 하나 감소하더라도 확장된 행렬 $A$가 완전 행 계수(full row rank)를 유지할 수 있게 한다.
4. 방향성 및 동작: 제어기는 스칼라 이득 $k$와 잠금 오차(locking error) $e = t - \mu$를 포함한다. 특이점(특히 휘트니 폴드, Whitney fold)에서의 동작은 커널 벡터 $\hat{n}$의 방향에 의해 결정된다:
   • 반사(Reflection, $\rho \geq 0$): 제어기는 호모토피 매개변수를 단조적으로 유지한다. 폴드(fold) 지점에서 상태는 특이 집합을 따라 "미끄러지며(slide)" 들어온 브랜치로 다시 반사된다. 이것이 기본적이고 안정적인 동작이다.
   • 교차(Crossing, Continuity): 제어기는 해 곡선의 연속적인 접선 방향을 유지한다. 이를 통해 상태가 특이점을 가로질러 반대편 브랜치로 넘어갈 수 있게 하지만, 이 과정에서 일시적인 과도 현상(transient)과 매개변수 잠금의 일시적 상실이 발생할 수 있다.

확장

• 동적 시스템(Dynamic Systems): 동적 제어-아핀 시스템의 경우, 방법론을 디커플링 행렬 $\Lambda(x) = Dh(x)g(x)$에 직접 적용할 수 있다. 전체 상태의 유계성은 시스템이 최소 위상(minimum phase)(내부 영 동역학이 안정적임)인 경우 보장된다.
• 임의의 상대 차수: 상대 차수가 $r > 1$인 시스템의 경우, **필터링된 오차 감소(filtered-error reduction)**를 사용한다. 필터링된 추적 오차 $\sigma$를 정의하여 시스템이 상대 차수 1인 것처럼 보이게 함으로써 동일한 확장 전략을 적용할 수 있다.

3. 주요 기여

본 논문은 다섯 가지 주요 이론적 및 실무적 기여를 한다:

1. 커널 구조 정리(Kernel Structure Lemma): 확장이 계수 저하를 어떻게 복구하는지에 대한 엄밀한 특성을 규명한다. 횡단성 조건이 충족되면 확장된 행렬 $A$가 완전 계수를 유지하지만, "피드백 권한"(호모토피 매개변수에 대응하는 커널 벡터의 성분)이 특이점에서 정확히 0으로 붕괴됨을 증명한다.
2. 유계 교차 정리(Bounded Crossing Theorem): 횡단성 조건 하에서 제어 입력이 유계되고, 교차 중에도 추적 오차가 유계되며(특이점 근처에 머무는 시간에 비례하는 과도적 편차와 함께), 교차 후 시스템이 지수적으로 **재잠금(re-lock)**됨을 증rei 증명한다.
3. 반사 vs 교차 이분법(Reflection vs. Crossing Dichotomy): 일반적인 폴드에서의 동작을 해결한다. 커널의 방향 선택이 시스템을 반사(미끄러져 돌아옴)하게 할지 또는 교차(다른 브랜치로 통과)하게 할지를 결정함을 증명한다. 반사 케이스는 필리포프 슬라이딩 모드(Filippov sliding mode)로 나타나며, 교차는 폴드 커버의 $Z/2$ 모노드로미(monodromy)를 통과하는 것에 해당함을 밝힌다.
4. 고차 상대 차수로의 일반화: 필터링된 오차 감소를 통해 임의의 상대 차수를 가진 시스템으로 확장하며, 이러한 시스템에서도 유계성 및 재잠금 특성이 유지됨을 증명한다.
5. 피드백 선형화와의 일관성: 특이점에서 벗어난 영역에서 본 제어기가 $O(1/k)$ 오차 항을 제외하면 정확한 입출력 피드백 선형화와 동일함을 증명하여, 정상 작동 영역에서의 정확도 손실이 없음을 보장한다.

4. 시뮬레이션 결과 및 검증

이론은 네 가지 서로 다른 시스템에 대한 수치 시뮬레이션을 통해 검증되었다:

• 스칼라 큐빅 시스템(Scalar Cubic System): 큐빅 출력 맵을 가진 단순 1-DOF 시스템이다. 제어기는 두 개의 디커플링 특이점을 휩쓸고 지나가는 참조 궤적을 성공적으로 추적하며, 나이브한 역행렬 방식이 $10^4$ 배까지 발산하는 곳에서도 유계된 제어를 유지한다.
• 2-DOF 평면 로봇 팔: 팔이 완전히 펴지는(기구학적 특이점) 원형 궤적을 추적한다.
  • 반사(Reflection) 방향 설정 시, 팔은 특이점에 도달하여 경계를 따라 미끄러진 후 돌아오며, 관절 속도는 나이브한 속도 요구량($\sim 10^7$ rad/s)에 비해 매우 낮은 수준($<3$ rad/s)으로 유계된다.
  • 교차(Crossing) 방향 설정 시, 팔은 엘보우 구성(elbow configuration, $q_2$가 양수에서 음수로 변함)을 성공적으로 변경하며, 이 과정에서 더 큰 과도 현상이 발생한다.
• 동적 상대 차수 1 및 2 플랜트: 동적 시스템 시뮬레이션을 통해, 최소 위상 가정을 바탕으로 내부 상태를 안정적으로 유지하면서 제어 특이점을 처리함을 확인하였다. 제어기는 피드백 선형화가 발산하는 상황에서도 유계된 노력으로 특이점을 통과한다.
• 듀얼 액티브 브리지(DAB) 직렬 공진 컨버터: 정상 상태 특성을 출력 맵으로 취급하는 전력 전자 응용 사례이다. 제어기는 두 가지 특이점을 처리한다:
  • 벅/부스트 폴드(Buck/Boost Fold): 변조 파라미터가 모드 전환을 통과하는 횡단적 교차이다.
  • 공진 특이점(Resonance Singularity): 전력 이득이 최대화되는 공진 주파수에서의 반사이다. 제어기는 공진 피크에서 자연스럽게 반사되어, 제로 전압 스위칭(ZVS)을 보존하고 나이브한 역행렬 방식이 요구하는 무한한 주파수 명령을 방지한다.

5. 의의 및 주장

본 논문은 **피드백 선형화의 특이점 강인한 확장(singularity-robust extension)**을 제공한다고 주장한다. 그 의의는 다음과 같다:

• 통합 프레임워크: 정상 추적과 특이점 통과 모두에 작동하는 단일 공식을 제공하여, 스위칭 로직이나 케이스별 분석의 필요성을 제거한다.
• 정확도 손실 없는 유계성: 정확도를 희생하여 유계성을 얻는 DLS와 달리, 이 방법은 정상 영역에서는 정확하며(최대 $O(1/k)$ 오차) 특이점에서만 유계된 과도 현상을 도입한다.
• 기하학적 통찰: 특이점 교차에 필요한 기하학적 조건(횡단성)을 명확히 하고, 매개변수 잠금 유지와 솔루션 브랜치 변경 사이의 트레이드오프를 명시한다.
• 실용적 적용 가능성: 단순 기구학 모델부터 복잡한 전력 전자 컨버터에 이르기까지 다양한 시스템에 적용 가능함을 보여주며, 방향 선택에 따라 "교차"와 "반사" 시나리오를 모두 다룰 수 있음을 입증한다.

저자들은 이 방법이 구조적 특성 측면에서 제어 가능한 시스템의 클래스를 확장하는 것은 아니라고 겸허히 밝힌다(여전히 잘 정의된 상대 차수와 최소 위상 영 동역학이 필요함). 대신, 이 방법은 주어진 시스템의 **허용 운전 영역(admissible operating envelope)**을 확장하여, 그렇지 않으면 제어 발산을 초래했을 궤적을 통과할 수 있게 한다. 결론적으로, 이 방법은 존재하지 않는 제어 가능성을 만들어낼 수는 없지만, 제거 가능한 특이점에 대해 우아하고 유계된 실패 모드를 제공한다.