[논문 리뷰] Stabilization of periodic sweeping processes and asymptotic average velocity for soft locomotors with dry friction

Giovanni Colombo, Paolo Gidoni외 1명|arXiv (Cornell University)|2021. 03. 04.

Micro and Nano Robotics참고 문헌 27인용 수 9

한 줄 요약

이 논문은 다면체 집합의 이동하는 면을 갖는 스위핑 프로세스에 대해 주기적 해로의 W¹,² 수렴성을 확립하여, 마른 마찰이 있는 부드러운 크롤러 모델에서 점점 가속도의 잘 정의됨을 엄밀히 증명한다. 저자들은 이전의 안정성 결과를 강화하여, 해가 유일한 러닝-주기적 궤적으로 솔레브 공간 W¹,² 내에서 수렴함을 보여, 초기 조건과 무관하게 기복에 따라 달라지는 점점 가속도의 존재를 보장한다.

ABSTRACT

We study the asymptotic stability of periodic solutions for sweeping processes defined by a polyhedron with translationally moving faces. Previous results are improved by obtaining a stronger $W^{1,2}$ convergence. Then we present an application to a model of crawling locomotion. Our stronger convergence allows us to prove the stabilization of the system to a running-periodic (or derivo-periodic, or relative-periodic) solution and the well-posedness of an average asymptotic velocity depending only on the gait adopted by the crawler. Finally, we discuss some examples of finite-time versus asymptotic-only convergence.

연구 동기 및 목표

• 이전 연구보다 더 강한 수렴성을 확보하기 위해, 이동하는 다면체 집합을 갖는 스위핑 프로세스의 주기적 해에 대해 연구한다.
• 주기적 자극 하에서 연성 이동 기구에 대해 점점 가속도의 존재성과 유일성을 증명한다.
• 해가 유한 시간 내에 주기적 행동으로 수렴하는지 여부, 또는 오직 점점 수렴하는지 분석한다.
• 생물 모방 크롤링 로봇의 기복 최적화를 위한 수학적 기초를 제공한다.

제안 방법

• 시간에 따라 변하는 다면체 K(t)의 법선 막대를 포함하는 미분포함수로 연성 크롤러 역학을 재구성한다.
• 일반화된 모레 스위핑 프로세스 프레임워크를 적용하여 형상 변수 w(t)와 질량중심 y(t)의 진화를 분석한다.
• 형상 변수 w(t)가 주기적 함수로 W¹,² 수렴함을 증명하여 이전의 L∞-수렴 결과를 확장한다.
• 포incare 사상과 볼록 이동 집합의 성질을 이용해 장기적 행동과 주기성을 분석한다.
• 일반적으로 유한 시간 수렴이 보장되지 않음을 보여주기 위해 반례를 구성한다.
• 주기적 자극 하에서 시스템의 점점 행동을 분석하여 기복에 따라 달라지는 점점 가속도 v₀(G)를 유도한다.

실험 결과

연구 질문

• RQ1 이동하는 면을 갖는 다면체 집합을 갖는 스위핑 프로세스의 해가 L∞ 수렴 외에도 W¹,² 수렴성으로 주기적 해로 수렴하는가?
• RQ2 마른 마찰이 있는 부드러운 크롤러의 점점 가속도가 유일하게 정의되고 초기 조건과 무관한가?
• RQ3 유한 시간 내에 주기적 행동으로 수렴하는 조건은 무엇이며, 언제는 오직 점점 수렴하는가?
• RQ4 이동 집합 K(t)의 구조 — 특히 기하학적 형태와 운동 방식 — 는 시스템의 수렴 성질에 어떻게 영향을 미치는가?

주요 결과

• 이 논문은 면이 이동하는 다면체 집합을 갖는 스위핑 프로세스에 대해 해가 주기적 해로 W¹,² 수렴함을 확립한다.
• 모든 스위핑 프로세스의 주기적 해는 동일한 도함수를 가지며, 이는 점점 가속도의 일관성을 보장한다.
• 점점 가속도 v₀(G)는 잘 정의되어 있으며 기복 G에만 의존하며, 초기 조건과는 무관하다.
• 일반적으로 유한 시간 수렴이 보장되지 않으며, 반례를 통해 단순한 기하학적 형태에서도 수렴이 오직 점점 수렴일 수 있음을 보여준다.
• 특수한 경우인 단일 세그먼트(N=1)에서는 첫 번째 자극 주기 내에 주기적 행동으로 유한 시간 수렴이 발생한다.
• 결과는 연성 크롤러 모델에 적용 가능하여, 기복에 따라 달라지는 점점 가속도의 엄밀한 정의를 가능하게 하며, 러닝-주기적 해로의 안정화를 증명한다.