스미스 예측기

수치해석 전자공학 시뮬레이션 마지막 수정: 2026-08-14 04:46:35

1. 개요[편집]

스미스 예측기 Smith Predictor
제안	O. J. M. Smith (1957)
대상	무반응 시간(dead time)이 지배적인 공정 $G_0(s)e^{-\theta s}$
핵심	특성방정식에서 $e^{-\theta s}$를 몰아내 $1 + CG_0 = 0$으로
추종 응답	$T_0(s)\,e^{-\theta s}$ — 지연만큼 늦되 지연 없는 계처럼
치명적 한계	적분·불안정 공정에서 내부 불안정, 지연 오차에 민감
일반화	내부모델제어(IMC) · 필터형 스미스 예측기

지연을 없앨 수는 없다. 하지만 되먹임 루프 밖으로 밀어낼 수는 있다.

스미스 예측기(Smith predictor)는 공정의 시간지연 $e^{-\theta s}$ 를 폐루프 특성방정식에서 제거해, 제어기를 지연 없는 부분 $G_0(s)$ 만 보고 설계할 수 있게 만드는 되먹임 구조다. 1957년 오티스 스미스가 제안했고, 지금까지 나온 무반응 시간 보상기 중 가장 널리 쓰이는 것이자 가장 많이 잘못 쓰이는 것이기도 하다.¹

시간지연은 크기를 전혀 깎지 않고 위상만 $-\omega\theta$ 만큼 갉아먹는다. 나이퀴스트 안정성 판별법의 관점에서는 궤적이 원점을 중심으로 계속 감기면서 $-1$ 점 쪽으로 밀려 들어가는 것이고, 실무적으로는 남은 위상 여유 $\phi_m$ (라디안)에 대해 교차 주파수가

\omega_{gc} \;<\; \frac{\phi_m}{\theta}

를 넘을 수 없다는 뜻이다. 지연이 두 배면 대역폭이 절반이 된다. 파데 근사로 지연을 유리함수로 바꿔 보면 이유가 더 선명한데, 근사식에 반드시 우반평면 영점이 등장하고 그 영점이 $\omega_B \lesssim z/2$ 라는 천장을 씌운다(감도 함수). 지연 지배 공정에서 PID 제어를 아무리 잘 튜닝해도 굼뜬 이유는 튜닝 실력의 문제가 아니라 이 벽이다.

2. 구조[편집]

공정을 $G(s) = G_0(s)e^{-\theta s}$ 로 쓰고, 모델을 $\hat G_0(s)e^{-\hat\theta s}$ 라 하자. 스미스 예측기는 주 제어기 $C(s)$ 주위에 내부 되먹임 경로 하나를 추가한다. 제어기가 보는 오차 신호는

e = r - y - \hat G_0(s)\big(1 - e^{-\hat\theta s}\big)\,u

이다. 괄호 안의 항이 하는 일은 “모델이 예측한, 아직 도착하지 않은 출력”을 미리 되먹이는 것이다. $\hat G_0 u$ 는 지연 없이 계산되는 예측 출력이고 $\hat G_0 e^{-\hat\theta s} u$ 는 지금 측정되고 있을 출력이므로, 그 차이가 곧 “ $\hat\theta$ 초 뒤에 나타날 몫”이다. 이름의 “예측기”는 여기서 왔다.

모델이 완벽하면( $\hat G_0 = G_0$ , $\hat\theta = \theta$ ) 대수 계산이 깔끔하게 정리된다.

u = \frac{C}{1 + CG_0}\,(r - d), \qquad \frac{y}{r} = \frac{CG_0}{1 + CG_0}\,e^{-\theta s} = T_0(s)\,e^{-\theta s}

특성방정식이 $1 + C(s)G_0(s) = 0$ 이 되어 지연이 통째로 사라졌다. 지연은 분자에만 남아 응답을 $\theta$ 만큼 통째로 미룰 뿐 안정성에는 관여하지 않는다. 따라서 설계 절차는 이렇게 압축된다 — 지연을 지워 놓고 $G_0$ 에 대해 마음껏 $C$ 를 설계한 뒤, 예측기 구조를 씌운다.

$T_0 e^{-\theta s}$ 가 이론적으로 도달 가능한 최선이라는 점도 짚어 둘 만하다. 어떤 제어기도 아직 도착하지 않은 정보로 반응할 수는 없으므로, 출력이 $\theta$ 보다 빨리 움직이는 폐루프는 물리적으로 존재하지 않는다. 스미스 예측기는 그 하한을 정확히 달성하는 구조다.

3. 언제 이득이 있나[편집]

지연이 작으면 굳이 쓸 이유가 없다. 통상적인 기준은 **무반응 시간 대 시상수의 비 $\theta/T$ **다.

$\theta/T \lesssim 0.5$ — PID로 충분하다. 예측기를 붙여도 성능 개선이 미미하고 구조만 복잡해진다.
$\theta/T \gtrsim 1$ — 지연 지배 공정. 여기서부터 예측기가 두세 배의 대역폭 개선을 준다.

