系统状态空间表达式可由系统微分方程、结构图、传递函数等其他形式的数学模型导出。
描述某一系统的状态变量个数 (维数) 是确定的, 但状态变量的选择并不唯一。某一状态向量经任意满秩线性变换后, 仍可作为状态向量来描述系统。状态变量选择不同, 状态空间表达式形式也不一样。利用线性变换的目的在于使系统矩阵 A \boldsymbol{A} A 规范化, 以便于揭示系统特性, 利于分析计算。满秩线性变换不改变系统的固有特性。
根据矩阵 A \boldsymbol{A} A 的特征根及相应的独立特征向量情况, 可将矩阵 A \boldsymbol{A} A 化为 3 种规范形式: 对角形、 约当形和模式矩阵。
传递函数矩阵
G
(
s
)
\boldsymbol{G}(s)
G(s) :输出向量拉氏变换式与输入向量拉氏变换式之间的传递关系。
G
(
s
)
=
C
(
s
I
−
A
)
−
1
B
+
D
\boldsymbol{G}(s)=\boldsymbol{C}(s \boldsymbol{I}-\boldsymbol{A})^{-1} \boldsymbol{B}+\boldsymbol{D}
G(s)=C(sI−A)−1B+D
传递函数矩阵的实现:
已知传递函数矩阵
G
(
s
)
\boldsymbol{G}(s)
G(s), 找一个系统
{
A
,
B
,
C
,
D
}
\{\boldsymbol{A}, \boldsymbol{B}, \boldsymbol{C}, \boldsymbol{D}\}
{A,B,C,D} 使上式成立, 则将 系统
{
A
,
B
,
C
,
D
}
\{\boldsymbol{A}, \boldsymbol{B}, \boldsymbol{C}, \boldsymbol{D}\}
{A,B,C,D} 称为
G
(
s
)
\boldsymbol{G}(s)
G(s) 的一个实现。当系统阶数等于传递函数矩阵阶数时, 称该系统为
G
(
s
)
\boldsymbol{G}(s)
G(s) 的最小实现。
传递函数矩阵的实现并不唯一。实现的常用标准形式有能控标准型实现、能观测标准型实 现、对角形实现和约当形实现等。
对
{
x
˙
=
A
x
+
B
u
y
=
C
x
+
D
u
\left\{
{
x
(
k
+
1
)
=
Φ
(
T
)
x
(
k
)
+
G
(
T
)
u
(
k
)
y
(
k
)
=
C
x
(
k
)
+
D
(
k
)
\left\{
式中,
Φ
(
T
)
=
Φ
(
t
)
∣
t
=
T
,
G
(
T
)
=
∫
0
T
Φ
(
τ
)
B
d
τ
\boldsymbol{\Phi}(T)=\left.\boldsymbol{\Phi}(t)\right|_{t=T}, \boldsymbol{G}(T)=\int_0^T \boldsymbol{\Phi}(\tau) \boldsymbol{B} \mathrm{d} \tau
Φ(T)=Φ(t)∣t=T,G(T)=∫0TΦ(τ)Bdτ
离散状态方程式的解为:
x
(
k
)
=
Φ
k
(
T
)
x
(
0
)
+
∑
i
=
0
k
−
1
Φ
k
−
1
−
i
(
T
)
G
(
T
)
u
(
i
)
\boldsymbol{x}(k)=\boldsymbol{\Phi}^k(T) \boldsymbol{x}(0)+\sum_{i=0}^{k-1} \boldsymbol{\Phi}^{k-1-i}(T) \boldsymbol{G}(T) \boldsymbol{u}(i)
x(k)=Φk(T)x(0)+i=0∑k−1Φk−1−i(T)G(T)u(i)
设系统状态方程为 x ˙ = A x + B u \dot{\boldsymbol{x}}=\boldsymbol{A} \boldsymbol{x}+\boldsymbol{B u} x˙=Ax+Bu, 若在有限时间间隔 t ∈ [ t 0 , t f ] t \in\left[t_0, t_{\mathrm{f}}\right] t∈[t0,tf] 内存在无约束的分段连续控制 函数 u ( t ) \boldsymbol{u}(t) u(t), 能使系统从任意初始状态 x ( t 0 ) \boldsymbol{x}\left(t_0\right) x(t0) 转移到任意的终止状态 x ( t f ) \boldsymbol{x}\left(t_{\mathrm{f}}\right) x(tf), 则称系统是状态完全 能控的, 简称能控。
已知输入 u ( t ) \boldsymbol{u}(t) u(t) 及有限时间间隔 t ∈ [ t 0 , t f ] t \in\left[t_0, t_{\mathrm{f}}\right] t∈[t0,tf] 内测量到的输出 y ( t ) \boldsymbol{y}(t) y(t), 若能唯一确定初始状态 x ( t 0 ) x\left(t_0\right) x(t0), 则称系统是完全能观测的, 简称能观测。
rank [ C T A T C T ⋯ ( A T ) n − 1 C T ] = n \operatorname{rank}\left[\boldsymbol{C}^{\mathrm{T}} \quad \boldsymbol{A}^{\mathrm{T}} \boldsymbol{C}^{\mathrm{T}} \quad \cdots \quad\left(\boldsymbol{A}^{\mathrm{T}}\right)^{n-1} \boldsymbol{C}^{\mathrm{T}}\right]=n rank[CTATCT⋯(AT)n−1CT]=n 。
当 A \boldsymbol{A} A 为对角矩阵且有相异特征值时, 输出矩阵无全零列 ( A \boldsymbol{A} A 阵有相同特征值时不适用)。 当 A \boldsymbol{A} A 为约当阵且相同特征值分布在一个约当块时, 输出矩阵中与约当块最前一列对应的列 不全为零, 输出矩阵中与相异特征值对应的列不全为零 (相同特征值分布在两个或更多个约当 块时不适用)。
C ( s I − A ) − 1 \boldsymbol{C}(s \boldsymbol{I}-\boldsymbol{A})^{-1} C(sI−A)−1 的列向量线性无关。
单输出系统 { A , C } \{\boldsymbol{A}, \boldsymbol{C}\} {A,C} 为能观测标准型。
连续系统离散化后的能观测性: 连续系统不能观测, 离散化后一定不能观测; 连续系统能观测, 离散化后不一定能观测(与采样周期的选择有关)。
对偶原理: 线性系统 S 1 { A , B , C } \mathrm{S}_1\{\boldsymbol{A}, \boldsymbol{B}, \boldsymbol{C}\} S1{A,B,C} 与 S 2 { A T , C T , B T } \mathrm{S}_2\left\{\boldsymbol{A}^{\mathrm{T}}, \boldsymbol{C}^{\mathrm{T}}, \boldsymbol{B}^{\mathrm{T}}\right\} S2{AT,CT,BT} 互为对偶系统。若系统 S 1 \mathrm{S}_1 S1 能控, 则 S 2 \mathrm{S}_2 S2 能观测; 若系统 S 1 \mathrm{S}_1 S1 能观测, 则 S 2 \mathrm{S}_2 S2 能控。
从能控性、能观测性出发, 状态变量可分解为能控能观测 x c o \boldsymbol{x}_{\mathrm{co}} xco 、能控不能观测 x c o ‾ \boldsymbol{x}_{\mathrm{c}\overline{o}} xco 、不能控 能观测 x c ‾ o \boldsymbol{x}_{\overline{\mathrm{c}} o} xco 和不能控不能观测 x c ‾ o ‾ \boldsymbol{x}_{\overline{\mathrm{c}} \overline{o}} xco 四类。以此对应将状态空间划分为四个子空间, 系统也对应分解为四个子系统, 这称为系统的规范分解。
设
A
\boldsymbol{A}
A 阵为任意形式的方阵, 且有
n
n
n 个互异实数特征值
λ
1
,
λ
2
,
⋯
,
λ
n
\lambda_1, \lambda_2, \cdots, \lambda_n
λ1,λ2,⋯,λn, 则可由非奇异线性变换化为对角阵:
Λ
=
P
−
1
A
P
=
[
λ
1
λ
2
⋱
λ
n
]
\boldsymbol{\Lambda}=\boldsymbol{P}^{-1} \boldsymbol{A} \boldsymbol{P}=\left[
P
\boldsymbol{P}
P 阵由
A
\boldsymbol{A}
A 阵的实数特征向量
p
i
(
i
=
1
,
2
,
⋯
,
n
)
\boldsymbol{p}_i(i=1,2, \cdots, n)
pi(i=1,2,⋯,n) 组成:
P
=
[
p
1
p
2
⋯
p
n
]
\boldsymbol{P}=\left[
特征向量满足: A p i = λ i p i ; i = 1 , 2 , ⋯ , n \boldsymbol{A \boldsymbol { p } _ { i }}=\lambda_i \boldsymbol{p}_i ; \quad i=1,2, \cdots, n Api=λipi;i=1,2,⋯,n
若 A \boldsymbol{A} A 阵为友矩阵, 且有 n n n 个互异实数特征值 λ 1 , λ 2 , ⋯ , λ n \lambda_1, \lambda_2, \cdots, \lambda_n λ1,λ2,⋯,λn, 则下列的范德蒙特矩阵 P \boldsymbol{P} P
可使
A
\boldsymbol{A}
A 对角化:
A
=
[
0
1
0
⋯
0
0
0
1
⋯
0
⋮
⋮
⋮
⋮
0
0
0
⋯
1
−
a
0
−
a
1
−
a
2
⋯
−
a
n
−
1
]
,
P
=
[
1
1
⋯
1
λ
1
λ
2
⋯
λ
n
λ
1
2
λ
2
2
⋯
λ
n
2
⋮
⋮
⋮
λ
1
n
−
1
λ
2
n
−
1
⋯
λ
n
n
−
1
]
\boldsymbol{A}=\left[
能控标准型为:
[
x
˙
1
x
˙
2
⋮
x
˙
n
−
1
x
˙
n
]
=
[
0
1
0
⋯
0
0
0
1
⋯
0
⋮
⋮
⋮
⋮
0
0
0
⋯
1
−
a
0
−
a
1
−
a
2
⋯
−
a
n
−
1
]
[
x
1
x
2
⋮
x
n
−
1
x
n
]
+
[
0
0
⋮
0
1
]
u
\left[
变换矩阵
P
−
1
\boldsymbol{P}^{-1}
P−1 的求法如下:
设不能控系统的状态空间方程为:
x
˙
=
A
x
+
B
u
,
y
=
C
x
\dot{\boldsymbol{x}}=\boldsymbol{A x}+\boldsymbol{B u}, \boldsymbol{y}=\boldsymbol{C x}
x˙=Ax+Bu,y=Cx
式中,
x
\boldsymbol{x}
x 为
n
n
n 维状态向量;
u
\boldsymbol{u}
u 为
p
p
p 维输出向量;
A
,
B
,
C
\boldsymbol{A}, \boldsymbol{B}, \boldsymbol{C}
A,B,C 为具有相应维数的矩阵。
若系统能控性矩阵的秩为
r
(
r
<
n
)
r(r
P
−
1
=
[
s
1
s
2
⋯
s
r
s
r
+
1
⋯
s
n
]
P^{-1}=\left[
对上式进行非奇异线性变换:
[
x
˙
c
x
x
‾
]
=
P
A
P
−
1
[
x
c
x
c
‾
]
+
P
B
u
,
y
=
C
P
−
1
[
x
c
x
c
‾
]
\left[
式中,
x
c
\boldsymbol{x}_{\mathrm{c}}
xc 为
r
r
r 维能控状态子向量;
x
c
\boldsymbol{x}_{\mathrm{c}}
xc 为
n
−
r
n-r
n−r 维不能控状态子向量, 并且
P
A
P
−
1
=
[
A
‾
11
A
‾
12
0
A
‾
22
]
,
P
B
=
[
B
‾
1
0
]
,
C
P
−
1
=
[
C
‾
1
C
‾
2
]
\boldsymbol{P} \boldsymbol{A} \boldsymbol{P}^{-1}=\left[
则能控子系统状态空间方程为:
x
˙
c
=
A
‾
11
x
c
+
A
‾
12
x
c
+
B
‾
1
u
,
y
1
=
C
‾
1
x
c
\dot{\boldsymbol{x}}_{\mathrm{c}}=\overline{\boldsymbol{A}}_{11} \boldsymbol{x}_{\mathrm{c}}+\overline{\boldsymbol{A}}_{12} \boldsymbol{x}_{\mathrm{c}}+\overline{\boldsymbol{B}}_1 \boldsymbol{u}, \quad \boldsymbol{y}_1=\overline{\boldsymbol{C}}_1 x_{\mathrm{c}}
x˙c=A11xc+A12xc+B1u,y1=C1xc
不能控子系统状态方程为:
x
˙
c
‾
=
A
ˉ
22
x
c
ˉ
,
y
2
=
C
ˉ
2
x
c
ˉ
\dot{x}_{\overline{\mathrm{c}}}=\bar{A}_{22} x_{\bar{c}}, y_2=\bar{C}_2 x_{\bar{c}}
x˙c=Aˉ22xcˉ,y2=Cˉ2xcˉ
系统按能观测行分解: 可以运用对偶原理。
状态反馈与极点配置。
用状态反馈实现闭环极点任意配置的充要条件是被控系统能控。 状态反馈不改变系统的零点, 只改变系统的极点。
在引入状态反馈后, 系统能控性不变, 但其能观测性不一定与原系统一致。单输入无零点 系统在引入状态反馈后不会出现零、极点对消, 故其能观测性与原系统保持一致。
输出反馈(到状态微分处)与极点配置。
用输出反馈实现闭环极点任意配置的充要条 件是被控系统能观测。输出反馈不改变系统的零点。
在引入输出反馈后不改变系统的能观测性, 但其能控性不一定与原系统保持一致。
输出到输入参考点的常值增益反馈可以配置的闭环极点数为 min { n , p + q − 1 } \min \{n, p+q-1\} min{n,p+q−1} 。
式中, p = rank B , q = rank C p=\operatorname{rank} \boldsymbol{B}, q=\operatorname{rank} \boldsymbol{C} p=rankB,q=rankC, 故一般情况下不能像输出到状态微分处反馈那样任意配置系统闭环极点。
状态观测器及其设计。
若被控系统
{
A
,
B
,
C
}
\{\boldsymbol{A}, \boldsymbol{B}, \boldsymbol{C}\}
{A,B,C} 能观测, 则其状态可用形如
x
^
˙
=
(
A
−
H
C
)
x
^
\dot{\hat{\boldsymbol{x}}}=(\boldsymbol{A}-\boldsymbol{H C}) \hat{\boldsymbol{x}}
x^˙=(A−HC)x^
+
B
u
+
H
y
+\boldsymbol{B u}+\boldsymbol{H} \boldsymbol{y}
+Bu+Hy 的全维状态观测器给出估值。矩阵
H
\boldsymbol{H}
H 按任意配置极点的需要来选择, 以决定状态误差衰减的速率。
分离定理:
若被控系统能控能观测, 当用状态观测器估值形成状态反馈时, 其系统的极点 配置和观测器设计可分别独立进行。即矩阵 K \boldsymbol{K} K 与 H \boldsymbol{H} H 的设计可分别独立进行。