HALO: Hybrid Auto-encoded Locomotion with Learned Latent Dynamics, Poincaré Maps, and Regions of Attraction

Motivation

• Known: 선형 inverted pendulum(LIP), spring-loaded inverted pendulum(SLIP) 같은 고전적 template model들은 다리 로봇의 중심 질량 동역학을 포착하지만 근본적으로 근사적이다. 최근 데이터 기반 방법들이 저차원 locomotion model을 학습하고 있으나 stability와 invariance 속성이 전체 시스템으로 유의미하게 이전되는지 불명확하다.
• Gap: 복잡한 hybrid 시스템의 경우 고전적 model reduction 기법(balanced truncation, moment-matching)을 적용하기 어렵고, 데이터 기반 ROM에서 latent space의 안정성 속성이 전체 시스템에 실제로 전달되는지 검증하는 방법이 부족하다.
• Why: 다리 로봇 같은 고차원 hybrid 시스템의 검증, 제어 설계, 계획을 효율적으로 수행하려면 안정성 보장이 있는 저차원 모델이 필수적이다.
• Approach: Hybrid 시스템을 Poincaré return map으로 discrete-time 시스템으로 표현하고, autoencoder를 사용하여 이 map을 저차원 latent space에 임베드한다. Linear 시스템의 통찰(SVD 기반 최적화)에서 출발하여 nonlinear 경우를 주기 궤도의 저차원 불변 곡면을 활용해 분석한다.

Achievement

Figure 2: An attractive invariant manifold for a discrete-time system (in red) can have a lower dimensional

• Hybrid ROM 프레임워크: Autoencoder와 Poincaré map을 결합하여 hybrid locomotion dynamics의 step-to-step 진화를 latent space에서 캡처하는 체계적 방법론 제시
• Stability 분석 및 region of attraction 복원: Latent space에서 Lyapunov 분석을 수행하고 decoder를 통해 전체 시스템의 region of attraction을 복원하여 latent space의 안정성이 실제로 전달됨을 입증
• Linear-to-nonlinear 통찰 제공: Linear system에서의 SVD 기반 최적화(Eckart-Young theorem)와 nonlinear 불변 곡면 이론을 연결하여 latent 차원 선택의 이론적 근거 제공
• 다양한 hybrid 시스템에서 검증: Hopping robot과 full-body humanoid locomotion을 포함한 여러 hybrid 시스템에서 HALO의 유효성을 실험적으로 입증

How

• Hybrid system을 Poincaré map으로 변환하여 contact event(발 접촉)를 중심으로 state space의 교집합 S에서 S로의 discrete map 구성
• Neural network 기반 encoder Eϕ와 decoder Dψ를 학습하여 고차원 state를 latent space로 압축 및 복원
• Latent space에서 학습된 Poincaré map g에 대해 reconstruction loss, dynamics matching loss를 포함한 종합 손실함수로 최적화
• Latent dynamics의 fixed point에서 Lyapunov 안정성을 분석하고 contraction metric을 이용해 region of attraction을 구성
• Decoder를 통해 latent space의 region of attraction을 전체 state space로 lift하여 전체 시스템의 attraction basin 예측

Originality

• Hybrid dynamical system의 ROM 구성에 autoencoder와 Poincaré map의 명시적 결합 - 기존 work들이 연속 시스템이나 비hybrid 설정에 중점을 두었음
• Latent space 분석 결과가 전체 시스템으로 유의미하게 이전되는지 검증하는 체계적 방법론 - region of attraction의 decoder 기반 복원은 새로운 접근
• Linear system의 최적화 문제(Lemma 1)에서 nonlinear invariant manifold 이론으로의 이론적 확장

Limitation & Further Study

• Autoencoder의 reconstruction error가 존재하면 lifted region of attraction이 과대평가될 수 있으므로 reconstruction 품질 보장 필요
• Lyapunov 분석이 latent space의 local stability만 보장하며, global stability 또는 reinforcement learning 정책 하에서의 robust 안정성은 추가 검증 필요
• Latent 차원 선택이 불변 곡면의 존재에 의존하는데, 실제 system에서 이러한 저차원 구조의 존재 여부를 사전에 보장할 수 없음
• Humanoid 같은 복잡한 시스템에서의 scalability와 학습 데이터 요구량에 대한 분석 부족
• 후속연구: 더 큰 perturbation과 model mismatch에 대한 robust ROM, disturbance 하에서의 region of attraction 확장, 다양한 gait 전환 시나리오 분석

Evaluation

총평: HALO는 hybrid locomotion dynamics의 안정성 분석을 위해 autoencoder와 Poincaré map을 창의적으로 결합한 우수한 연구이며, latent space의 안정성 속성이 전체 시스템으로 이전된다는 것을 실험적으로 입증한다. 이론과 실험의 균형이 좋으나, 복잡한 시스템에서의 reconstruction 오차 처리와 robust 안정성 보장에 대한 더 깊은 분석이 필요하다.