32.18 트위스트(Twist) 표현과 자코비안의 관계

트위스트(twist)는 강체의 순간 운동을 선속도와 각속도의 6차원 결합 벡터로 표현한 수학적 객체이며, 스크류 이론과 리 군 SE(3)의 리 대수 \mathfrak{se}(3)의 원소로 해석된다. 자코비안은 이러한 트위스트를 관절 속도로부터 매핑하는 행렬이며, 열 벡터 각각은 해당 관절의 관절 스크류에 대응한다. 따라서 트위스트와 자코비안은 서로 독립적인 개념이 아니라 동일한 기구학적 사실을 서로 다른 수학적 측면에서 바라본 표현이며, 스크류 이론은 이 두 객체를 통일적 언어로 연결한다. 본 절에서는 트위스트의 수학적 정의, 기하학적 자코비안 및 스크류 자코비안과의 관계, 트위스트의 좌표계 변환, 자코비안 전치를 통한 렌치(wrench)와의 쌍대성, 그리고 응용을 학술적으로 다룬다.

1. 트위스트의 학술적 정의

3차원 공간에서 강체의 순간 운동은 기준점 O의 선속도 \vec{v}_O \in \mathbb{R}^3와 강체의 각속도 \vec{\omega} \in \mathbb{R}^3의 쌍으로 완전히 기술된다. 이 두 벡터를 수직 결합한 6차원 벡터가 트위스트이다.

\mathcal{V} = \begin{bmatrix} \vec{\omega} \\ \vec{v}_O \end{bmatrix} \in \mathbb{R}^6

(일부 교재에서는 선속도를 상단에 배치하는 반대 규약을 사용하므로 문맥에 따른 규약 확인이 필요하다.)

트위스트는 다음과 같은 4 \times 4 반대칭 행렬로도 표현된다.

[\mathcal{V}] = \begin{bmatrix} [\vec{\omega}]_\times & \vec{v}_O \\ \vec{0}^\top & 0 \end{bmatrix} \in \mathfrak{se}(3)

여기서 [\vec{\omega}]_\times는 각속도 벡터의 반대칭 행렬이며, [\mathcal{V}]는 특수 유클리드 군 SE(3)의 리 대수 \mathfrak{se}(3)의 원소이다. 이 행렬 표현은 동차 변환 \mathbf{T}(t) \in SE(3)의 시간 미분과 다음 관계를 가진다.

\dot{\mathbf{T}}(t) \, \mathbf{T}^{-1}(t) = [\mathcal{V}^s](t)

여기서 \mathcal{V}^s는 공간 좌표계에서 표현된 공간 트위스트이다. 물체 좌표계 표현의 물체 트위스트 \mathcal{V}^b는 \mathbf{T}^{-1} \dot{\mathbf{T}} = [\mathcal{V}^b]의 관계로 정의된다.

32.18.2 자코비안과 트위스트의 선형 사상 관계

직렬 매니퓰레이터의 속도 기구학에서 엔드 이펙터의 트위스트는 관절 속도와 자코비안의 곱으로 표현된다. 공간 자코비안과 물체 자코비안의 형태에 따라 다음의 관계가 성립한다.

\mathcal{V}^s = \mathbf{J}_s(\vec{q}) \, \dot{\vec{q}}, \qquad \mathcal{V}^b = \mathbf{J}_b(\vec{q}) \, \dot{\vec{q}}

여기서 \mathbf{J}_s, \mathbf{J}_b \in \mathbb{R}^{6 \times n}은 각각 공간 자코비안과 물체 자코비안이다. 이 선형 사상에서 자코비안은 관절 속도 공간(운동학적 리 대수 \mathbb{R}^n)으로부터 트위스트 공간(\mathfrak{se}(3) \cong \mathbb{R}^6)으로의 선형 사상 계수 행렬의 역할을 한다.

2. 자코비안의 열 벡터와 관절 스크류

자코비안의 각 열 벡터는 해당 관절의 관절 스크류(joint screw)의 특정 좌표 표현으로 해석된다. 공간 자코비안의 i번째 열 \vec{J}_{s,i}는 영 구성에서 표현된 관절 스크류 \mathcal{S}_i가 관절 i 이전의 관절 운동에 의해 변환된 트위스트이다.

