고차 대칭 S곡선 운동의 시간 구간 일반식 및 최적 계획

초록

본 논문은 대칭형 궤적에 대해 경계값이 0이고 任意 차수까지 미분값이 제한된 경우, 시간 구간 T를 모든 차수에 대해 하나의 식 T = Σₙ₌₀^{N‑1} xₙ·xₙ₊₁ 로 표현한다는 정리를 증명한다. 이를 기반으로 최소 시간, 최소 속도·가속도·잭(jerk) 등 다양한 최적화 문제를 단계 구분 없이 해석하고, 시스템 방정식 풀이로 전환하는 알고리즘을 제시한다.

상세 분석

논문은 먼저 1차원 궤적 x(t)를 정의하고, N차까지 (N‑1)번 연속 미분가능하며 N차 미분은 구간별로 상수값을 갖는 ‘조각상수’ 형태로 가정한다. 경계조건은 시작·종료 시점에서 위치와 모든 미분값이 0이며, 전체 이동거리 s>0가 주어진다. 각 차수 n에 대해 최대 절댓값 xₙ = maxₜ |x^{(n)}(t)| 를 도입하고, 이들 사이에 존재하는 관계를 탐구한다.

핵심 정리는 두 단계로 전개된다. 첫 번째는 기존에 알려진 3차(잭) 제어 궤적에 대한 식 T = s·v + v·a + a·j 를 재구성하고, 네 가지 7‑phase S‑curve 경우를 모두 직접 전개하여 동일한 형태가 도출됨을 보인다. 여기서 v, a, j는 각각 속도·가속도·잭의 피크값이며, s·v는 거리·속도 곱, v·a는 속도·가속도 곱, a·j는 가속도·잭 곱을 의미한다. 각 경우마다 시간 구간을 단계별로 적분하고, 대칭성(시간 역전 대칭)과 ‘pre‑optimal’(최고 차수의 미분값이 ±c, 0만을 취함) 조건을 이용해 T를 동일식으로 정리한다.

두 번째 단계에서는 임의 차수 N에 대해 일반화된 식 T = Σ_{n=0}^{N‑1} xₙ·x_{n+1} 를 정리하고, 이를 정리 5(재귀적 표현)로 증명한다. 정의 4에서 각 차수 n에 대한 최초 도달 시점 Tₙ을 도입하고, Tₙ = Σ_{k=n}^{N‑1} x_k·x_{k+1} 라는 관계를 귀납적으로 구축한다. 이를 위해 논문은 함수열 fₙ(t)와 그 보조열 ˜fₙ(t)를 정의하고, 대칭·비음성·경계조건을 만족하도록 재귀적으로 구성한다. Lemma 7은 이 함수열이 갖는 기본 성질(비음성, 대칭, 최대값 위치 등)을 증명하고, 이를 바탕으로 Tₙ 관계식이 성립함을 보인다.

이러한 수학적 구조는 기존에 필요했던 ‘case distinction’(예: 4‑phase, 5‑phase, 6‑phase, 7‑phase) 과정을 완전히 제거한다. 모든 차수에 대해 동일한 형태의 식만으로 시간 구간을 계산할 수 있기 때문에, 최적화 문제를 ‘시스템 방정식 풀이’로 전환한다. 구체적으로 최소‑시간 문제(MTT)는 주어진 거리 s와 제한값 wₙ을 이용해 xₙ을 미지수로 두고 식 (31)을 만족하도록 연립 방정식을 푼다; 최소‑속도·가속도·잭 문제(MDT)는 동일 식을 이용해 특정 차수의 피크값을 최소화하도록 추가 제약을 부여한다.

알고리즘적 측면에서 논문은 다음과 같은 흐름을 제시한다. (1) 입력으로 N, s, 각 차수의 제한 wₙ을 받는다. (2) 피크값 xₙ을 변수로 두고 식 T = Σ xₙ·xₙ₊₁ 와 거리 관계 s = Σ_{n=0}^{N‑2} αₙ·xₙ·xₙ₊₁ (αₙ는 구체적인 계수, N=3일 때는 α₀=1, α₁=1 등) 를 동시에 만족하도록 연립한다. (3) 비선형 방정식 해석기(예: Newton‑Raphson)로 해를 구한다. (4) 구해진 xₙ을 이용해 각 구간 길이 tₙ = xₙ₊₁ / wₙ₊₁ 로 역산하고, 최종적으로 시간 구간 T와 각 단계의 제어값을 얻는다. 이 과정은 단계별 경우 구분 없이 하나의 수치 해석 루틴으로 처리된다.

논문은 또한 고차(스냅, 크라크 등) 제어에 대한 적용 예시를 제시한다. N=4(스냅) 경우에도 동일 식이 적용되며, 실제 로봇 관절이나 고정밀 가공 장비에서 발생하는 4차 제약을 만족하는 궤적을 손쉽게 설계할 수 있음을 보인다. 실험적 검증은 없지만, 수식적 일관성과 기존 문헌(예: