궤적 기반 제어 설계와 합동제곱 프로그래밍

초록

본 논문은 로봇 제어에서 목표 집합으로 수렴하는 불변 “퍼널”의 부피를 최대화하는 제어 설계 방법을 제안한다. 합동제곱(SOS) 기반의 Lyapunov 부등식으로 퍼널을 증명하고, 다항식 형태의 피드백 컨트롤러를 반드레게 최적화한다. 시간‑변화 동역학, 입력 포화, 모델 불확실성을 모두 다룰 수 있으며, Acrobot 실험을 통해 시뮬레이션 및 하드웨어에서의 유효성을 입증한다.

상세 분석

이 연구는 로봇 시스템의 안전성과 안정성을 형식적으로 보장하기 위해 “퍼널”이라는 불변 집합을 정의하고, 그 부피를 최대로 확장하는 제어기를 설계한다는 점에서 혁신적이다. 핵심 이론은 합동제곱(SOS) 프로그래밍을 이용한 Lyapunov 함수의 다항식 형태 가정이다. SOS는 다항식이 비음수임을 반증하기 위한 충분조건을 SDP(반정밀 반정밀 최적화) 형태로 변환함으로써, 전역적인 비선형 안정성 검증을 계산적으로 tractable하게 만든다. 논문은 먼저 목표 집합을 작은 구(또는 다항식 정의 집합)으로 설정하고, 시간에 따라 변하는 궤적을 따라가는 시스템을 고려한다. 이때, 시간‑변화 Lyapunov 함수 V(x,t)와 그 미분 𝑑V/𝑑t를 다항식으로 표현하고, V가 목표 집합 안에서 감소하도록 하는 부등식을 SOS 형태로 제시한다.

제어 설계 단계에서는 다항식 피드백 u = k(x,t) 를 변수로 두고, 위의 Lyapunov 부등식을 만족하도록 k의 계수를 SDP 변수로 최적화한다. 여기서 목표는 퍼널을 정의하는 레벨 집합 {x | V(x,t) ≤ ρ(t)}의 크기, 즉 ρ(t)의 최댓값을 찾는 것이다. ρ(t)는 시간에 따라 변화하는 스칼라 함수이며, 이를 최대화함으로써 초기 상태가 더 넓은 범위에서 목표 집합으로 수렴하도록 보장한다.

입력 포화(토크 제한)와 같은 제약은 SOS 제약식에 추가적인 다항식 부등식으로 포함된다. 예를 들어, uᵢ² ≤ uᵢ, max² 형태를 SOS로 변환해 제어 변수와 동시에 최적화한다. 불확실성 모델링은 파라미터를 다항식 형태의 구간 또는 다항식 불확실성 집합으로 가정하고, 모든 가능한 파라미터 값에 대해 Lyapunov 부등식이 유지되도록 SOS 조건을 강화함으로써 강인성을 확보한다.

계산 복잡도 측면에서, 시간‑변화 시스템을 다루기 위해 시간 차원을 이산화하고 각 시간 스텝마다 SDP를 풀어야 한다. 저자들은 차수 제한과 시간 격자 수를 조절해 실시간 혹은 오프라인 설계가 가능한 수준으로 복잡도를 제어한다. 또한, 기존의 LQR이나 비선형 모델 예측 제어와 비교했을 때, 퍼널 기반 설계는 전역적인 안전 보장을 제공한다는 장점이 있다.

실험에서는 토크가 극히 제한된 Acrobot(2링크 언더액추에이티드 시스템)에 적용하였다. 설계된 다항식 컨트롤러는 기존의 스위치형 피드백이나 PD 제어에 비해 더 큰 초기 상태 영역을 목표 집합으로 끌어들였으며, 하드웨어 실험에서도 퍼널 내 초기 조건이 보장된 대로 수렴함을 확인했다. 이러한 결과는 퍼널 기반 설계가 복잡한 비선형 로봇 시스템에서도 실용적으로 적용 가능함을 시사한다.

결론적으로, 이 논문은 SOS 프로그래밍을 활용해 시간‑변화 비선형 시스템의 안전 퍼널을 최적화하는 체계적인 프레임워크를 제공한다. 이는 로봇 모션 플래닝, 안전 검증, 그리고 강인 제어 설계에 새로운 도구로 활용될 수 있다.