슬라이딩 모드 제어

최적설계 시뮬레이션 수치해석 마지막 수정: 2026-08-11 04:34:06

1. 개요[편집]

슬라이딩 모드 제어(sliding mode control, SMC)는 상태공간에 초곡면 $s(x)=0$ 을 하나 그어 놓고, 불연속적으로 스위칭하는 입력으로 궤적을 그 면에 붙잡아 두는 비선형 제어 기법이다. 궤적이 면 위에 갇히면 계의 거동은 원래 동역학이 아니라 설계자가 정한 면의 방정식이 지배하게 되고, 이때 정합 조건을 만족하는 불확실성과 외란에 대해 완전한 불변성(invariance)을 얻는다. 강건성을 “작게 만든다”가 아니라 “0으로 만든다”고 주장하는 흔치 않은 이론이다.

1960~70년대 소련의 가변구조계(variable structure systems) 연구에서 나왔고, 에멜리야노프와 우트킨의 작업이 뿌리다. 서구에 널리 알려진 것은 우트킨의 1977년 IEEE TAC 서베이 이후. 릴레이·초퍼처럼 원래 스위칭이 본업인 액추에이터가 널린 전력전자와 전동기 구동에서 특히 자연스럽게 자리 잡았다.¹

2. 두 단계 — 도달과 슬라이딩[편집]

동작은 시간적으로 두 국면으로 나뉜다.

도달 단계(reaching phase). 초기 상태는 대개 면 밖에 있다. 입력이 궤적을 면 쪽으로 몰아붙여 유한 시간 안에 $s=0$ 에 도달시킨다. 이 구간에서는 아직 불변성이 없어서 외란에 노출된다.
슬라이딩 단계(sliding phase). $s=0$ 에 붙은 뒤로는 그 위를 미끄러지며 원점으로 간다. $s(x)=0$ 이 $m$ 개(입력 개수)의 등식이므로 유효 차원이 $n-m$ 으로 줄고, 축소 차수 동역학이 거동을 결정한다.

설계도 이 순서를 따라간다. 먼저 원하는 축소 차수 거동이 나오도록 면을 고르고, 그다음 그 면에 도달·유지시키는 입력을 짠다.

2.1. 면 설계[편집]

단일 입력 정준형(적분기 사슬) $y^{(n)} = f(x) + b(x)u$ 에서 추종 오차 $e = y - y_d$ 에 대한 표준 처방은

s = \left(\frac{d}{dt} + \lambda\right)^{n-1} e

다. $s=0$ 이면 $e$ 가 시상수 $1/\lambda$ 로 지수 감쇠하는 안정한 선형 방정식이 되므로, 비선형 추종 문제가 스칼라 $s$ 를 0으로 만드는 문제로 압축된다. 다입력 선형계에서는 계를 정규형(regular form)으로 좌표변환한 뒤 $s = Sx$ 의 $S$ 를 고르는데, 이때 축소 차수계의 극점 배치는 사실상 상태 궤환 설계 문제와 같아서 LQR로 풀거나 선형행렬부등식으로 조건을 걸어 푼다.

2.2. 도달 조건[편집]

리아푸노프 후보로 $V = \tfrac{1}{2}s^2$ 을 잡는다. 도달을 보장하는 표준 조건은

s\,\dot{s} \le -\eta\,|s|, \qquad \eta > 0

이다. 이걸 $\eta$ -도달 조건이라 부르는데, 좌변이 $\tfrac{1}{2}\frac{d}{dt}s^2$ 이므로 $\frac{d}{dt}|s| \le -\eta$ 가 되어 $|s|$ 가 일정 속도 이상으로 줄어든다. 여기서 유한 시간 도달이 곧바로 따라 나온다.

t_{\text{reach}} \le \frac{|s(0)|}{\eta}

