9.57 DH 규약의 한계와 대안적 기구학 표현

1. DH 규약의 한계

데나빗-하텐버그 규약은 매니퓰레이터 기구학의 표준이 되어 왔으나, 모든 상황에 적합한 만능 도구는 아니다. DH 규약은 특정 종류의 매니퓰레이터(직렬 연쇄, 잘 정의된 관절 축)에 최적화되어 있으며, 다음과 같은 한계를 가진다.

2. 한계 1: 평행 축의 모호성

2.1 문제

연속된 두 관절 축 z_{i-1}과 z_i가 평행한 경우, 두 축 사이의 공통 수선이 무한히 많이 존재한다. 따라서 x_i 축과 좌표계 \{i\}의 원점이 유일하게 결정되지 않으며, a_i와 d_i의 값이 임의로 선택될 수 있다.

2.2 결과

같은 매니퓰레이터에 대해 사람마다 다른 DH 매개변수가 산출될 수 있다. 매개변수의 비교와 표준화가 어려워진다. 또한 캘리브레이션 시에 매개변수 공간의 차원이 줄어들어 수치적 문제를 야기할 수 있다.

2.3 부분적 해결

관례적으로 d_i = 0이 되도록 x_i를 x_{i-1}의 직선 상에 선택하는 등의 추가 규칙을 적용할 수 있다. 그러나 이 규칙도 표준화되어 있지 않으므로 문서에 명시해야 한다.

3. 한계 2: 매개변수 변화의 비연속성

3.1 문제

매니퓰레이터의 기구가 미세하게 변화할 때(예: 관절 축의 작은 회전), DH 매개변수가 갑자기 큰 값으로 변할 수 있다. 이는 평행 축에서 약간 비스듬해지는 경우 공통 수선의 위치가 갑자기 결정되기 때문이다.

3.2 결과

캘리브레이션 알고리즘이 매개변수의 작은 변화를 안정적으로 추정하기 어렵다. 자코비안의 조건수가 악화되어 수치적 불안정성을 유발한다.

3.3 대안

비연속 거동을 피하기 위해 햐오스(Hayes), 슈프링(Spring), 다른 매개화를 사용하는 것이 권장된다. 이러한 매개화는 평행 축에서도 부드럽게 작동한다.

4. 한계 3: 분기 구조의 처리 어려움

4.1 문제

DH 규약은 직렬 연쇄에 최적화되어 있다. 가지 분기가 있는 매니퓰레이터(양팔 로봇, 인간형 로봇, 다중 손가락을 가진 그리퍼 등)에서 어느 가지를 따라 인덱싱할지가 모호하다.

4.2 결과

분기 구조의 매니퓰레이터를 DH 규약으로 기술하면 여러 개의 별도 연쇄로 분리해야 하며, 베이스 좌표계의 일관된 정의가 어렵다.

4.3 대안

URDF(Unified Robot Description Format) 형식이나 SDF(Simulation Description Format) 형식을 사용하면 트리 구조를 자연스럽게 표현할 수 있다. 이러한 형식에서는 각 링크와 관절을 독립적인 객체로 정의하고, 부모-자식 관계를 명시한다.

5. 한계 4: 폐쇄 운동학적 구조

5.1 문제

DH 규약은 개방형 연쇄(open chain)를 가정한다. 4-bar linkage, 델타 로봇, 스튜어트 플랫폼 등 폐쇄형 연쇄(closed kinematic chain)는 직접 표현하기 어렵다.

5.2 결과

폐쇄 연쇄의 운동학적 제약을 따로 처리해야 하며, 단일한 DH 표로는 매니퓰레이터의 모든 운동학을 기술할 수 없다.

5.3 대안

폐쇄 연쇄를 처리하는 데에는 좌표 절단(cut joint) 기법, 라그랑주 승수, 또는 폐쇄 연쇄 전용의 특수 기법(예: 델타 로봇의 비선형 방정식 해법)이 필요하다.

6. 한계 5: 변형 DH와의 비호환성

6.1 문제

표준 DH와 변형 DH의 두 가지 변형이 존재하며, 두 규약은 서로 호환되지 않는다. 매개변수의 인덱싱과 변환의 순서가 다르므로, 한 규약에서 작성된 매개변수를 다른 규약에서 직접 사용할 수 없다.

6.2 결과

서로 다른 라이브러리, 교재, 사양서가 다른 규약을 사용할 때 호환성 오류가 발생한다.

6.3 대안

규약을 명시적으로 표기하고 일관되게 사용한다. 또는 동차 변환 행렬 자체를 직접 정의하여 규약 의존성을 제거한다.

7. 한계 6: 짧은 링크와 미세 매개변수

7.1 문제

매니퓰레이터의 일부 링크가 매우 짧거나 두 관절 축이 거의 일치하는 경우, a_i와 d_i가 매우 작은 값이 된다. 부동 소수점 연산에서 이러한 작은 값은 수치 오차를 증폭시킨다.

7.2 결과

순기구학과 자코비안의 정확도가 떨어지며, 캘리브레이션이 어려워진다.

7.3 대안

스크류 이론(screw theory)이나 곱지수 공식(product of exponentials, POE)을 사용하면 작은 매개변수의 수치 문제가 완화된다.

8. 한계 7: 직관성 부족

8.1 문제

DH 매개변수는 기구학적 관계를 압축적으로 표현하지만, 그 의미가 직관적이지 않다. 사용자가 매니퓰레이터를 처음 볼 때 DH 매개변수만으로 그 형태를 짐작하기 어렵다.

