14.41 계산 효율성 관점의 정식화 비교
1. 개요
매니퓰레이터의 동역학 정식화는 계산 효율성 관점에서 중요한 차이를 가진다. 효율적인 정식화는 실시간 제어와 시뮬레이션의 가능성을 결정한다. 본 절에서는 다양한 동역학 정식화의 계산 효율성을 비교한다.
2. 계산 복잡도의 측정
2.1 자유도와의 관계
매니퓰레이터의 자유도 n이 증가할 때 계산 시간이 어떻게 증가하는지가 중요하다. 일반적으로 다음의 복잡도가 사용된다.
- O(n): 선형 복잡도
- O(n^2): 이차 복잡도
- O(n^3): 삼차 복잡도
- O(n^4): 사차 복잡도
2.2 연산의 종류
연산의 수는 일반적으로 곱셈과 덧셈의 수로 측정된다. 메모리 접근, 함수 호출 등도 영향을 미친다.
3. 정식화별 계산 복잡도
3.1 직접 라그랑주 방법
직접 라그랑주 방법은 닫힌 형식의 동역학 방정식을 도출하지만 계산 복잡도가 매우 높다.
- 역동역학: O(n^4)
- 순동역학: O(n^4) + 행렬 역행렬 O(n^3)
3.2 뉴턴-오일러 재귀 방법
뉴턴-오일러 재귀 방법은 가장 효율적인 역동역학 알고리즘이다.
- 역동역학: O(n)
- 순동역학: 직접 사용 불가, 추가 계산 필요
3.3 합성 강체 알고리즘 (CRBA)
합성 강체 알고리즘은 관성 행렬을 효율적으로 계산한다.
- 관성 행렬 계산: O(n^2)
이 알고리즘은 순동역학에서 자주 사용된다.
3.4 관절 공간 관성 알고리즘 (ABA)
관절 공간 관성 알고리즘(Articulated Body Algorithm)은 매우 효율적인 순동역학 알고리즘이다.
- 순동역학: O(n)
ABA는 페더스톤(Featherstone)이 1983년에 제시했다.
4. 정식화 비교
4.1 역동역학 비교
| 방법 | 복잡도 | 비고 |
|---|---|---|
| 직접 라그랑주 | O(n^4) | 가장 비효율적 |
| 뉴턴-오일러 재귀 | O(n) | 표준 |
| 케인의 방법 | O(n^3) | 중간 |
4.2 순동역학 비교
| 방법 | 복잡도 | 비고 |
|---|---|---|
| 직접 라그랑주 + 역행렬 | O(n^4) + O(n^3) | 비효율적 |
| 뉴턴-오일러 + CRBA + 역행렬 | O(n^2) + O(n^3) | 보통 |
| ABA | O(n) | 가장 효율적 |
4.3 자유도에 따른 효율 차이
자유도가 작을 때(예: n < 6)는 정식화 사이의 차이가 크지 않을 수 있다. 자유도가 크면(예: n > 20) 효율적 정식화가 매우 유리해진다.
5. 계수의 영향
5.1 상수 계수
같은 복잡도 클래스 안에서도 상수 계수가 중요하다. 예를 들어 O(n)의 두 알고리즘 중 하나가 다른 것보다 두 배 빠를 수 있다.
5.2 자유도의 경우
표준 6자유도 매니퓰레이터에 대한 구체적 연산 수는 다음과 같다.
- 뉴턴-오일러 재귀: 약 825번의 곱셈, 600번의 덧셈
- 직접 라그랑주: 약 7,300번의 곱셈, 5,500번의 덧셈
6. 효율적인 구현 기법
6.1 좌표 표현의 선택
좌표 표현(예: 디나비트-하르텐베르크, 6차원 공간 표현)에 따라 효율성이 달라진다.
6.2 대칭성의 활용
매니퓰레이터의 대칭성과 특수 구조를 활용하면 추가 효율성을 얻을 수 있다.
6.3 미리 계산
운동 시간 동안 변하지 않는 양은 미리 계산하여 저장한다.
6.4 코드 생성
매니퓰레이터의 동역학 코드를 자동으로 생성하는 도구가 있다(예: SymPy를 사용한 자동화).
7. 매개 변수 조사
7.1 회귀 행렬 형식
매니퓰레이터의 동역학 방정식은 매개 변수에 대해 선형으로 표현될 수 있다.
\boldsymbol{\tau} = \mathbf{Y}(\mathbf{q}, \dot{\mathbf{q}}, \ddot{\mathbf{q}})\boldsymbol{\pi}
이 형식은 매개 변수 식별과 적응 제어에 활용된다.
7.2 식별 가능 매개 변수
매니퓰레이터의 모든 매개 변수가 운동 데이터로부터 식별 가능한 것은 아니다. 식별 가능한 매개 변수의 수는 매니퓰레이터의 구조에 의존한다.
8. 응용
8.1 실시간 제어
실시간 제어에서는 ms 단위의 동역학 계산이 필요하므로 효율적인 정식화가 필수이다.
8.2 시뮬레이션
다체 시스템의 시뮬레이션에서 효율성이 시뮬레이션의 속도와 규모를 결정한다.
8.3 최적화
운동 최적화, 매개 변수 식별 등에서는 동역학 함수의 반복 평가가 필요하므로 효율성이 중요하다.
9. 본 절의 의의
본 절은 매니퓰레이터 동역학 정식화의 계산 효율성을 비교했다. 효율적인 정식화의 선택은 실시간 제어와 시뮬레이션에 필수적이다.
10. 참고 문헌
- Featherstone, R. (2008). Rigid Body Dynamics Algorithms. Springer.
- Featherstone, R. (1983). The calculation of robot dynamics using articulated-body inertias. International Journal of Robotics Research, 2(1), 13-30.
- Walker, M. W., & Orin, D. E. (1982). Efficient dynamic computer simulation of robotic mechanisms. ASME Journal of Dynamic Systems, Measurement, and Control, 104(3), 205-211.
- Hollerbach, J. M. (1980). A recursive Lagrangian formulation of manipulator dynamics and a comparative study of dynamics formulation complexity. IEEE Transactions on Systems, Man, and Cybernetics, 10(11), 730-736.
version: 1.0