유계입력·유계출력: 정확히 무엇을 보장할까?
BIBO 안정성은 보기 좋은 그래프 한 장이 아니라 모든 유계 입력과 관찰 출력에 관한 명제입니다.
먼저 그려 보기
크기가 제한된 입력이 관찰 출력의 무한한 성장을 만들지 않아야 합니다. 한 부하에서 12초 동안 차분한 모터는 그 시험만 통과했습니다. 다른 입력, 더 긴 시간, 관찰하지 않은 내부 상태에서는 다른 결과가 나올 수 있습니다.
모델이 말하는 것
BIBO는 명시한 영 초기상태의 입출력 모델에서 모든 시간 동안 유계인 각 입력에 대해 선택한 출력도 모든 시간 동안 유계라는 뜻입니다. 직접 전달 항을 별도로 고려한 인과 연속시간 LTI 시스템에서는 임펄스 응답의 절대적분 가능성이 판정 기준입니다. 적정 유리 전달함수의 최소 실현에서는 모든 극점이 열린 좌반평면에 있는 익숙한 안정 경우로 이어집니다. 이 입출력 성질을 모든 내부 상태의 안정성과 무심코 같다고 놓아서는 안 됩니다.
|u(t)|≤M for all t ⇒ |y(t)|≤N; ∫₀∞|h(t)|dt<∞N은 M과 시스템에 따라 달라도 시간에 따라 무한히 커져서는 안 됩니다. 임펄스 응답 판정은 명시한 LTI 입출력 조건에서 씁니다.
작은 반례 두 가지
이상적인 적분기는 y(t)=∫₀ᵗu(τ)dτ입니다. 유계 상수 입력 u=1을 주면 출력은 y=t로 무한히 커집니다. 입력이 작아 보인다는 말로는 부족합니다.
내부 상태 두 개가 ẋ₁=−x₁+u, ẋ₂=+x₂이고 센서 출력은 y=x₁뿐이라고 합시다. 입출력 관계는 안정해 보여도 초기 x₂≠0이면 보이지 않는 상태가 커집니다. 전달함수 그림이 안전해 보여도 상쇄되거나 관측되지 않는 불안정 모드가 중요한 이유입니다.
Lab에서 볼 수 있는 것과 없는 것
결과를 고정하고 유한한 부하 펄스와 출력, 레일 이탈을 비교할 수 있습니다. 하지만 이는 진단 실험이지 모든 유계 입력과 무한 시간에 대한 증명이 아닙니다. 수학적 주장은 모델과 가정으로 세운 다음 실험으로 그 가정을 점검하세요.
실험과 연결
제어기 설정을 고정하고 작은 부하 펄스와 큰 펄스를 비교하세요. 유한 실행의 관찰 결과만 보고하고 BIBO 증명이라고 부르지 마세요.
유한 부하 실험 비교조작하기 전에 먼저 예측해 보세요.
- 예측표시된 시간 안에 이 부하 펄스로 응답이 발산할까요?
- 한 가지 변경펄스 크기만 바꾸고 두 결과를 고정하세요.
- 관찰관찰 시간·출력·입력 제한·중단 상태를 기록하세요.
- 설명관찰 결과와 아직 증명하지 않은 모든 입력에 대한 BIBO 명제를 구분하세요.
최소 실현이 아니면 안정한 전달함수가 불안정한 내부 동역학을 숨길 수 있습니다. 반대로 포화된 비선형 실행 하나가 발산했다고 LTI 전달함수에 관한 증명이 되는 것도 아닙니다.
이해 확인+
12초 동안 유한한 모터 응답만으로 BIBO 안정성을 확정할 수 있나요?
아닙니다. BIBO는 명시한 입출력 모델의 모든 유계 입력과 모든 시간에 관한 조건입니다.