전제는 $\theta$ 를 알아야 한다는 것이다. 계단 응답 시험이나 계전기 되먹임 실험으로 FOPDT 모델 $(K, T, \theta)$ 를 먼저 뽑는 것이 순서이며, 지연 추정이 부실하면 예측기가 PID보다 나빠진다. 다음 절이 그 이유다.

4. 모델 불일치 — 이 구조의 약점[편집]

모델이 틀리면 앞의 상쇄가 깨지고 특성방정식이 되돌아온다.

1 + C(s)\hat G_0(s) + C(s)\Big[G_0(s)e^{-\theta s} - \hat G_0(s)e^{-\hat\theta s}\Big] = 0

대괄호 안이 곧 모델 오차이며, 여기서 지연 오차가 특히 사납다. 이득이나 시상수는 몇 % 틀려도 위상에 미치는 영향이 완만하지만, 지연 오차 $\Delta\theta$ 는 곱셈형 불확실성

\big| e^{-j\omega\Delta\theta} - 1 \big| = 2\left|\sin\frac{\omega\Delta\theta}{2}\right|

를 만들어 $\omega\Delta\theta = \pi$ 에서 크기 2에 도달한다. 작은 이득 정리를 적용하면 강건 안정 조건이 $|T_0(j\omega)| < 1/(2|\sin(\omega\Delta\theta/2)|)$ 이므로, 결국 폐루프 대역폭이 대략 $1/\Delta\theta$ 를 넘어서면 안 된다는 제약이 남는다. 지연을 15% 틀리게 알고 있으면 개선폭도 그만큼 줄어든다는 뜻이고, 지연이 운전 조건에 따라 변하는 공정(유량이 바뀌면 관 수송 지연이 바뀌는 경우가 대표적)에서 스미스 예측기가 자주 실패하는 이유다.

처방은 두 가지다. 하나는 $C$ 를 일부러 굼뜨게(저대역으로) 설계해 여유를 사는 것이고, 다른 하나는 예측 경로에 강건성 필터를 넣는 것이다. 후자가 뒤에 나올 필터형 스미스 예측기다.

5. 적분·불안정 공정에서의 함정[편집]

스미스 예측기의 가장 유명한 실패는 여기 있다. 내부 되먹임이 하는 일을 극점 관점에서 보면, 예측기는 공정의 개루프 극점을 모델의 극점으로 상쇄하고 있다. 상쇄된 극점이 좌반평면 깊숙이 있으면 아무 문제가 없지만, 허수축 위나 우반평면에 있으면 그 모드가 폐루프의 관측 불가능한 발산 모드로 남는다. 전달함수는 멀쩡해 보이는데 내부적으로 불안정한 전형적 상황이다.

적분 공정 $G_0 = k/s$ 에서 이것이 어떻게 드러나는지는 계산 몇 줄로 확인된다. 공정 입력단에 들어오는 부하 외란 $d_i$ 에 대해

\frac{y}{d_i} = G_0 e^{-\theta s}\Big[1 - T_0(s)e^{-\theta s}\Big]

인데, $s \to 0$ 에서 대괄호는 $S_0(s) + \theta s \approx s\big[1/(k\,C(0)) + \theta\big]$ 로 0에 접근하고 $G_0 = k/s$ 는 발산해서, 곱이 유한한 상수로 남는다. 제어기에 적분기를 넣어 $C(0) = \infty$ 로 만들어도

\lim_{s\to 0}\frac{y}{d_i} = k\theta \;\ne\; 0

이다. 계단형 부하 외란에 대해 $k\theta$ 만큼의 정상상태 오차가 영원히 남는다. 적분기를 아무리 넣어도 지워지지 않는 오프셋이라는 점이 이 결과의 고약한 부분이며, 설정값 추종만 보고 시운전을 통과한 뒤 현장에서 원인 불명의 정상편차로 되돌아오는 시나리오가 여기서 나온다. 진짜 불안정 극점을 가진 공정이라면 오프셋 정도가 아니라 그냥 발산한다.

결론은 단호하다. 원형 스미스 예측기는 안정한 자기조정(self-regulating) 공정에만 쓴다. 액체 레벨, 배치 반응기 온도, 재고량처럼 적분 특성을 가진 루프에는 수정판이 필요하다.

6. 수정판과 IMC[편집]

수정 스미스 예측기. 오스트룀-항-림(1994)은 적분 공정을 위해 설정값 응답과 외란 응답을 분리해 설계하는 구조를 제안했다. 예측 경로를 재배치해 문제의 극점 상쇄를 피하고, 외란 억제 동특성을 별도의 파라미터로 조정한다. 마타우셰크-미치치(1996)의 구조는 같은 목표를 더 적은 조정 파라미터로 달성해 산업 현장에서 널리 인용된다.

필터형 스미스 예측기(FSP). 노르메이-리코와 카마초가 정리한 접근으로, 예측 경로에 필터 $F(s)$ 를 하나 삽입한다. $F$ 를 적절히 고르면 (1) 문제의 극점 상쇄를 제거해 적분·불안정 공정에 적용할 수 있고, (2) 강건성과 외란 억제 성능을 서로 독립적으로 조정할 수 있다. 원형 구조에서는 $C$ 하나가 두 목표를 동시에 떠맡느라 타협이 강제되던 것을, 자유도를 하나 늘려 푼 셈이다.