지수 수렴이 아니라 유한 시간 수렴이라는 점이 중요하다. $\dot{V} \le -cV$ 형태의 보통 리아푸노프 조건은 $t \to \infty$ 에서만 0에 닿는데, $|s|$ 에 비례하지 않는 상수 감쇠율은 유한 시간에 정확히 0을 찍는다. 불연속 입력이 사 주는 성질이다.

가장 단순한 제어 법칙은 등가 제어에 스위칭 항을 얹은 형태다.

u = u_{\text{eq}}(x) - k\,\mathrm{sgn}\big(s(x)\big)

$k$ 는 불확실성의 상계보다 크게 잡는다.² 가오(Gao)의 도달 법칙처럼 $\dot{s} = -\varepsilon\,\mathrm{sgn}(s) - \kappa s$ 를 직접 지정해 먼 곳에서는 빠르게, 가까이서는 부드럽게 접근시키는 변형도 널리 쓰인다.

불확실 2차 플랜트 ẋ₂ = a x₂ + u + d(t) 를 u = −k·sat(s/φ) 로 적분한다. 상태는 미끄럼면 s = c x₁ + x₂ = 0 에 t_r = 0.80 s 만에 닿고, 그 뒤 실측 감쇠율 λ = 1.996 으로 원점에 수렴한다(축소 차수 이론값 c = 2). 도달 순간부터 u 는 초당 1585회 부호를 뒤집으며, φ = 0.1 의 경계층을 두면 그 스위칭이 사라지는 대신 |x₁| 오차가 2.1e−4 에서 1.3e−2 로 커진다.

3. 등가 제어와 필리포프 해[편집]

여기서 개념적으로 껄끄러운 지점이 나온다. 이상적인 슬라이딩 모드에서는 입력이 무한 주파수로 스위칭한다. 우변이 불연속인 미분방정식은 고전적 의미의 해가 존재하지 않으므로, 애초에 “면 위의 궤적”이 무엇인지부터 정의해야 한다.

필리포프 해는 미분방정식을 미분포함관계로 바꿔서 이 문제를 푼다. 불연속면 위의 점에서 우변을 한 점이 아니라 양쪽 극한값들의 볼록 폐포로 잡는다.

\dot{x} \in \mathcal{K}[f](x) = \overline{\mathrm{co}}\left\{ \lim_{x_i \to x} f(x_i) \right\}

면 위에서는 $\dot{x} = \alpha f^{+} + (1-\alpha) f^{-}$ 꼴이 되고, 궤적이 면을 벗어나지 않으려면 이 벡터가 면에 접해야 한다는 조건에서 $\alpha$ 가 유일하게 결정된다. 필리포프의 볼록 결합법이라 부르는 구성이다.

한편 제어공학 쪽의 관행인 등가 제어(equivalent control)는 다른 길을 간다. “ $s$ 를 계속 0으로 유지하려면 어떤 연속 입력이 필요한가”를 $\dot{s}=0$ 에서 대수적으로 푼다. 아핀계 $\dot{x} = f + g u$ , $s = Sx$ 이면

\dot{s} = S f + S g\, u_{\text{eq}} = 0 \;\Longrightarrow\; u_{\text{eq}} = -(Sg)^{-1} S f

이고 ( $Sg$ 의 가역성이 설계 요구사항이다), 슬라이딩 동역학은 $\dot{x} = \left(I - g(Sg)^{-1}S\right) f$ 가 된다. 사영자 $I - g(Sg)^{-1}S$ 가 붙은 형태에서 보이듯, 입력이 갈 수 있는 방향을 전부 잘라 낸 나머지가 면 위의 거동이다.

입력에 대해 아핀인 계에서는 두 정의가 같은 답을 준다. 이것이 등가 제어를 마음 놓고 쓰는 근거이며, 입력이 비선형으로 들어가면 일반적으로 일치하지 않는다는 것도 알려져 있다. 실무의 거의 모든 대상이 아핀이라 크게 문제되지 않지만, “물리적으로 당연하니까”가 아니라 정리로 보장된 사실이라는 점은 알아 둘 만하다.

