내재적 안정성을 갖춘 보행 MPC: 안정성·실현 가능성 분석

본 논문은 인간형 로봇의 보행 생성 문제를 모델 예측 제어(MPC) 프레임워크 안에서 새롭게 접근한다. 기존의 보행 생성 방법은 ZMP가 지지 다각형 내에 머무르는지를 제약으로 삼아 균형을 유지하지만, ZMP와 CoM 사이의 동역학이 본질적으로 불안정하다는 점을 간과한다. 특히, 주어진 ZMP 궤적에 대해 무수히 많은 CoM 궤적이 존재하며, 대부분은 ZMP에 대해 발산한다는 사실은 실제 로봇에서의 실행 가능성을 위협한다. 이를 해결하기 위해 저자들은 동적 확장 LIP 모델을 채택한다. 이 모델은 ZMP 속도를 제어 입력으로 사용하며, 상태 방정식은 CoM 위치와 속도를 선형적으로 연결한다. 핵심 아이디어는 ‘안정성 제약(stability constraint)’을 도입해 미래 ZMP 속도와 현재 시스템 상태 사이에 선형 관계를 강제함으로써, CoM 궤적이 ZMP 궤적에 대해 유계(bounded)하도록 만드는 것이다. 제어 호라이즌이 유한하기 때문에, 미래 ZMP 속도 중 일부만이 최적화 변수로 사용된다. 나머지 부분을 ‘테일(tail)’이라 부르며, 이 테일을 어떻게 가정하느냐에 따라 서로 다른 터미널 제약이 도출된다. 논문은 세 가지 테일 방식을 제안한다. 첫 번째는 ‘절단형(tail‑truncated)’으로, 호라이즌 이후의 ZMP 속도를 0으로 가정한다. 두 번째는 ‘주기형(periodic)’으로, 호라이즌 이후의 ZMP 속도가 현재 호라이즌 내에서 반복된다고 가정한다. 세 번째는 ‘예측형(anticipative)’으로, 외부에서 제공되는 고레벨 궤적 정보를 이용해 호라이즌 이후의 ZMP 속도를 미리 예측한다. 각각의 테일은 수학적으로 특정 터미널 제약(예: 캡처 가능성 제약, 상태 고정 제약)과 동등함을 증명한다. 다음으로 논문은 IS‑MPC 반복 과정의 실현 가능성(feasibility)을 체계적으로 분석한다. 제어 호라이즌 길이 C와 테일 선택에 따라, 현재 시점에서 최적화 문제가 feasible하면 이후 모든 시점에서도 feasible함을 보장하는 ‘재귀적 실현 가능성(recursive feasibility)’ 조건을 도출한다. 이 조건은 선형 부등식 형태로 표현되며, 특히 예측형 테일을 사용할 경우 가장 완화된 형태가 된다. 재귀적 실현 가능성이 확보되면, CoM‑ZMP 동역학의 내부 안정성(internal stability)이 자동으로 보장된다. 논문은 이를 정리와 증명을 통해 명시한다. 즉, 시간에 따라 CoM와 ZMP 사이의 상대 위치가 유계에 머무르며, 외란이나 모델링 오차가 존재하더라도 제한된 범위 내에서 회복한다. 시스템 구현은 두 단계로 구성된다. 첫 번째는 고레벨에서 주어지는 (v_x, v_y, ω)와 같은 옴니디렉셔널 속도 명령을 이용해 ‘후보 보행(step) 생성 모듈’이 보행 타이밍과 대략적인 발 위치를 QP 기반으로 산출한다. 두 번째는 IS‑MPC 모듈이 이 후보 보행을 입력으로 받아 실제 발 위치와 CoM 궤적을 실시간으로 최적화한다. 최적화 문제는 QP 형태이며, 제약에는 ZMP 균형, 발 위치 한계, 그리고 앞서 정의한 안정성 제약이 포함된다. 시뮬레이션에서는 HRP‑4 로봇을 대상으로 다양한 직선·곡선·정지 명령을 테스트했으며, 제안된 테일 중 예측형 테일이 가장 높은 성공률과 최소한의 제어 입력 변동을 보였다. 실험에서는 NAO와 HRP‑4 두 로봇에 동일한 알고리즘을 적용해, 실시간으로 보행을 생성하고 ZMP가 지지 다각형을 벗어나지 않으며 CoM 궤적이 안정적으로 따라가는 것을 확인했다. 특히 급격한 속도 변화나 외부 충격이 가해졌을 때도 시스템은 재귀적 실현 가능성에 의해 안정성을 유지하였다. 결론적으로, 이 논문은 (1) 안정성 제약을 명시적으로 포함한 MPC 설계, (2) 테일 선택과 터미널 제약 사이의 정량적 관계 규명, (3) 재귀적 실현 가능성에 기반한 내부 안정성 보장, (4) 실제 로봇에 적용 가능한 실시간 구현이라는 네 가지 주요 공헌을 제시한다. 이는 기존에 ‘긴 호라이즌’이나 ‘단순 캡처 제약’에 의존하던 방법들과 차별화되며, 보행 제어 설계 시 안정성·실현 가능성을 동시에 고려할 수 있는 이론적·실용적 토대를 제공한다.