CHAPTER 15 / 안정성

유계입력·유계출력: 정확히 무엇을 보장할까?

BIBO 안정성은 보기 좋은 그래프 한 장이 아니라 모든 유계 입력과 관찰 출력에 관한 명제입니다.

이번 강의의 목표

충격응답의 상계를 이용해 BIBO 안정성이 보장하는 것과 숨은 상태에 대해 말하지 않는 것을 구분합니다.

한 루프가 계단 시험에서 정착할 수 있습니다. BIBO 안정성은 모든 유계 입력과 선택한 출력에 대해 더 넓은 성질을 말합니다.

상황부터 이해하기

먼저 그려 보기

크기가 제한된 입력이 관찰 출력의 무한한 성장을 만들지 않아야 합니다. 한 부하에서 12초 동안 차분한 모터는 그 시험만 통과했습니다. 다른 입력, 더 긴 시간, 관찰하지 않은 내부 상태에서는 다른 결과가 나올 수 있습니다.

핵심 개념

개념을 하나씩 연결하기

BIBO는 유계입력·유계출력의 약자입니다. 유계란 신호의 크기가 절대 넘지 않는 유한한 한계가 있다는 뜻입니다. 초기 상태가 0일 때 모든 유계 입력에 대해 출력도 유계여야 합니다. 인과적인 LTI 시스템에서는 앞으로의 전체 시간에 걸쳐 충격응답의 절댓값 면적을 더합니다. 그 면적이 유한하면 출력의 한계를 구할 수 있습니다. 이는 선택한 출력의 검사이며 센서에 보이지 않는 모든 내부 상태까지 검사하는 것은 아닙니다.

수식 읽는 법

|u(t)|\le M\quad\Longrightarrow\quad |y(t)|\le M\int_0^\infty|h(\tau)|\,d\tau

적분 가능한 충격응답을 가진 인과적·초기 상태 0인 LTI 시스템에서는 크기 M 이하의 모든 입력에 대해 출력도 이 식으로 제한됩니다.

기호의 뜻

$M$: 입력 크기의 상계, 입력 단위
$h$: 충격응답, 초당 입력당 출력
$u$: 입력 신호
$y$: 선택한 출력 신호

출력의 한계는 허용한 입력 크기와 시스템에 따라 달라도 되지만 경과 시간에 따라 계속 커져서는 안 됩니다. 여기서는 입력의 직접 전달이 없는 보통 충격응답을 다룹니다. 유한한 직접 이득도 유계이며 따로 처리할 수 있습니다.

숫자로 풀어 보는 예제

1차 출력의 상계 구하기

충격응답이 지수적으로 줄어드는 인과적 정규화 시스템을 생각합니다. 입력 크기는 언제나 2 이하라고 가정합니다.
$h(t)=e^{-t}\ (t\ge0),\quad |u(t)|\le2$
충격응답의 절댓값 아래 면적은 1입니다.
$\int_0^\infty|h(t)|\,dt=\int_0^\infty e^{-t}\,dt=1$
초기 상태가 0이면 선택한 출력의 크기는 2 이하입니다. 최소 실현이 아닌 모델의 숨은 상태에 대해서는 이 상계만으로 알 수 없습니다.
$|y(t)|\le2\cdot1=2$

더 자세한 설명과 모델의 가정

조금 더 자세히

작은 반례 두 가지

이상적인 적분기는 y(t)=∫₀ᵗu(τ)dτ입니다. 유계 상수 입력 u=1을 주면 출력은 y=t로 무한히 커집니다. 입력이 작아 보인다는 말로는 부족합니다.

내부 상태 두 개가 ẋ₁=−x₁+u, ẋ₂=+x₂이고 센서 출력은 y=x₁뿐이라고 합시다. 입출력 관계는 안정해 보여도 초기 x₂≠0이면 보이지 않는 상태가 커집니다. 전달함수 그림이 안전해 보여도 상쇄되거나 관측되지 않는 불안정 모드가 중요한 이유입니다.

