[논문 리뷰] Characterizing minimum-length coordinated motions for two discs

David Kirkpatrick, Paul Liu|arXiv (Cornell University)|2016. 07. 14.

Robotic Path Planning Algorithms참고 문헌 13인용 수 10

한 줄 요약

이 논문은 장애물이 없는 평면에서 두 원형 로봇에 대한 최소 길이의 동기화 운동을 완전히 특성화한다. 비용 척도로는 중심의 총 경로 길이를 사용한다. 최적 경로는 최대 여섯 개의 세그먼트(반지름이 두 원의 반지름 합과 같은 직선 또는 원호)로 구성되며, 닫힌 형식의 적분을 통해 계산 가능하다. 또한, 한 로봇이 한 번에 움직이는 분리된 운동과 상대 각도가 단조롭게 변화하는 각도 단조성 연동 운동을 모두 수용한다.

ABSTRACT

We study the problem of determining optimal coordinated motions for two disc robots in an otherwise obstacle-free plane. Using the total path length traced by the two disc centres as a measure of distance, we give an exact characterization of a shortest collision-avoiding motion for all initial and final configurations of the robots. The individual paths are composed of at most six (straight or circular-arc) segments, and their total length can be expressed as a simple integral with a closed form solution depending only on the initial and final configuration of the robots. Furthermore, the paths can be parametrized in such a way that (i) only one robot is moving at any given time (decoupled motion), or (ii) the angle between the two robots' centres changes monotonically.

연구 동기 및 목표

• 장애물이 없는 평면에서 두 원형 로봇의 충돌 방지를 위한 최단 경로를 중심의 경로 길이 합을 비용 척도로 사용하여 결정한다.
• 최적 운동이 존재하는 모든 초기 및 최종 구성 조건을 특성화하며, 구성 간에 순환 회전이 포함된 경우도 포함한다.
• 분리된 운동(한 로봇이 한 번에 움직임)과 연동된 운동(상대 각도가 단조롭게 변화)을 모두 지원하는 통합 프레임워크를 제공한다.
• 선분 운동에 대한 이전 결과를 일반화하여 2차원 원형 로봇에 대해 카우치 표면적 공식을 확장한다.
• 최적 경로가 일정한 수의 직선 및 원호 세그먼트로 구성되며, 총 길이에 대한 닫힌 형식의 표현식이 있음을 입증한다.

제안 방법

• 지향된 선분에 원래 사용된 카우치 표면적 공식을 응용하여 두 원형 로봇 운동의 최적성 조건을 유도한다.
• 이동 중에 원이 충돌하지 않도록 제약 조건을 만족하는 변형(평행 이동 및 회전)의 시퀀스로 운동을 모델링한다.
• 원 중심 간의 상대적 위치와 s-원(서로 다른 중심으로부터 거리 s인 점들의 자취) 기반의 기하적 분해를 사용한다.
• 한 원의 초기 및 최종 위치 주변의 s-원의 교차를 기반으로 구성 조건을 분류한다.
• 다양한 운동 영역에서 최적성과 각도 변화의 단조성 증명을 위한 보조정리(예: 보조정리 4.4 및 보조정리 4.6)를 활용한다.
• 분리된 운동과 연동된 운동을 모두 구성한다: 분리된 운동은 한 번에 한 개의 원이 움직이는 순차적 운동이며, 연동된 운동은 상대 각도가 단조롭게 변화하는 연속적 운동이다.

실험 결과

연구 질문

• RQ1 장애물이 없는 평면에서 두 원형 로봇의 최단 동기화 운동의 정확한 기하학적 구조는 무엇인가?
• RQ2 어떤 초기 및 최종 구성 조건에서 직선 최적 운동이 존재하는가?
• RQ3 최적 운동은 분리된(한 로봇이 한 번에 움직임) 또는 연동된(각도가 단조롭게 변화) 형태로 분해될 수 있는가?
• RQ4 최적 운동의 총 경로 길이에 대한 닫힌 형식의 표현식은 무엇이며, 초기 및 최종 구성 조건에만 의존하는가?
• RQ5 최적 운동은 원이 한 번의 연결된 시간 간격 동안 접촉하고, 상대 각도가 단조롭게 변화하도록 실현될 수 있는가?

주요 결과

• 두 원형 로봇에 대한 최적의 동기화 운동은 최대 여섯 개의 세그먼트로 구성되며, 이는 반지름이 두 원의 반지름 합과 같은 직선 또는 원호이다.
• 총 경로 길이는 초기 및 최종 구성 조건에만 의존하는 닫힌 형식의 적분으로 주어진다.
• 모든 최적 운동은 한 번에 한 개의 원이 움직이는 분리된 운동 또는 상대 중심 간 각도가 단조롭게 변화하는 연동된 운동으로 실현 가능하다.
• 연동된 운동에서는 원이 한 번의 연결된 시간 간격 동안 접촉하며, 분리된 후에는 다시는 연결되지 않는다.
• 상대 구성이 순환 회전을 포함하는 경우 최적 운동은 유일하며, 그렇지 않은 경우 두 개의 최적 운동이 존재한다—하나는 순환 회전 방향이고 다른 하나는 반시계 회전 방향이다.
• 증명는 카우치 표면적 공식과 s-원(원의 중심으로부터 거리 s인 점들의 자취)의 교차 기반 기하적 사례 분석에 기반하며, 각 사례에서 최적성과 단조성의 성립을 보장하는 보조정리가 사용된다.