4. 정합 조건과 불변성[편집]

SMC의 마케팅 문구인 “완전 불변성”에는 조건이 붙는다. 외란·모델 오차가

\dot{x} = f(x) + g(x)\big(u + d(x,t)\big)

처럼 입력과 같은 통로로 들어올 때, 즉 $\Delta \in \mathrm{range}(g)$ 일 때만 성립한다. 이것이 정합 조건(matching condition)이다. 이 경우 $u$ 가 $d$ 를 그대로 상쇄할 수 있으므로 $|d| \le D$ 인 상계만 알면 $k > D + \eta$ 로 잡아 도달 조건을 유지할 수 있고, 슬라이딩 동역학에서 $d$ 는 흔적조차 남지 않는다. 외란의 정확한 형태를 몰라도, 시변이어도, 비선형이어도 상관없다.

반대로 비정합(unmatched) 성분 — 예컨대 액추에이터가 닿지 않는 좌표에 직접 들어오는 외란 — 은 전혀 제거되지 않는다. 이 경우 슬라이딩 동역학 자체가 섭동되므로, 면 설계 단계에서 그 섭동에 강건하도록 $S$ 를 고르는 수밖에 없다. 적분 슬라이딩 모드(도달 단계 자체를 없애 초기 시각부터 불변성을 확보)나 비정합 항을 리아푸노프 부등식으로 다루는 접근이 여기 쓰인다. “SMC는 모든 외란에 강건하다”는 말은 절반만 맞다.

5. 채터링, 이 분야의 원죄[편집]

이론상의 무한 주파수 스위칭은 현실에 없다. 액추에이터의 대역폭, 샘플링 주기, 센서 지연, 미모형 고속 동역학이 개입하면 궤적은 면 위에 정확히 눌러앉지 못하고 면 근처를 고주파로 왕복한다. 이것이 채터링(chattering)이다. 밸브와 기어를 갈아 먹고, 열을 내고, 무엇보다 구조물의 고차 모드를 가진하기 딱 좋은 대역에서 진동한다. SMC가 이론적 우아함에 비해 산업 적용이 더뎠던 이유가 사실상 이것 하나다.³

완화책은 세 갈래다.

경계층 근사. $\mathrm{sgn}(s)$ 를 폭 $\Phi$ 의 포화함수로 갈아 끼운다.

u = u_{\text{eq}} - k\,\mathrm{sat}\!\left(\frac{s}{\Phi}\right)

경계층 안에서는 입력이 연속(사실상 이득 $k/\Phi$ 의 고이득 선형 되먹임)이라 채터링이 사라진다. 대신 얻는 것은 점근 안정이 아니라 최종 유계성이다 — 궤적은 두께 $\Phi$ 의 층 안에 갇힐 뿐 $s=0$ 에 도달하지 않고, 그 안에서는 불변성도 사라진다. $\Phi$ 가 곧 “정밀도와 채터링의 교환 계수”이며, $\Phi \to 0$ 이면 원래의 불연속 법칙으로 돌아간다. 이 타협을 명시적으로 설계하는 것이 슬로틴-리 식 경계층 튜닝이다.

고차 슬라이딩 모드. 르방(Levant)의 접근은 불연속성을 입력의 미분 쪽으로 밀어낸다. 2차 슬라이딩 모드에서 유명한 슈퍼 트위스팅 알고리즘은

u = -k_1 |s|^{1/2}\,\mathrm{sgn}(s) + v, \qquad \dot{v} = -k_2\,\mathrm{sgn}(s)

인데, 적분 안에만 부호함수가 있으므로 실제 $u$ 는 연속이다. 그러면서도 $s$ 와 $\dot s$ 가 동시에 유한 시간에 0이 되고, 상계가 아니라 외란의 미분 상계 $|\dot d| \le L$ 만 알면 이득을 잡을 수 있다. 이 구조를 그대로 관측기로 돌린 것이 르방의 강건 정확 미분기이며, 잡음이 있는 신호의 미분을 유한 시간에 정확히 뽑아내는 도구로 널리 쓰인다.

