[논문 리뷰] A Generalized Matrix Inverse with Applications to Robotic Systems

Bo Zhang, Jeffrey Uhlmann|arXiv (Cornell University)|2018. 05. 07.

Robotic Mechanisms and Dynamics참고 문헌 16인용 수 5

한 줄 요약

이 논문은 상태 변수의 단위 스케일링이 임의로 변하더라도 성능을 유지하는 unit-consistent (UC) 일반화된 행렬 역행렬을 도입한다. 이는 Moore-Penrose 의사역행렬이 갖지 못하는 성질이다. UC 역행렬은 $(DAE)^{-U} = E^{-1}A^{-U}D^{-1}$ 라는 핵심 변환 규칙을 만족하여, 단위 선택과 관계없이 과소정의 및 과정정의 시스템에서 일관된 해를 보장한다. 이는 로봇 상태공간 모델에서 이론적 및 알고리즘적 검증을 통해 이루어졌다.

ABSTRACT

It is well-understood that the robustness of mechanical and robotic control systems depends critically on minimizing sensitivity to arbitrary application-specific details whenever possible. For example, if a system is defined and performs well in one particular Euclidean coordinate frame then it should be expected to perform identically if that coordinate frame is arbitrarily rotated or scaled. Similarly, the performance of the system should not be affected if its key parameters are all consistently defined in metric units or in imperial units. In this paper we show that a recently introduced generalized matrix inverse permits performance consistency to be rigorously guaranteed in control systems that require solutions to underdetermined and/or overdetermined systems of equations.

연구 동기 및 목표

• 로봇 시스템에 적용될 때 전통적인 일반화된 역행렬(예: Moore-Penrose 의사역행렬)의 단위 일관성 부족 문제를 해결하기 위해.
• 제어 시스템 성능이 상태 변수의 단위 변경(예: 미터법 대 영국법)에 영향을 받지 않도록 보장하기 위해.
• 단위 변화를 나타내는 대각 행렬 스케일링 변환 하에서 대수적 일관성을 유지하는 일반화된 역행렬을 개발하기 위해.
• 로봇 및 메카트로닉스 제어 시스템에서 Moore-Penrose 역행렬의 이론적으로 타당하고 계산적으로 실현 가능한 대안을 제공하기 위해.
• UC 역행렬이 텐서 곱과의 호환성과 다차원 로봇 상태공간 모델에서의 응용 가능성을 보여주기 위해.

제안 방법

• 단위 스케일링을 나타내는 대각 행렬 $D$ 및 $E$에 대해 $(DAE)^{-U} = E^{-1}A^{-U}D^{-1}$ 라는 변환 성질을 만족하는 새로운 일반화된 역행렬 $A^{-U}$ 를 제안한다.
• UC 역행렬이 일반화된 역행렬 성질을 유지할 수 있는 이론적 조건을 설정하며, 이는 $A A^{-U} A = A$ 및 $A^{-U} A A^{-U} = A^{-U}$ 를 포함한다.
• UC 역행렬이 텐서 곱과 일관됨을 증명한다: $(A_1 igotimes A_2)^{-U} = A_1^{-U} igotimes A_2^{-U}$ 로 하여 다차원 시스템에서의 확장성을 보장한다.
• 표준 의사역행렬 루틴을 사용하여 UC 역행렬을 계산할 수 있는 수치 알고리즘을 유도한다. 이는 로그 변환과 반복 균형 조정 기반이다.
• 행렬 원소의 재가중을 위해 부호 행렬 $S = \text{sign}(A)$, 절댓값 $|A|$, 로그 스케일링 $L = \log(|A|)$ 를 사용하여 $A$ 를 변환한 후 Moore-Penrose 역행렬을 적용한다.
• 단위 불일치를 보정하기 위해 이중 스케일링 벡터 $u$ 및 $v$ 를 반복적으로 보정하는 과정을 수행한 후 지수화 및 스케일링을 통해 UC 역행렬을 복원한다.

실험 결과

연구 질문

• RQ1 로봇 시스템에서 상태 변수의 단위 스케일링이 임의로 변하더라도 불변성을 유지하는 일반화된 행렬 역행렬을 구성할 수 있는가?
• RQ2 제안된 단위 일관성 있는 역행렬은 단위 변환의 맥락에서 Moore-Penrose 의사역행렬과 대수적·행동적으로 어떻게 다를까?
• RQ3 특이 또는 비정방형 시스템에서 UC 역행렬이 기본 일반화된 역행렬 성질을 유지하는 조건는 무엇인가?
• RQ4 UC 역행렬은 텐서 곱과 호환되는가? 이는 다차원 로봇 상태공간 모델에서의 응용 가능성을 의미하는가?
• RQ5 표준 선형 대수 도구를 사용하여 효율적이고 수치적으로 안정적인 UC 역행렬 계산 알고리즘을 설계할 수 있는가?

주요 결과

• 제안된 단위 일관성 있는 역행렬 $A^{-U}$ 는 $(DAE)^{-U} = E^{-1}A^{-U}D^{-1}$ 라는 변환 규칙을 만족하여 상태 변수의 임의의 단위 스케일링에 대해 불변성을 보장한다.
• UC 역행렬은 특이 또는 직사각형 행렬일지라도 핵심 일반화된 역행렬 성질 $A A^{-U} A = A$ 및 $A^{-U} A A^{-U} = A^{-U}$ 를 유지한다.
• UC 역행렬은 텐서 곱과 호환된다: $(A_1 igotimes A_2)^{-U} = A_1^{-U} igotimes A_2^{-U}$ 로 수학적 귀납법을 통해 증명되었으며, 행렬 원소에 대해 $\pm 1$ 곱의 제약 조건 하에서 검증되었다.
• Octave/Matlab 에서 구현된 효율적인 수치 알고리즘이 $A^{-U}$ 를 계산한다. 이는 $A$ 를 로그 스케일링으로 변환하고 반복 균형 조정을 적용한 후 변환된 행렬에 대해 $\text{pinv}$ 를 적용하여 역행렬을 복원한다.
• 알고리즘은 수렴 기준 $10^{-22}$ 내에서 해를 도출하여 수치적 안정성과 실용 가능성을 입증한다.
• 온도, 압력, 속도, 거리 등 다양한 물리적 단위가 혼합된 로봇 제어 시스템과 같은 단위 일관성이 요구되는 응용 분야에서 UC 역행렬은 Moore-Penrose 의사역행렬보다 뛰어난 성능을 보인다.