형상공간 (Configuration Space (C-space))

로봇공학

한 줄 정의: 로봇의 모든 관절 변수 값을 좌표로 하는 추상 공간이다. 형상공간의 한 점이 로봇의 하나의 자세(형상)를 완전히 나타내며, 모션계획 문제를 형상공간 내에서 충돌 없는 경로를 찾는 문제로 단순화하는 데 쓰인다.

쉽게 풀면

로봇의 모든 관절 각도를 좌표로 삼는 가상의 공간이에요. 이 공간의 한 점이 로봇의 한 자세를 나타내요. 로봇의 실제 형상 대신 각 관절각(또는 위치)이 이루는 값들의 조합 전체를 하나의 추상 공간으로 표현한 것으로, 로봇의 한 자세는 이 공간 속 하나의 점으로 나타납니다.

왜 중요한가

로봇의 모든 관절값을 하나의 점으로 표현하는 공간이어서, 형상이 복잡한 로봇의 모션계획 문제를 이 공간에서 점 하나의 경로 찾기 문제로 바꿀 수 있습니다. 샘플링 기반 계획기가 모두 이 공간에서 동작하므로 계획 논문의 기본 언어입니다. 3차원 실제 공간에서는 복잡해 보이는 장애물 회피 문제를 형상공간 안에서는 점 하나가 장애물 영역을 피해 지나가는 경로 탐색 문제로 단순화할 수 있어 경로계획 알고리즘의 기본 틀이 됩니다.

논문에서는 이렇게 쓰입니다

본 연구에서는 형상공간 상의 장애물 영역을 계산하고, 이 공간에서 RRT 알고리즘으로 충돌 없는 경로를 탐색하였다.

논문에서 형상공간은 실제 3차원 공간의 장애물을 로봇의 관절공간 상 장애물로 변환해 계획 문제를 단순화하는 개념으로 소개됩니다.

본 논문은 다관절 매니퓰레이터의 형상공간을 트리 구조로 분해하여 고차원 탐색의 계산량을 줄이는 기법을 제안하였다.

형상공간의 차원이 커질수록 탐색이 어려워지는 문제를, 공간을 나누어 다루는 방식으로 해결하려는 연구 흐름을 보여줍니다.

조금 더 깊게 보면

장애물을 형상공간으로 옮기면 복잡한 비볼록 영역이 되고 차원이 높아 명시적으로 계산할 수 없으므로, PRM이나 RRT처럼 샘플을 뽑아 충돌만 검사하는 방식이 나왔습니다. 회전관절 때문에 위상이 토러스 구조를 가져 유클리드 거리로 재면 가까운 형상을 멀다고 판단하는 오류가 생길 수 있습니다. 실제 3차원 공간의 장애물은 형상공간에서 로봇의 형태와 관절 구조에 따라 형태가 크게 변형된 영역으로 나타나며, 이 변환 자체가 계획 알고리즘의 계산 복잡도를 좌우합니다. 예를 들어 2자유도 평면 팔의 형상공간은 두 관절각을 축으로 하는 두 관절각이 각각 360도마다 되풀이되므로 평면이 아니라 토러스(T²)로 표현되며, 로봇의 형상 전체가 이 공간의 점 하나로 바뀌어 경로 탐색이 점의 이동 문제로 단순화됩니다.

주의할 점

형상공간의 차원은 로봇의 자유도 수와 같으므로, 자유도가 많아지면 형상공간 탐색의 계산 비용이 급격히 증가한다(차원의 저주).