최대 수용 영역과 최소 예측 지평을 갖는 이산시간 LTI 시스템의 집합 기반 MPC

초록

본 논문은 이산시간 선형 시불변(LTI) 시스템에 대한 새로운 집합 기반 모델 예측 제어(MPC) 방식을 제안한다. 하나의 최적화 문제로 구성된 제어법은 최대 제어 가능 집합 내에서 목표 평형점으로 수렴하도록 설계되며, 최소 예측·제어 지평(N)에서도 동일한 평형점을 달성한다. 유한 시간 수렴 이론을 기반으로 폐루프 시스템의 점근적 안정성을 증명하고, 목표점이 바뀌어도 재귀적 실현 가능성을 보장한다. 시뮬레이션을 통해 제안 방법의 넓은 수용 영역과 짧은 예측 지평에서도 높은 성능을 확인하였다.

상세 분석

이 논문은 기존 MPC가 일반적으로 긴 예측 지평을 필요로 하여 계산 복잡도가 급증하고, 수용 영역이 제한되는 문제점을 해결하고자 한다. 핵심 아이디어는 “집합 기반” 접근법을 통해 제어 입력을 설계함으로써, 시스템 상태가 최대 제어 가능 집합(Maximal Controllable Set, MCS) 내부에 있을 때와 N‑제어 가능 집합(N‑Controllable Set, NCS) 경계에 있을 때 두 가지 동작 모드를 동시에 고려한다는 점이다. 이를 위해 저자는 다음과 같은 구조를 제안한다.

1. 단일 최적화 문제: 목표 평형점과 현재 상태 사이의 거리 최소화와 동시에, 상태가 MCS와 NCS에 속하도록 제약을 부여한다. 여기서 MCS는 무한 시간 동안 제어 가능한 모든 상태의 집합이며, NCS는 N 단계 내에 목표 평형점으로 도달 가능한 상태의 집합이다. 두 집합을 동시에 만족시키는 제약은 기존의 다단계 혹은 다중 최적화와 달리 하나의 QP(Quadratic Program) 형태로 구현된다.

2. 이중 동작 모드:

   • 내부 모드: 현재 상태가 MCS 내부에 있을 경우, 제어 입력은 빠른 수렴을 목표로 설계되며, 이는 기존의 “스테이징” 기법과 유사하지만, 여기서는 목표 평형점이 변해도 동일한 제약 구조를 유지한다.
   • 경계 모드: 상태가 NCS 경계에 도달하면, 제어 입력은 N 단계 내에 목표 평형점에 도달하도록 보장한다. 이때 사용되는 제약은 “N‑step controllability” 조건을 직접 최적화에 포함시켜, 예측 지평이 최소화된 상황에서도 수렴을 확보한다.

3. 유한 시간 수렴 증명: 저자는 Lyapunov‑type 함수와 집합 이론을 결합해, 상태가 NCS 경계에 도달한 후 최대 N 단계 내에 목표 평형점으로 수렴함을 보인다. 이후에는 MCS 내부에서 일반적인 MPC 안정성 조건을 적용해 점근적 안정성을 확보한다.

4. 재귀적 실현 가능성: 목표 평형점이 변할 경우에도, 새로운 목표에 대한 MCS와 NCS를 동일한 방식으로 재계산한다. 제안된 최적화 문제는 이러한 변화를 반영하도록 설계되어, 매 샘플마다 실현 가능성이 유지된다. 이는 기존 MPC에서 목표점 전환 시 재설계가 필요하거나 실현 가능성이 깨지는 문제를 크게 완화한다.

5. 시뮬레이션 검증: 논문은 2차원 및 4차원 LTI 시스템을 대상으로 시뮬레이션을 수행하였다. 결과는 최소 예측 지평(N=2~3)에서도 제안 방법이 기존 장기 예측 MPC 대비 넓은 수용 영역을 제공함을 보여준다. 또한, 목표점 전환 시 전이 과정에서의 과도 현상이 최소화되고, 제어 입력의 변동성도 감소하였다.

이러한 기여는 특히 실시간 제어가 요구되는 임베디드 시스템이나, 계산 자원이 제한된 상황에서 큰 의미를 가진다. 단일 QP 형태로 구현 가능하므로, 기존 상용 MPC 솔버와의 통합도 용이하며, 제어 설계자가 목표 평형점 변동에 대해 별도의 재조정 없이도 안정적인 제어를 유지할 수 있다. 다만, 현재 제안은 선형 시스템에 한정되어 있으며, 비선형 시스템이나 제약이 복잡한 경우 확장 가능성에 대한 추가 연구가 필요하다.