내부모델제어(IMC)와의 관계. 스미스 예측기는 사실 IMC의 특수한 경우다. IMC는 공정 모델 $M = \hat G_0 e^{-\hat\theta s}$ 를 제어기 안에 명시적으로 넣고, 모델 출력과 실제 출력의 차이만 되먹이는 구조다. 두 구조는

Q(s) = \frac{C(s)}{1 + C(s)\hat G_0(s)} \quad \Longleftrightarrow \quad C(s) = \frac{Q(s)}{1 - Q(s)\hat G_0(s)}

로 정확히 상호 변환된다. IMC 관점의 이점은 설계가 기계적이라는 것이다 — 모델의 가역 부분만 역으로 취하고(우반평면 영점과 지연은 역을 취할 수 없으니 남긴다) 여기에 필터 $f(s) = 1/(\lambda s + 1)^n$ 을 곱하면 끝이고, $\lambda$ 하나가 성능-강건성 다이얼이 된다. 지연을 역으로 취할 수 없다는 사실이 곧 앞서 본 “ $e^{-\theta s}$ 는 남는다”의 IMC판 서술이다. 널리 쓰이는 λ-튜닝·SIMC 규칙이 이 경로에서 나왔다.

이름이 비슷한 내부모델원리와 혼동하지 말 것. 이쪽은 외란·기준 신호의 모델을 제어기에 넣어야 정상편차가 0이 된다는 원리이고(계단 외란에는 적분기, 정현파 외란에는 공진기), IMC는 공정의 모델을 제어기 구조에 넣는 것이다. 넣는 모델이 다르다.

7. 이산시간·네트워크에서의 지연[편집]

디지털 구현에서 지연은 $d = \lceil \theta/T_s \rceil$ 스텝의 시프트가 되고, 스미스 예측기는 $d$ -스텝 앞선 출력 예측기와 같아진다. 상태공간이라면 지연을 $d$ 개의 상태로 증강해 그냥 극점 배치나 최적 제어를 돌려도 되며, 모델 예측 제어는 예측 구간을 $d$ 만큼 늘리는 것으로 지연을 자연스럽게 흡수한다. 실제로 MPC가 확산되면서 화학공정 쪽에서 스미스 예측기의 지분은 줄었지만, 단일 루프를 싸게 고치는 도구로서의 자리는 여전하다.

네트워크 제어와 하드웨어 인 더 루프에서는 사정이 다르다. 여기서 지연은 상수가 아니라 매 주기 변하고 패킷이 유실되기도 한다. 스미스 예측기는 지연이 알려진 상수라는 가정 위에 서 있으므로 그대로는 쓸 수 없고, 실무적 대응은 세 갈래다.

버퍼링으로 지연을 상수로 만든다. 최악 지연까지 일부러 기다렸다 쓴다. 평균 성능을 희생해 결정성을 산다.
측정된 지연으로 예측기를 스케줄링한다. 타임스탬프를 붙여 실제 지연을 재고 예측 길이를 갱신한다. 안정성 보장은 별도 해석이 필요하다.
아예 보상을 포기하고 수동성으로 간다. 산란 변환·파동 변수를 쓰면 지연의 크기와 무관하게 통신 채널이 수동적으로 유지된다. 지연을 정확히 알 필요가 없다는 점에서 예측기와 철학이 정반대이며, 원격조작·햅틱에서는 이쪽이 표준이다.

8. 현장 정리[편집]

스미스 예측기를 넣기 전에 지연 추정부터 신뢰할 수 있는지 확인한다. 지연을 30% 틀리게 알고 있으면 예측기의 이점 대부분이 사라진다.
적분 특성이 있는 루프에 원형 구조를 쓰지 않는다. 수정판이나 필터형을 쓴다.
시운전 시 설정값 응답만 보지 말고 부하 외란 응답을 반드시 본다. 앞서 본 $k\theta$ 오프셋은 계단 응답 시험만으로는 드러나지 않는다.
지연 보상 성능을 자랑하는 튜닝은 대개 모델이 정확하다는 가정에 기대고 있다. 지연이 운전 조건과 함께 변한다면, 최악 지연 기준으로 설계한 굼뜬 PID가 결국 더 오래 살아남는다.²

9. 관련 문서[편집]

Smith, O. J. M. (1957). “Closer control of loops with dead time”, Chemical Engineering Progress, 53(5), 217–219. 다섯 쪽도 안 되는 글이 70년째 인용되고 있다. 정작 저자 본인은 이 구조가 모델 오차에 얼마나 예민한지를 원문에서 이미 경고했는데, 그 문단은 인용 횟수가 훨씬 적다. ↩
지연 보상기를 넣었다가 걷어내는 일이 현장에서 드물지 않다. 시운전 때는 관 유량이 정격이라 지연 모델이 맞았는데, 감산 운전에 들어가자 수송 지연이 두 배로 늘어 예측기가 정확히 반대 방향으로 일하기 시작하는 식이다. 예측기는 모델을 믿는 만큼만 똑똑하다. ↩