\vec{J}_{s,i}(\vec{q}) = [\text{Ad}_{e^{[\mathcal{S}_1] q_1} \cdots e^{[\mathcal{S}_{i-1}] q_{i-1}}}] \, \mathcal{S}_i

물체 자코비안의 i번째 열 \vec{J}_{b,i}는 물체 좌표계에서 표현된 관절 스크류 \mathcal{B}_i가 관절 i 이후의 관절 운동의 역으로 변환된 트위스트이다.

\vec{J}_{b,i}(\vec{q}) = [\text{Ad}_{e^{-[\mathcal{B}_n] q_n} \cdots e^{-[\mathcal{B}_{i+1}] q_{i+1}}}] \, \mathcal{B}_i

이러한 표현은 자코비안의 각 열이 트위스트 공간 \mathfrak{se}(3)의 원소임을 명시적으로 보여준다. 관절 속도 \dot{q}_i가 스칼라이고 해당 관절 스크류가 6차원 트위스트이므로, 두 값의 곱은 관절 i의 단독 동작이 엔드 이펙터에 만드는 순간 트위스트가 된다.

3. 트위스트의 좌표계 변환과 수반 사상

트위스트는 기준 좌표계의 선택에 의존한다. 좌표계 \{A\}에서 \{B\}로의 동차 변환을 {}^B\mathbf{T}_A = ({}^B\mathbf{R}_A, {}^B\vec{p}_A)라 할 때, 트위스트의 좌표계 변환은 수반 사상(adjoint map)에 의해 다음과 같이 수행된다.

{}^B\mathcal{V} = [\text{Ad}_{{}^B\mathbf{T}_A}] \, {}^A\mathcal{V}

여기서 수반 사상 [\text{Ad}_\mathbf{T}]는 \mathcal{V} = [\vec{\omega}^\top, \vec{v}^\top]^\top 규약에서 다음과 같이 정의된다.

[\text{Ad}_\mathbf{T}] = \begin{bmatrix} \mathbf{R} & \mathbf{0} \\ [\vec{p}]_\times \mathbf{R} & \mathbf{R} \end{bmatrix} \in \mathbb{R}^{6 \times 6}

이 6 \times 6 블록 삼각 행렬의 중요한 성질은 병진 오프셋 \vec{p}가 각속도를 선속도 블록으로 섞는 교차 결합 항을 만들어낸다는 점이다. 단순한 회전 행렬 적용과 달리 수반 변환은 선속도와 각속도의 결합 변환을 수행한다.

공간 자코비안과 물체 자코비안은 엔드 이펙터의 동차 변환 \mathbf{T}(\vec{q})의 수반 변환에 의해 직접 연결된다.

\mathbf{J}_s(\vec{q}) = [\text{Ad}_{\mathbf{T}(\vec{q})}] \, \mathbf{J}_b(\vec{q}), \qquad \mathbf{J}_b(\vec{q}) = [\text{Ad}_{\mathbf{T}^{-1}(\vec{q})}] \, \mathbf{J}_s(\vec{q})

이러한 수반 변환 관계는 두 자코비안의 대수적 동치성을 명확히 나타낸다.

32.18.5 트위스트와 렌치의 쌍대성

트위스트가 강체의 순간 운동을 기술하는 반면, 렌치(wrench)는 강체에 작용하는 일반화된 힘을 기술한다. 렌치는 선형 힘 \vec{f} \in \mathbb{R}^3와 모멘트 \vec{m} \in \mathbb{R}^3의 결합 벡터이다.

\mathcal{F} = \begin{bmatrix} \vec{m} \\ \vec{f} \end{bmatrix} \in \mathbb{R}^6

(트위스트 규약과 일관되게 모멘트를 상단에 배치한다. 이는 SE(3) 리 대수의 쌍대 공간 \mathfrak{se}^*(3)의 관습적 표현이다.)

트위스트와 렌치 사이의 내적은 순간 동력(instantaneous power)을 제공한다.

P = \mathcal{F}^\top \mathcal{V} = \vec{m} \cdot \vec{\omega} + \vec{f} \cdot \vec{v}