8.2 대안

URDF, SDF, X3D 등의 형식은 각 링크의 형상과 위치를 명시적으로 기술하므로 더 직관적이다. 시각화 도구와의 호환성도 더 좋다.

9. 대안적 기구학 표현법

9.1 곱지수 공식 (Product of Exponentials, POE)

머리-리-사스트리(Murray-Li-Sastry, 1994)가 제시한 POE 공식은 매니퓰레이터의 순기구학을 다음과 같이 표현한다.

\mathbf{T}(\boldsymbol{\theta}) = \exp([\boldsymbol{\xi}_1]\theta_1)\exp([\boldsymbol{\xi}_2]\theta_2)\cdots\exp([\boldsymbol{\xi}_n]\theta_n)\mathbf{M}

여기서 \boldsymbol{\xi}_i는 i번째 관절의 스크류 축(트위스트 형태), \mathbf{M}은 모든 관절이 0일 때의 말단 장치 자세(home configuration)이다. POE 공식은 다음의 장점을 가진다.

• 매개변수가 직관적(스크류 축은 물리적 의미가 명확함)
• 평행 축이나 기타 특수한 경우의 모호성이 없음
• 좌표계 부착 규칙이 없으므로 사용자 의존성이 적음

9.2 URDF 형식

ROS의 URDF는 매니퓰레이터의 각 링크와 관절을 XML 형식으로 기술한다. 각 관절은 부모 링크와 자식 링크의 인덱스, 관절 유형, 운동 축, 한계 등의 정보를 가진다. URDF는 다음의 장점을 가진다.

• 분기 구조 자연스럽게 처리
• 시각화와 시뮬레이션 도구와의 호환성
• 디버깅과 수정의 편의

9.3 SDF (Simulation Description Format)

SDF는 Gazebo 시뮬레이터의 표준 형식이며, URDF의 확장이다. 더 풍부한 시뮬레이션 매개변수(센서, 동역학, 환경 등)를 지원한다.

9.4 SOLID/하야티 표기법

DH 규약의 한계를 보완하는 다른 표기법으로 햐야티(Hayati) 표기법이 있다. 평행 축의 모호성을 추가 매개변수로 해결한다. SOLID 등의 캘리브레이션 라이브러리에서 사용된다.

9.5 동차 변환 행렬의 직접 정의

DH 규약 없이 각 링크 사이의 동차 변환 행렬을 직접 정의하는 방법이다. 가장 일반적이지만 매개변수가 많아진다.

10. 대안 표현법의 비교

11. DH 규약이 여전히 사용되는 이유

위의 한계에도 불구하고 DH 규약이 여전히 광범위하게 사용되는 이유는 다음과 같다.

11.1 역사적 정착

1955년 도입 이후 70년 이상 사용되어 왔으며, 거의 모든 로봇 공학 교재가 DH 규약을 기초로 가르친다. 학술적 표준으로서의 위상이 강고하다.

11.2 매개변수의 최소성

4개의 매개변수만으로 인접 변환을 기술할 수 있다는 것은 메모리와 캘리브레이션 측면에서 효율적이다. 매개변수의 수가 적을수록 캘리브레이션 최적화의 차원이 작아진다.

11.3 알고리즘의 단순성

DH 매개변수를 입력으로 받는 알고리즘이 단순하고 표준화되어 있다. 순기구학, 자코비안, 동역학 알고리즘이 DH 형식에 최적화되어 있다.

11.4 산업 사양서의 호환성

많은 산업용 로봇 제조사가 DH 매개변수를 사양서에 포함하므로, DH 규약을 이해하는 것이 필수적이다.

12. 권장 사항

12.1 표준 매니퓰레이터

직렬 6자유도 산업용 매니퓰레이터에는 DH 규약이 적합하다. 광범위한 도구 지원과 표준화된 매개변수가 장점이다.

12.2 분기 구조나 폐쇄 연쇄

URDF 형식이나 POE 공식이 더 적합하다. 매개변수가 많아지지만 표현의 자연스러움이 그 비용을 보상한다.

12.3 캘리브레이션 정밀도가 중요한 경우

POE 공식이나 햐야티 표기법이 평행 축 등의 특수 케이스에서 더 안정적이다.

12.4 교육과 학습

DH 규약은 매니퓰레이터 기구학의 기본 개념을 이해하는 데 적합하다. 학생들이 처음 배우는 표현법이며, 다른 표현법의 비교 기준이 된다.

12.5 시뮬레이션과 통합 환경

URDF/SDF가 ROS 생태계와 자연스럽게 통합되며, 시각화와 시뮬레이션이 한 형식에서 처리된다.

13. 참고 문헌

• Denavit, J., & Hartenberg, R. S. (1955). “A Kinematic Notation for Lower-Pair Mechanisms Based on Matrices.” Journal of Applied Mechanics, 22, 215–221.
• Murray, R. M., Li, Z., & Sastry, S. S. (1994). A Mathematical Introduction to Robotic Manipulation. CRC Press.
• Lynch, K. M., & Park, F. C. (2017). Modern Robotics: Mechanics, Planning, and Control. Cambridge University Press.
• Hayati, S., & Mirmirani, M. (1985). “Improving the Absolute Positioning Accuracy of Robot Manipulators.” Journal of Robotic Systems, 2(4), 397–413.
• Khalil, W., & Dombre, E. (2002). Modeling, Identification and Control of Robots. Hermes Penton.

version: 1.0