이산시간 선형 시스템 최소시간 제어 문제의 수치해법

초록

본 논문은 이산시간 선형 시스템에서 초기 상태를 목표 상태(주로 영점)로 가장 빠르게 이동시키는 최소시간 제어 문제를, 상태 시퀀스의 비영(非零) 원소 개수를 최소화하는 희소 최적화(sparse optimization) 기법을 이용해 풀었다. 연속시간과 달리 이산시간에서는 최적 제어가 반드시 bang‑bang 형태가 아니며, 제안된 방법은 가중치가 증가하는 ℓ₂-노름 합을 최소화하는 볼록(convex) 문제로 변환하여 CVX 등 표준 솔버로 효율적으로 해결한다. 충분조건을 제시해 이 변환이 원래 최소시간 문제와 동일한 해를 제공함을 증명한다.

상세 분석

이 논문은 이산시간 선형 시스템 (x(t+1)=Ax(t)+Bu(t)) 에 대해, 초기 상태 (x_0\neq0) 를 영 상태 (0) 로 도달시키는 최소시간 (T^) 문제를 다룬다. 기존 연속시간 최적제어 이론에서는 포인티악 최소·최대 원리(Pontryagin’s principle)를 적용하면 제어가 두 극값 사이를 전이하는 bang‑bang 형태가 보장되지만, 이산시간에서는 제어가 반드시 극값만을 사용해야 한다는 제약이 없으며, 실제로 최적 제어가 중간값을 포함할 수 있음을 여러 선행 연구가 보고하였다. 이러한 배경에서 저자들은 “상태 시퀀스의 희소성”이라는 새로운 관점을 도입한다. 최소시간 제어는 (x(t)=0) 이 되는 시점 (T^) 이후 모든 상태가 영이 되도록 하는 것이므로, ({x(t)}_{t=0}^{T}) 시퀀스에서 가능한 한 많은 영벡터를 포함하도록 설계하면 자연스럽게 (T^*) 를 최소화할 수 있다. 이를 정량화하기 위해 (|x(t)|2) 의 0‑노름(비영 원소 개수)을 최소화하는 문제를 제시했지만, 0‑노름은 NP‑hard이므로 (\ell_1)‑유사 형태인 가중치가 증가하는 (\ell_2)‑노름 합 (\sum{t=1}^{T} w(t)|x(t)|_2) 을 사용해 볼록하게 완화한다. 여기서 (w(t)) 는 시간 인덱스가 커질수록 크게 증가하도록 설계되어, 늦은 단계에서 상태가 영이 되지 않으면 비용이 급격히 상승하도록 만든다.

핵심 정리는 두 가지이다. 첫째, 가중치가 양수이면 (x(t_0)=0) 인 경우 (t\ge t_0) 모두 영이 되는 성질(Lemma 1)을 증명한다. 이는 최적해가 한 번 영이 되면 이후에도 영을 유지한다는 점을 보장한다. 둘째, 가중치 (w(t)) 를 (w(1)=1,; w(t) > 2r,\eta_T(x_0),\prod_{k=1}^{t-1}\sqrt{k},|\Delta_k|_2) (식 10) 와 같이 충분히 크게 선택하면, 완화된 볼록 문제(6)의 최적해가 원래 최소시간 문제(2)의 해와 일치함을 보인다(Theorem 1). 여기서 (r) 은 제어 입력 집합 (U) 의 반경, (\eta_T(x_0)) 는 현재 제어 구간에서 영이 아닌 상태의 최소 ℓ₂‑노름 하한을 의미한다. 이 조건은 이론적으로는 충분조건이지만, 실제 구현에서는 (T) 가 크면 (w(t)) 가 급격히 폭발해 수치적 불안정성을 초래할 수 있다. 따라서 실험에서는 (w(t)) 를 완만하게 증가시키는 휴리스틱을 사용해도 좋은 성능을 얻는다.

알고리즘 흐름은 다음과 같다. (1) (T) 를 충분히 큰 상한으로 설정하고, (2) 가중치 (w(t)) 를 선택한 뒤, (3) CVX 등으로 (\min_{u(0),\dots,u(T-1)}\sum_{t=1}^{T} w(t)|x(t)|_2) 문제를 풀어 최적 제어 시퀀스를 얻는다. (4) 해가 영 상태에 도달한 시점을 (T^*) 로 판단하고, (5) 필요 시 (T) 를 늘려 재계산한다. 실험에서는 2차 및 3차 체인 시스템, 이중 적분기, 무작위 불안정 행렬 등을 대상으로 시뮬레이션을 수행했으며, 제안 방법이 기존 bang‑bang 기반 혹은 직접적인 탐색 방법보다 계산량이 현저히 적고, 특히 다입력 시스템에서 유연하게 적용될 수 있음을 보였다.

이 논문의 주요 기여는 (i) 최소시간 제어를 “상태 희소성”이라는 새로운 관점으로 재정의, (ii) ℓ₂‑노름 합을 이용한 볼록 완화와 충분조건을 제시, (iii) 다입력·다차원 시스템에 일반적으로 적용 가능한 알고리즘을 제공한다는 점이다. 또한, 이산시간 시스템에서 최소시간 제어가 반드시 bang‑bang이 아님을 다시 한 번 강조함으로써, 제어 설계 시 연속시간 직관에 의존하지 말아야 함을 경고한다.