이 쌍대 관계는 가상 일(virtual work)의 원리와 결합하여 자코비안의 힘 사상을 도출한다. 엔드 이펙터에 작용하는 렌치 \mathcal{F}와 관절 토크 \vec{\tau} \in \mathbb{R}^n 사이에는 다음의 자코비안 전치 관계가 성립한다.

\vec{\tau} = \mathbf{J}^\top(\vec{q}) \, \mathcal{F}

이 관계는 공간 자코비안과 공간 좌표계 렌치, 또는 물체 자코비안과 물체 좌표계 렌치의 쌍을 이용할 때 성립한다. 트위스트와 렌치의 쌍대성은 속도 사상과 힘 사상을 통일된 스크류 이론적 틀로 엮어낸다.

4. 트위스트의 스크류 분해

비영 트위스트 \mathcal{V} = [\vec{\omega}^\top, \vec{v}^\top]^\top는 스크류 축, 크기, 피치의 세 원소로 분해될 수 있다. 이는 샤를 정리(Chasles’ theorem)의 순간 운동 형태이다.

각속도가 영이 아닌 경우 (\vec{\omega} \neq \vec{0}):

• 스크류 축의 방향: \hat{\omega} = \vec{\omega} / \|\vec{\omega}\|.
• 크기: \dot{\theta} = \|\vec{\omega}\|.
• 피치: h = (\vec{\omega} \cdot \vec{v}) / \|\vec{\omega}\|^2.
• 스크류 축 위의 기준점: 트위스트에 의해 결정되는 축 위의 특정 점.

각속도가 영인 경우 (\vec{\omega} = \vec{0}, 순수 병진):

• 스크류 축의 방향: \hat{v} = \vec{v} / \|\vec{v}\|.
• 크기: \dot{\theta} = \|\vec{v}\|.
• 피치: h = \infty (순수 병진의 관습적 표기).

이러한 분해는 강체의 순간 운동을 단일 나선 축 주위의 나선 운동으로 기술하는 기하학적 표현을 제공하며, 로봇의 엔드 이펙터 운동의 시각적·기하학적 해석에 유용하다.

5. 순기구학으로서의 트위스트 적분

트위스트의 지수 사상은 동차 변환을 생성한다.

e^{[\mathcal{V}] t} = \exp\left(\begin{bmatrix} [\vec{\omega}]_\times t & \vec{v} t \\ \vec{0}^\top & 0 \end{bmatrix}\right) \in SE(3)

이 지수 사상은 닫힌 형식으로 계산 가능하며, \vec{\omega} = \vec{0} 또는 \vec{\omega} \neq \vec{0}의 두 경우에 따라 다른 공식을 가진다. 제품 지수 공식에서 관절 운동은 이러한 트위스트 지수 사상의 연쇄로 표현되며, 이는 순기구학의 기본 수식이 된다.

트위스트와 지수 사상의 결합은 리 군-리 대수 구조를 통한 순기구학의 매끄러운(closed-form) 표현을 가능하게 하며, 스크류 기반 자코비안 계산의 이론적 기초를 제공한다.

32.18.8 트위스트 규약의 차이와 자코비안

트위스트의 좌표 표현 규약은 교재와 응용 분야에 따라 다양하다.

[\vec{\omega}^\top, \vec{v}^\top]^\top 규약: 각속도를 상단에 배치. Lynch와 Park의 Modern Robotics, Murray, Li, Sastry의 A Mathematical Introduction to Robotic Manipulation 등에서 채택.

[\vec{v}^\top, \vec{\omega}^\top]^\top 규약: 선속도를 상단에 배치. Featherstone의 Rigid Body Dynamics Algorithms, 일부 동역학 문헌에서 채택.

두 규약에 따라 수반 사상의 행렬 형태가 약간 달라지므로 문맥별 확인이 필요하다. 예를 들어 [\vec{v}^\top, \vec{\omega}^\top]^\top 규약에서는 수반 사상이

[\text{Ad}_\mathbf{T}] = \begin{bmatrix} \mathbf{R} & [\vec{p}]_\times \mathbf{R} \\ \mathbf{0} & \mathbf{R} \end{bmatrix}

의 형태를 가진다. 기하학적 내용은 동일하나 성분 배치만 다르므로, 규약 전환 시 블록 위치의 일관성을 확인해야 한다.