이산시간의 사정. 샘플링으로 구현하면 이상적 슬라이딩은 원리적으로 불가능하다. 스위칭이 샘플 시각에만 일어나므로 궤적은 폭이 샘플 주기 $T$ 에 비례하는 띠 안을 왕복한다(준슬라이딩 모드). 그래서 이산 구현에서는 부호함수를 그대로 쓰기보다 이산 도달 법칙을 별도로 설계하는 것이 정석이며, 여기서 나오는 띠의 폭이 곧 정상상태 정밀도의 하한이 된다.

6. 어디에 쓰이나[편집]

전력전자. DC-DC 컨버터의 스위치는 원래 온/오프뿐이다. 연속 제어기를 짠 뒤 PWM으로 다시 잘라 내는 대신 처음부터 불연속 제어를 설계하는 것이 오히려 자연스럽고, 스위칭 주파수를 히스테리시스 폭으로 직접 통제할 수 있다.
전동기와 로봇. 부하 관성과 마찰이 크게 변하는 매니퓰레이터에서, 파라미터 변동이 대개 입력 통로로 들어오므로 정합 조건이 잘 맞는다. 계산 토크 제어의 모델 오차를 스위칭 항으로 덮는 조합이 고전적 처방이다.
유도·비행제어. 유도탄의 종말 유도, 재진입체 자세 제어처럼 공력계수 불확실성이 큰 영역. 다만 채터링이 구조 모드를 건드리기 쉬워 고차 슬라이딩이 사실상 필수다.
관측기와 고장 진단. 슬라이딩 모드 관측기는 등가 출력 오차 주입량이 정확히 외란·고장 신호를 재구성한다는 성질이 있어, 고장 검출·분리(FDI)에 쓰인다.

강건 제어의 $H_\infty$ 계열과 비교하면 성격이 대조적이다. $H_\infty$ 는 주파수 영역에서 최악 이득을 눌러 모든 불확실성을 조금씩 견디고, SMC는 정합된 것만 완전히 죽이는 대신 비정합에는 손을 못 댄다. 어느 쪽이 맞는지는 불확실성이 어느 통로로 들어오는지가 결정한다. 이 판단이 SMC를 쓸지 말지를 가르는 첫 질문이다.

7. 관련 문서[편집]

그래서 SMC 논문의 실험 절반이 벅 컨버터다. 다른 분야에서는 “불연속 입력을 어떻게 만드느냐”가 걸림돌인데, 여기서는 트랜지스터가 이미 스위치라 이론이 요구하는 걸 하드웨어가 공짜로 준다. 이론과 소자가 이렇게 잘 맞는 경우도 드물다. ↩
“ $k$ 는 불확실성 상계보다 크게”라는 처방의 현실적 결말은 대개 과대한 $k$ 다. 상계를 정직하게 잡으면 보수적이고, 보수적이면 채터링이 커진다. 그래서 $k$ 를 온라인으로 키웠다 줄였다 하는 적응 슬라이딩 모드가 따로 한 갈래를 이루고 있다. 결국 어느 제어 이론이든 “튜닝 노브를 하나 더 만든다”로 수렴한다. ↩
수치적으로도 성가시다. 부호함수가 든 계를 고정 스텝 룽게-쿠타법으로 적분하면 면 근처에서 스텝마다 부호가 뒤집혀, 물리적 채터링이 아니라 적분기가 만들어 낸 가짜 채터링을 본다. 그래서 논문의 채터링 그림을 볼 때는 스텝 크기부터 확인하는 게 예의다. 사건 검출을 쓰거나 경계층을 명시적으로 두고 강성 방정식 취급으로 암시적 적분을 하는 것이 정석. ↩