조금 더 자세히

Lab에서 볼 수 있는 것과 없는 것

결과를 고정하고 유한한 부하 펄스와 출력, 레일 이탈을 비교할 수 있습니다. 하지만 이는 진단 실험이지 모든 유계 입력과 무한 시간에 대한 증명이 아닙니다. 수학적 주장은 모델과 가정으로 세운 다음 실험으로 그 가정을 점검하세요.

직접 확인하기

예제를 실험과 연결하기

제어기 설정을 고정하고 작은 부하 펄스와 큰 펄스를 비교하세요. 유한 실행의 관찰 결과만 보고하고 BIBO 증명이라고 부르지 마세요.

유한 부하 실험 비교

직접 해볼 실험

조작하기 전에 먼저 예측해 보세요.

예측표시된 시간 안에 이 부하 펄스로 응답이 발산할까요?
한 가지 변경펄스 크기만 바꾸고 두 결과를 고정하세요.
관찰관찰 시간·출력·입력 제한·중단 상태를 기록하세요.
설명관찰 결과와 아직 증명하지 않은 모든 입력에 대한 BIBO 명제를 구분하세요.

주의

최소 실현이 아니면 안정한 전달함수가 불안정한 내부 동역학을 숨길 수 있습니다. 반대로 포화된 비선형 실행 하나가 발산했다고 LTI 전달함수에 관한 증명이 되는 것도 아닙니다.

이해 확인+

12초 동안 유한한 모터 응답만으로 BIBO 안정성을 확정할 수 있나요?

아닙니다. BIBO는 명시한 입출력 모델의 모든 유계 입력과 모든 시간에 관한 조건입니다.

다음 강의로 이어가기

폐루프 특성식이 다항식이면 라우스 판별법으로 모든 근을 직접 구하지 않고도 극점 위치를 확인할 수 있습니다.

더 읽어보기

MIT 6.011 — Signals, Systems and Inference ↗

개념을 하나씩 연결하기

수식 읽는 법

|u(t)|\le M\quad\Longrightarrow\quad |y(t)|\le M\int_0^\infty|h(\tau)|\,d\tau

적분 가능한 충격응답을 가진 인과적·초기 상태 0인 LTI 시스템에서는 크기 M 이하의 모든 입력에 대해 출력도 이 식으로 제한됩니다.

기호의 뜻

$M$: 입력 크기의 상계, 입력 단위
$h$: 충격응답, 초당 입력당 출력
$u$: 입력 신호
$y$: 선택한 출력 신호

1차 출력의 상계 구하기

충격응답이 지수적으로 줄어드는 인과적 정규화 시스템을 생각합니다. 입력 크기는 언제나 2 이하라고 가정합니다.

h(t)=e^{-t}\ (t\ge0),\quad |u(t)|\le2

충격응답의 절댓값 아래 면적은 1입니다.

\int_0^\infty|h(t)|\,dt=\int_0^\infty e^{-t}\,dt=1

초기 상태가 0이면 선택한 출력의 크기는 2 이하입니다. 최소 실현이 아닌 모델의 숨은 상태에 대해서는 이 상계만으로 알 수 없습니다.

|y(t)|\le2\cdot1=2

작은 반례 두 가지

이상적인 적분기는 y(t)=∫₀ᵗu(τ)dτ입니다. 유계 상수 입력 u=1을 주면 출력은 y=t로 무한히 커집니다. 입력이 작아 보인다는 말로는 부족합니다.

Lab에서 볼 수 있는 것과 없는 것

조작하기 전에 먼저 예측해 보세요.

예측표시된 시간 안에 이 부하 펄스로 응답이 발산할까요?

한 가지 변경펄스 크기만 바꾸고 두 결과를 고정하세요.

관찰관찰 시간·출력·입력 제한·중단 상태를 기록하세요.

설명관찰 결과와 아직 증명하지 않은 모든 입력에 대한 BIBO 명제를 구분하세요.