6. 응용: 속도 제어와 임피던스 제어

트위스트 기반 자코비안 표현은 다음과 같은 제어 응용에서 유용하다.

6.1 작업 공간 속도 제어

엔드 이펙터의 목표 트위스트 \mathcal{V}_d가 주어질 때, 역속도 기구학을 통해 관절 속도 명령을 계산한다.

\dot{\vec{q}}_{\text{cmd}} = \mathbf{J}^+(\vec{q}) \, \mathcal{V}_d

물체 자코비안을 사용하면 엔드 이펙터 기준 좌표계에서 직관적인 속도 지령이 가능하다.

32.18.9.2 임피던스 제어

원하는 임피던스 관계 \mathcal{F} = \mathbf{M} \dot{\mathcal{V}} + \mathbf{D} \mathcal{V} + \mathbf{K} \mathcal{X}_e를 실현하기 위해 트위스트와 렌치의 관계를 활용한다. 여기서 \mathcal{X}_e는 엔드 이펙터의 위치·자세 오차이다. 이러한 제어 설계는 자코비안 전치를 통한 힘 사상에 기초한다.

32.18.9.3 순응 제어

접촉 작업에서 엔드 이펙터의 특정 방향에 대해 힘을 제어하고 다른 방향에 대해 속도를 제어하는 하이브리드 제어는 트위스트와 렌치의 블록 분해를 전제로 설계된다.

32.18.9.4 스크류 기반 경로 계획

엔드 이펙터의 경로가 스크류 보간(screw interpolation)으로 설계될 때, 트위스트 표현은 직접적 수학 도구가 된다. 두 자세 사이의 스크류 보간은 SE(3)에서의 측지선(geodesic)을 제공한다.

32.18.10 학술적 의의

본 절에서 정립한 트위스트 표현과 자코비안의 관계는 로봇 공학에서 다음의 학술적 의의를 가진다. 첫째, 트위스트는 강체의 순간 운동을 \mathfrak{se}(3)의 원소로 통일 표현하며, 자코비안은 관절 속도로부터 이 트위스트로의 선형 사상 계수가 된다. 둘째, 공간 자코비안과 물체 자코비안의 각 열은 관절 스크류의 좌표 표현으로 해석되며, 이는 자코비안의 기하학적 투명성을 제공한다. 셋째, 수반 사상 [\text{Ad}_\mathbf{T}]을 매개로 한 트위스트와 자코비안의 좌표계 변환은 기구학 해석의 통일된 수학적 도구이다. 넷째, 트위스트와 렌치의 쌍대성은 속도 사상과 힘 사상을 결합하며, 자코비안 전치를 통한 힘 제어 설계의 토대가 된다. 다섯째, 트위스트의 스크류 분해는 엔드 이펙터 운동의 기하학적 시각화를 제공한다. 여섯째, 트위스트 적분을 통한 순기구학 표현은 제품 지수 공식의 이론적 근거를 이루며, 리 군 기반 현대 로봇 공학의 공통 언어이다.

출처

• Ball, R. S., A Treatise on the Theory of Screws, Cambridge University Press, 1900.
• Brockett, R. W., “Robotic manipulators and the product of exponentials formula”, Mathematical Theory of Networks and Systems, Springer, pp. 120–129, 1984.
• Murray, R. M., Li, Z., and Sastry, S. S., A Mathematical Introduction to Robotic Manipulation, CRC Press, 1994.
• Lynch, K. M. and Park, F. C., Modern Robotics: Mechanics, Planning, and Control, Cambridge University Press, 2017.
• Featherstone, R., Rigid Body Dynamics Algorithms, Springer, 2008.
• Selig, J. M., Geometric Fundamentals of Robotics, 2nd edition, Springer, 2005.
• Park, F. C., Bobrow, J. E., and Ploen, S. R., “A Lie group formulation of robot dynamics”, International Journal of Robotics Research, Vol. 14, No. 6, pp. 609–618, 1995.
• Duffy, J., “The fallacy of modern hybrid control theory that is based on ‘orthogonal complements’ of twist and wrench spaces”, Journal of Robotic Systems, Vol. 7, No. 2, pp. 139–144, 1990.

버전

• 문서 버전: 1.1
• 작성일: 2026-04-19