[논문 리뷰] Correct-by-Construction Navigation Functions with Application to Sensor Based Robot Navigation

Savvas G. Loizou, Elon Rimon|arXiv (Cornell University)|2021. 03. 07.

Robotic Path Planning Algorithms참고 문헌 9인용 수 6

한 줄 요약

이 논문은 조화 함수와 내비게이션 변환을 사용하여 미지 환경에서 로봇 내비게이션을 위한 정확한-건설적(nav) 내비게이션 함수를 제안한다. 이는 매개변수 튜닝이 필요로 하지 않으며, 장애물 수에 따라 이득 매개변수 $ k $ 를 명시적으로 설정함으로써 전역 점근적 안정성을 보장하고, 섹터 유한한 국소 센서를 통한 실시간 장애물 통합이 가능하다. 운동학적 및 동역학적 제어기를 통해 임계 감쇠와 유한한 속도를 보장하며, 검증된 결과가 제시된다.

ABSTRACT

This paper brings together the concepts of navigation transformation and harmonic functions to form navigation functions that are correct-by-construction in the sense that no tuning is required. The form of the navigation function is explicitly related to the number of obstacles in the environment. This enables application of navigation functions for autonomous robot navigation in partially or fully unknown environments, with the capability of on-the-fly adjustment of the navigation function when new obstacles are discovered by the robot. Appropriate navigation controllers, applicable to robots with local, sector bounded sensing, are presented and analyzed for a~kinematic point-mass robot and then for the dynamic point-mass robot system. The closed form nature of the proposed navigation scheme provides for online, fast-feedback based navigation. In addition to the analytic guarantees, simulation studies are presented to verify the effectiveness of the methodology.

연구 동기 및 목표

• 내비게이션 함수의 매개변수 튜닝이 필요로 하지 않도록, 정확한-건설적 방식으로 구성함으로써 이를 제거한다.
• 부분적으로 알려진 환경에서 로봇 내비게이션 중에 새로 발견된 장애물을 실시간으로 통합할 수 있도록 한다.
• 레이저 스캐너와 같은 실제 센서를 모델링하는 임의의 비영이 아닌 섹터 유한한 국소 센서를 지원한다.
• 경사점 근처에서 벡터장 정지 현상이 발생하지 않도록 하며, 임계 감쇠를 보장하는 운동학적 및 동역학적 제어기를 설계한다.
• 부분적인 작업공간 지식 하에서 안정성, 유한한 속도, 충돌 회피에 대한 분석적 보장을 제공한다.

제안 방법

• 원래 로봇 작업공간으로부터 내비게이션 변환을 통해 유도된 점-세계 모델에서 조화 함수를 사용하여 내비게이션 함수를 구성한다.
• 이론적으로 장애물 수 $ M $ 에 따라 이득 매개변수 $ k $ 를 명시적으로 정의함으로써, 튜닝 없이도 정확한-건설적 행동을 보장한다.
• 비특이성(비퇴화)을 방지하면서도 위상적 안정성을 유지하기 위해 느슨한 모스 성질을 적용한다.
• 운동학 제어기 (18)를 설계하여 내비게이션 함수의 등치수준의 운동에너지와 일치시킴으로써, 경사점 근처에서의 속도 저하를 방지한다.
• 에너지 기반 제어 및 소산을 통한 제어법을 적용하여, 2차 시스템을 위한 동역학 제어기 (22)를 개발함으로써 임계 감쇠와 최대 속도의 유한성을 확보한다.
• 로봇 속도와 정렬된 대칭 센싱 섹터 모델 (3)을 사용하여 실제 센서의 제약 조건을 반영하고 반응형 내비게이션을 가능하게 한다.

실험 결과

연구 질문

• RQ1 이득 $ k $ 를 장애물 수에 직접적으로 연관지킴으로써 매개변수 튜닝 없이 내비게이션 함수를 구성할 수 있는가?
• RQ2 로봇 운동 중에 새로운 장애물이 탐지될 경우 내비게이션 함수를 어떻게 동적으로 갱신할 수 있는가?
• RQ3 비영이 아닌 각도 구간을 가진 국소 센서로도 안정적이고 충돌 없는 내비게이션을 달성할 수 있는가?
• RQ4 운동학 시스템에서 내비게이션 함수의 벡터장이 경사점 근처에서 정지 현상이 발생하지 않도록 설계할 수 있는가?
• RQ5 제안된 제어 법칙 하에서 동역학 시스템이 전역 점근적 안정성을 유지하면서도 임계 감쇠와 유한한 최대 속도를 달성할 수 있는가?

주요 결과

• 제안된 내비게이션 함수는 정확한-건설적이다: 장애물 수 $ M $ 에 따라 $ k $ 가 명시적으로 설정되므로, $ k $ 의 튜닝이 필요하지 않다.
• 운동학 제어기 (18)는 내비게이션 함수의 등치수준과 운동에너지가 일치함으로써 전역 점근적 안정성을 보장하고, 경사점 근처에서의 벡터장 정지 현상을 방지한다.
• 동역학 제어기 (22)는 목표 지점에서 임계 감쇠를 달성하고 최대 속도를 유한하게 제어하며, 시뮬레이션 결과 $ orm{oldsymbol{ ext{v}}}_{ ext{max}} = 0.93 \, \text{m/s} $ 를 기록했으며, 이는 이론적 상한값인 $ 4.47 \, \text{m/s} $ 보다 훨씬 낮다.
• 시스템은 실시간 장애물 탐지 처리를 성공적으로 수행하였다: 시뮬레이션에서 로봇은 6개의 순차적 장애물을 탐지하고도 충돌 없이 주행하였다.
• 부분적인 작업공간 지식과 섹터 유한한 센싱 조건 하에서도 제어기가 안정성과 수렴성을 유지하였으며, $ \theta = 60^\circ $ 인 경우에도 유연성을 입증하였다.
• 안정성, 유한한 속도, 임계 감쇠에 대한 분석적 보장을 제공하였으며, 시뮬레이션 결과는 이론적 예측을 확인하였다.