在信号处理 及控制理论 中，有界输入有界输出稳定性 简称BIBO稳定性 ，是一种针对有输入信号线性系统 的稳定性 。BIBO是“有界输入有界输出”（Bounded-Input Bounded-Output）的简称，若系统有BIBO稳定性，则针对每一个有界的输入，系统的输出也都会有界，不会发散到无限大。
对于信号 若存在有限的定值
B
>
0
{\displaystyle B>0}
B
{\displaystyle B}
|
y
[
n
]
|
≤
B
∀
n
∈
Z
{\displaystyle \ |y[n]|\leq B\quad \forall n\in \mathbb {Z} }
|
y
(
t
)
|
≤
B
∀
t
∈
R
{\displaystyle \ |y(t)|\leq B\quad \forall t\in \mathbb {R} }
线性非时变系统时域分析下的条件 [ 编辑 ] 连续系统的充份及必要条件 [ 编辑 ] 针对连续时间的线性非时变 （LTI）系统，BIBO稳定性的条件是脉冲响应 需为绝对可积分，也就是存在L1 范数
∫
−
∞
∞
|
h
(
t
)
|
d
t
=
‖
h
‖
1
<
∞
{\displaystyle \int _{-\infty }^{\infty }{\left|h(t)\right|\,{\mathord {\operatorname {d} }}t}=\|h\|_{1}<\infty }
离散系统的充份条件 [ 编辑 ] 针对离散时间的线性非时变系统，BIBO稳定性的条件是脉冲响应 需为绝对可积分，也就是存在L1 范数
∑
n
=
−
∞
∞
|
h
[
n
]
|
=
‖
h
‖
1
<
∞
{\displaystyle \ \sum _{n=-\infty }^{\infty }{\left|h[n]\right|}=\|h\|_{1}<\infty }
充份条件的证明 [ 编辑 ] 假设离散时间的线性非时变系统，其脉冲响应
h
[
n
]
{\displaystyle \ h[n]}
x
[
n
]
{\displaystyle \ x[n]}
y
[
n
]
{\displaystyle \ y[n]}
y
[
n
]
=
h
[
n
]
∗
x
[
n
]
{\displaystyle \ y[n]=h[n]*x[n]}
其中
∗
{\displaystyle *}
卷积
则依卷积的定义：
y
[
n
]
=
∑
k
=
−
∞
∞
h
[
k
]
x
[
n
−
k
]
{\displaystyle \ y[n]=\sum _{k=-\infty }^{\infty }{h[k]x[n-k]}}
令
‖
x
‖
∞
{\displaystyle \|x\|_{\infty }}
|
x
[
n
]
|
{\displaystyle \ |x[n]|}
|
y
[
n
]
|
=
|
∑
k
=
−
∞
∞
h
[
n
−
k
]
x
[
k
]
|
{\displaystyle \left|y[n]\right|=\left|\sum _{k=-\infty }^{\infty }{h[n-k]x[k]}\right|}
≤
∑
k
=
−
∞
∞
|
h
[
n
−
k
]
|
|
x
[
k
]
|
{\displaystyle \leq \sum _{k=-\infty }^{\infty }{\left|h[n-k]\right|\left|x[k]\right|}}
三角不等式 ）
≤
∑
k
=
−
∞
∞
|
h
[
n
−
k
]
|
‖
x
‖
∞
{\displaystyle \leq \sum _{k=-\infty }^{\infty }{\left|h[n-k]\right|\|x\|_{\infty }}}
=
‖
x
‖
∞
∑
k
=
−
∞
∞
|
h
[
n
−
k
]
|
{\displaystyle =\|x\|_{\infty }\sum _{k=-\infty }^{\infty }{\left|h[n-k]\right|}}
=
‖
x
‖
∞
∑
k
=
−
∞
∞
|
h
[
k
]
|
{\displaystyle =\|x\|_{\infty }\sum _{k=-\infty }^{\infty }{\left|h[k]\right|}}
若
h
[
n
]
{\displaystyle h[n]}
∑
k
=
−
∞
∞
|
h
[
k
]
|
=
‖
h
‖
1
<
∞
{\displaystyle \sum _{k=-\infty }^{\infty }{\left|h[k]\right|}=\|h\|_{1}<\infty }
‖
x
‖
∞
∑
k
=
−
∞
∞
|
h
[
k
]
|
=
‖
x
‖
∞
‖
h
‖
1
{\displaystyle \|x\|_{\infty }\sum _{k=-\infty }^{\infty }{\left|h[k]\right|}=\|x\|_{\infty }\|h\|_{1}}
因此若
h
[
n
]
{\displaystyle h[n]}
|
x
[
n
]
|
{\displaystyle \left|x[n]\right|}
‖
x
‖
∞
‖
h
‖
1
<
∞
{\displaystyle \|x\|_{\infty }\|h\|_{1}<\infty }
|
y
[
n
]
|
{\displaystyle \left|y[n]\right|}
连续时间的情形也可以依类似的方式证明。
线性非时变系统频域分析下的条件 [ 编辑 ] 连续时间信号 [ 编辑 ] 对于一个有理 的连续时间系统，稳定性的条件是拉普拉斯转换 的收敛区域 包括复数平面 的虚轴。若系统为因果系统 ，其收敛区域为“最大极点”（实部为最大值的极点）实部垂直线往右的开集 ，定义收敛区域的极点实部称为收敛横坐标 S平面 的严格左半平面（不能在虚轴上）。
可以将时域分析下的稳定性条件扩展到频域下：
∫
−
∞
∞
|
h
(
t
)
|
d
t
{\displaystyle \int _{-\infty }^{\infty }{\left|h(t)\right|\,\operatorname {d} t}}
=
∫
−
∞
∞
|
h
(
t
)
|
|
e
−
j
ω
t
|
d
t
{\displaystyle =\int _{-\infty }^{\infty }{\left|h(t)\right|\left|e^{-j\omega t}\right|dt}}
=
∫
−
∞
∞
|
h
(
t
)
(
1
⋅
e
)
−
j
ω
t
|
d
t
{\displaystyle =\int _{-\infty }^{\infty }{\left|h(t)(1\cdot e)^{-j\omega t}\right|dt}}
=
∫
−
∞
∞
|
h
(
t
)
(
e
σ
+
j
ω
)
−
t
|
d
t
{\displaystyle =\int _{-\infty }^{\infty }{\left|h(t)(e^{\sigma +j\omega })^{-t}\right|dt}}
=
∫
−
∞
∞
|
h
(
t
)
e
−
s
t
|
d
t
{\displaystyle =\int _{-\infty }^{\infty }{\left|h(t)e^{-st}\right|dt}}
其中
s
=
σ
+
j
ω
{\displaystyle s=\sigma +j\omega }
Re
(
s
)
=
σ
=
0
{\displaystyle {\mbox{Re}}(s)=\sigma =0}
因此收敛区域 必须包括虚轴。
离散时间信号 [ 编辑 ] 对于一个有理 的离散时间 系统，稳定性的条件是Z转换 的收敛区域 包括单位圆 。若系统为因果系统 ，其收敛区域为极点绝对值中最大值为半径的圆周以外的开集 ，因此，若要有BIBO稳定性，系统的所有极点都需在Z平面 的单位圆内（不能在单位圆上）。
可以用类似的方式推导稳定性准则：
∑
n
=
−
∞
∞
|
h
[
n
]
|
=
∑
n
=
−
∞
∞
|
h
[
n
]
|
|
e
−
j
ω
n
|
{\displaystyle \sum _{n=-\infty }^{\infty }{\left|h[n]\right|}=\sum _{n=-\infty }^{\infty }{\left|h[n]\right|\left|e^{-j\omega n}\right|}}
=
∑
n
=
−
∞
∞
|
h
[
n
]
(
1
⋅
e
)
−
j
ω
n
|
{\displaystyle =\sum _{n=-\infty }^{\infty }{\left|h[n](1\cdot e)^{-j\omega n}\right|}}
=
∑
n
=
−
∞
∞
|
h
[
n
]
(
r
e
j
ω
)
−
n
|
{\displaystyle =\sum _{n=-\infty }^{\infty }{\left|h[n](re^{j\omega })^{-n}\right|}}
=
∑
n
=
−
∞
∞
|
h
[
n
]
z
−
n
|
{\displaystyle =\sum _{n=-\infty }^{\infty }{\left|h[n]z^{-n}\right|}}
其中
z
=
r
e
j
ω
{\displaystyle z=re^{j\omega }}
r
=
|
z
|
=
1
{\displaystyle r=|z|=1}
因此收敛区域 必须包括单位圆 。
相关条目 [ 编辑 ] 延伸阅读 [ 编辑 ]
Gordon E. Carlson Signal and Linear Systems Analysis with Matlab second edition, Wiley, 1998, ISBN 0-471-12465-6
John G. Proakis and Dimitris G. Manolakis Digital Signal Processing Principals, Algorithms and Applications third edition, Prentice Hall, 1996, ISBN 0-13-373762-4
D. Ronald Fannin, William H. Tranter, and Rodger E. Ziemer Signals & Systems Continuous and Discrete fourth edition, Prentice Hall, 1998, ISBN 0-13-496456-X
Proof of the necessary conditions for BIBO stability. （页面存档备份 ，存于互联网档案馆 ）Christophe Basso Designing Control Loops for Linear and Switching Power Supplies: A Tutorial Guide first edition, Artech House, 2012, 978-1608075577
![{\displaystyle \ |y[n]|\leq B\quad \forall n\in \mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/44876ba987ca7444c0cd3a33e25084d314d7d442)
![{\displaystyle \ \sum _{n=-\infty }^{\infty }{\left|h[n]\right|}=\|h\|_{1}<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/161d1bac676ba1aabc6c40e3544506d80acef0d5)
![{\displaystyle \ h[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/510ff22bd387c23a8194c0b2cee7d630f48d2659)
![{\displaystyle \ x[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98ced457fbdfb2c87a5cb5375b403a1c1c8212f6)
![{\displaystyle \ y[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f44518ac8f35f9734dd0907891bb38262ef2d052)
![{\displaystyle \ y[n]=h[n]*x[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff9d890ceb9b201729dcc4bf5844face94b58215)
![{\displaystyle \ y[n]=\sum _{k=-\infty }^{\infty }{h[k]x[n-k]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8a582c4fdbf53782af354d76509cd8a2dd679cd)
![{\displaystyle \ |x[n]|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7d03157f1295930f4074ed4f8bca5a6992c1d97)
![{\displaystyle \left|y[n]\right|=\left|\sum _{k=-\infty }^{\infty }{h[n-k]x[k]}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d5759164337cce80f7232d8bdb129d48d9f9bec)
![{\displaystyle \leq \sum _{k=-\infty }^{\infty }{\left|h[n-k]\right|\left|x[k]\right|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98ed90b0c4de65376f6eb3a812bd2d000a95f7f2)
![{\displaystyle \leq \sum _{k=-\infty }^{\infty }{\left|h[n-k]\right|\|x\|_{\infty }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/414e6e5f006c4e99d1069c8a92386dc63471f2c3)
![{\displaystyle =\|x\|_{\infty }\sum _{k=-\infty }^{\infty }{\left|h[n-k]\right|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02ddf05b59424b195df02e031c7b1b6d85eba0b4)
![{\displaystyle =\|x\|_{\infty }\sum _{k=-\infty }^{\infty }{\left|h[k]\right|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d49d06ec3aaf8a951b669b5a1dc9ad33a793410)
![{\displaystyle h[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89981bbbb05ffd469eeadb828c18359965985e46)
![{\displaystyle \sum _{k=-\infty }^{\infty }{\left|h[k]\right|}=\|h\|_{1}<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6f61a9de3747a6d7db4a14ff85ab624a7807d56)
![{\displaystyle \|x\|_{\infty }\sum _{k=-\infty }^{\infty }{\left|h[k]\right|}=\|x\|_{\infty }\|h\|_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c4814b58f6e710292272c780891426f31894517)
![{\displaystyle \left|x[n]\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a14fb4079caabff0e9005ab6218e321fecb4d30)
![{\displaystyle \left|y[n]\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/669347cb1262a4ca0c5bcddec292b20e93f6591f)
![{\displaystyle \sum _{n=-\infty }^{\infty }{\left|h[n]\right|}=\sum _{n=-\infty }^{\infty }{\left|h[n]\right|\left|e^{-j\omega n}\right|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3beac28a0c80a00962fa07aa6d35bf2e8d93944)
^{-j\omega n}\right|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80181de05a13e0bc0ae329ecf551d1e743240d69)
^{-n}\right|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d301c384ee3171c46d53ae1938f58432fe85d060)
![{\displaystyle =\sum _{n=-\infty }^{\infty }{\left|h[n]z^{-n}\right|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a359ea08959c3975802edc55a493d50ba536852)
