有界入力有界出力安定性

有界入力有界出力安定性（ゆうかいにゅうりょくゆうかいしゅつりょくあんていせい、）またはBIBO安定性（）は、信号処理や制御理論における信号やシステムの安定性の一形態である。システムがBIBO安定であるとは、有限な入力を与えられたとき、常に有限な出力となることをいう。
ある有限値 formula_1 があり、信号の振幅が formula_2 を決して超えない場合、その信号は有限（有界）である。すなわち、
LTIシステムの時間領域条件.
連続時間の必要十分条件.
連続時間では、BIBO安定性の条件はインパルス応答が可積分であること、すなわちそのL1ノルムが存在することである。
離散時間の必要十分条件.
離散時間では、BIBO安定性の条件はインパルス応答が可総和であること、すなわちその formula_5 ノルムが存在することである。
十分性の証明.
インパルス応答 formula_6 の離散な線型時不変系があるとき、入力 formula_7 と出力 formula_8 の関係は次のように表される。
ここで、formula_9 は畳み込みを意味する。したがって、畳み込みの定義から次が導かれる。
formula_10 を formula_11 の最大値（無限大ノルム）とする。
もし formula_12 がBIBO安定なら、formula_13 となり
したがって、formula_14 なら（有界なら）、formula_15 であるため、formula_16 も有界である。
連続時間の場合の証明も同じ論法である。
LTIシステムの周波数領域条件.
連続時間信号.
因果性の有理連続時間系での安定性の条件は、ラプラス変換の収束半径（ROC）が虚軸を含むことである。系が因果性であれば、ROCはX軸が最大の極の実部であるような垂直線の右への開領域である。ここでいう「最大」とは、その極の実部がその系の他の全ての極よりも大きな実部を持つことを意味する。ROCを定義する最大の極の実部を収束座標（abscissa of convergence）と呼ぶ。したがって、BIBO安定性を持つには、そのシステムの全極が必ずs平面の左半分になければならない。
この安定性条件は上述の時間領域の条件から以下のように導出できる。
ここで formula_17 であり、かつ formula_18 である。
従って、収束半径には虚軸が含まれなければならない。
離散時間信号.
因果性の有理離散時間系での安定性の条件は、Z変換の収束半径（ROC）が単位円を含むことである。系が因果性であれば、ROCは絶対値が最大の極の絶対値を半径とする円の外の開領域である。したがって、BIBO安定性を持つには、全ての極がz平面上の単位円内になければならない。
この安定性条件は、連続時間の場合とよく似た手法で導出できる。
ここで formula_19 であり、かつ formula_20 である。
したがって、収束半径には単位円が含まれなければならない。