【现代控制理论】| 线性系统的状态空间法

参考资料

• 胡寿松《自动控制原理》第6版
• 刘豹《现代控制理论》第3版
• 哈工大控制学科803考研资料

1. 线性系统的状态空间描述

1.1 状态空间概念

• 状态: 反映系统运动状况, 并可用以确定系统末来行为的信息集合。
• 状态变量: 确定系统状态的一组独立 (数目最少) 变量, 它对于确定系统的运动状态是必 需的, 也是充分的。
• 状态向量：以状态变量为元素构成的向量。
• 状态空间: 以状态变量为坐标所张成的空间。系统某时刻的状态可用状态空间上的点来表 示。
• 状态方程: 状态变量的一阶导数与状态变量、输入变量之间的数学关系, 一般是关于系统 的一阶微分（或差分）方程组。
• 输出方程: 输出变量与状态变量、输入变量之间的数学关系。
• 状态方程与输出方程合称为状态空间描述或状态空间表达式。线性定常系统状态空间表达式一般用矩阵形式表示为: $$\{\begin{array}{l}\dot{x}=Ax+Bu\\ y=Cx+Du\end{array}$$

1.2 状态空间表达式的线性变换及规范化

系统状态空间表达式可由系统微分方程、结构图、传递函数等其他形式的数学模型导出。

描述某一系统的状态变量个数 (维数) 是确定的, 但状态变量的选择并不唯一。某一状态向量经任意满秩线性变换后, 仍可作为状态向量来描述系统。状态变量选择不同, 状态空间表达式形式也不一样。利用线性变换的目的在于使系统矩阵 $\mathbf{A}$ 规范化, 以便于揭示系统特性, 利于分析计算。满秩线性变换不改变系统的固有特性。

根据矩阵 $\mathbf{A}$ 的特征根及相应的独立特征向量情况, 可将矩阵 $\mathbf{A}$ 化为 3 种规范形式: 对角形、 约当形和模式矩阵。

2. 状态转移矩阵 $\Phi (t)$ 与状态方程的解

2.1 状态转移矩阵的性质

• $\Phi (0)=\mathbf{I}$
• $\dot{\Phi }(t)=A\Phi (t)=\Phi (t)\mathbf{A}$
• $\mathbf{\Phi }\left(t_1+t_2\right)=\mathbf{\Phi }\left(t_1\right)\mathbf{\Phi }\left(\pm t_2\right)=\mathbf{\Phi }\left(\pm t_2\right)\mathbf{\Phi }\left(t_1\right)$
• ${\Phi }^{-1}(t)=\mathbf{\Phi }(-t)$
• $[\Phi (t){]}^k=\Phi (kt)$
• $\exp (\mathbf{A}t)\exp (\mathbf{B}t)=\exp [(\mathbf{A}+\mathbf{B})t](\mathbf{AB}=\mathbf{B}\mathbf{A})$
• $\exp \left({\mathbf{P}}^{-1}\mathbf{AP}t\right)={\mathbf{P}}^{-1}\exp (\mathbf{At})\mathbf{P}(\mathbf{P}$ 非奇异 $)$

2.2 求状态转移矩阵 $\mathbf{\Phi }(\mathbf{t})$ 的常用方法

• 拉氏变换法: $\mathbf{\Phi }(t)=L^{-1}\left[(s\mathbf{I}-\mathbf{A}{)}^{-1}\right]$ 。
• 级数展开法: ${\mathrm{e}}^{At}=\mathbf{I}+\mathbf{A}t+\frac{1}{2}{\mathbf{A}}^2{t}^2+\cdots +\frac{1}{k!}{\mathbf{A}}^k{t}^k+\cdots$ 。
• 齐次状态方程求解: $\mathbf{x}(t)=\mathbf{\Phi }(t)\mathbf{x}(0)$ 。
• 非齐次状态方程式 $\{\begin{array}{l}\dot{\mathbf{x}}=\mathbf{A}\mathbf{x}+\mathbf{Bu}\\ \mathbf{y}=\mathbf{C}\mathbf{x}+\mathbf{D}\mathbf{u}\end{array}$ 求解: $\mathbf{x}(t)=\mathbf{\Phi }(t)\mathbf{x}(0)+{\int }_0^{\mathbf{t}}\mathbf{\Phi }(t-\tau )\mathbf{B}\mathbf{u}(\tau )\mathrm{d}\tau$ 。

3. 传递函数矩阵及其实现

• 传递函数矩阵 $\mathbf{G}(s)$ ：输出向量拉氏变换式与输入向量拉氏变换式之间的传递关系。
  $$\mathbf{G}(s)=\mathbf{C}(s\mathbf{I}-\mathbf{A}{)}^{-1}\mathbf{B}+\mathbf{D}$$

• 传递函数矩阵的实现:
  已知传递函数矩阵 $\mathbf{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} 称为 $\mathbf{G}(s)$ 的一个实现。当系统阶数等于传递函数矩阵阶数时, 称该系统为 $\mathbf{G}(s)$ 的最小实现。

  传递函数矩阵的实现并不唯一。实现的常用标准形式有能控标准型实现、能观测标准型实 现、对角形实现和约当形实现等。

4. 线性定常连续系统的离散化及其求解

对 $\{\begin{array}{l}\dot{x}=Ax+Bu\\ y=Cx+Du\end{array}$ 表示的线性定常数连续系统进行离散化, 导出的系统离散状态空间描述:
$$\{\begin{array}{l}\mathbf{x}(k+1)=\mathbf{\Phi }(T)\mathbf{x}(k)+\mathbf{G}(T)\mathbf{u}(k)\\ \mathbf{y}(k)=\mathbf{C}\mathbf{x}(k)+\mathbf{D}(k)\end{array}$$
式中, $$\mathbf{\Phi }(T)={\mathbf{\Phi }(t)|}_{t=T},\mathbf{G}(T)={\int }_0^T\mathbf{\Phi }(\tau )\mathbf{B}\mathrm{d}\tau$$
离散状态方程式的解为: $$\mathbf{x}(k)={\mathbf{\Phi }}^k(T)\mathbf{x}(0)+\sum _{i=0}^{k-1}{\mathbf{\Phi }}^{k-1-i}(T)\mathbf{G}(T)\mathbf{u}(i)$$

5. 线性系统的能控性与能观测性

5.1 系统的 (状态) 能控性

设系统状态方程为 $\dot{\mathbf{x}}=\mathbf{A}\mathbf{x}+\mathbf{Bu}$, 若在有限时间间隔 $t\in \left[t_0,t_{\mathrm{f}}\right]$ 内存在无约束的分段连续控制 函数 $\mathbf{u}(t)$, 能使系统从任意初始状态 $\mathbf{x}\left(t_0\right)$ 转移到任意的终止状态 $\mathbf{x}\left(t_{\mathrm{f}}\right)$, 则称系统是状态完全 能控的, 简称能控。

5.2 能控性判据

• $\mathrm{rank}\left[\begin{array}{lllll}\mathbf{B}& \mathbf{A}\mathbf{B}& {\mathbf{A}}^2\mathbf{B}& \cdots & {\mathbf{A}}^{n-1}\mathbf{B}\end{array}\right]=n$ 。
• 当 $\mathbf{A}$ 为对角矩阵且特征根互异时, 输入矩阵 $\mathbf{B}$ 中无全零行（当矩阵 $\mathbf{A}$ 有相同特征根 时不适用。
  当 $\mathbf{A}$ 为约当矩阵且相同特征根分布在一个约当块内时, 输入矩阵中与约当块最后一行对应 的行中不全为零, 且输入矩阵中与相异特征根对应的行不全为零 (当相同特征根分布在两个或 两个以上约当块时不适用)。
• $(s\mathbf{I}-\mathbf{A}{)}^{-1}\mathbf{B}$ 的行向量线性无关。
• 单输入系统 { A , B } \{\boldsymbol{A}, \boldsymbol{B}\} {A,B} 为能控标准型。
• 单输入-单输出系统, 当由状态空间表达式导出的传递函数没有零、极点对消时, 系 统能控、能观测 (对多输入-多输出系统不适用)。
  连续系统状态方程离散化后的能控性: 连续系统不能控, 离散化的系统一定不能控; 连续 系统能控, 离散化后的系统不一定能控 (与采样周期的选择有关)。

5.3 系统状态能观测性

已知输入 $\mathbf{u}(t)$ 及有限时间间隔 $t\in \left[t_0,t_{\mathrm{f}}\right]$ 内测量到的输出 $\mathbf{y}(t)$, 若能唯一确定初始状态 $x\left(t_0\right)$, 则称系统是完全能观测的, 简称能观测。

5.4 能观性判据

• $\mathrm{rank}\left[{\mathbf{C}}^{\mathrm{T}}{\mathbf{A}}^{\mathrm{T}}{\mathbf{C}}^{\mathrm{T}}\cdots {\left({\mathbf{A}}^{\mathrm{T}}\right)}^{n-1}{\mathbf{C}}^{\mathrm{T}}\right]=n$ 。

• 当 $\mathbf{A}$ 为对角矩阵且有相异特征值时, 输出矩阵无全零列 ( $\mathbf{A}$ 阵有相同特征值时不适用)。 当 $\mathbf{A}$ 为约当阵且相同特征值分布在一个约当块时, 输出矩阵中与约当块最前一列对应的列 不全为零, 输出矩阵中与相异特征值对应的列不全为零 (相同特征值分布在两个或更多个约当 块时不适用)。

• $\mathbf{C}(s\mathbf{I}-\mathbf{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} 与 ${\mathrm{S}}_2\left\{{\mathbf{A}}^{\mathrm{T}},{\mathbf{C}}^{\mathrm{T}},{\mathbf{B}}^{\mathrm{T}}\right\}$ 互为对偶系统。若系统 ${\mathrm{S}}_1$ 能控, 则 ${\mathrm{S}}_2$ 能观测; 若系统 ${\mathrm{S}}_1$ 能观测, 则 ${\mathrm{S}}_2$ 能控。

5.5 线性定常系统的规范分解

从能控性、能观测性出发, 状态变量可分解为能控能观测${\mathbf{x}}_{\mathrm{co}}$ 、能控不能观测 ${\mathbf{x}}_{\mathrm{c}\overline{o}}$ 、不能控 能观测 ${\mathbf{x}}_{\overline{\mathrm{c}}o}$ 和不能控不能观测 ${\mathbf{x}}_{\overline{\mathrm{c}}\overline{o}}$ 四类。以此对应将状态空间划分为四个子空间, 系统也对应分解为四个子系统, 这称为系统的规范分解。

6. 转化空间表达式的规范型

6.1 化 $\mathbf{A}$ 阵为对角型

• 设 $\mathbf{A}$ 阵为任意形式的方阵, 且有 $n$ 个互异实数特征值 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n$, 则可由非奇异线性变换化为对角阵:
  $$\mathbf{\Lambda }={\mathbf{P}}^{-1}\mathbf{A}\mathbf{P}=\left[\begin{array}{llll}{\lambda }_1& & & \\ & {\lambda }_2& & \\ & & \ddots & \\ & & & {\lambda }_n\end{array}\right]$$
  $\mathbf{P}$ 阵由 $\mathbf{A}$ 阵的实数特征向量 ${\mathbf{p}}_i(i=1,2,\cdots ,n)$ 组成: $$\mathbf{P}=\left[\begin{array}{llll}{\mathbf{p}}_1& {\mathbf{p}}_2& \cdots & {\mathbf{p}}_n\end{array}\right]$$

  特征向量满足: $$\mathbf{A}{\mathbf{p}}_{\mathbf{i}}={\lambda }_i{\mathbf{p}}_i;i=1,2,\cdots ,n$$

• 若 $\mathbf{A}$ 阵为友矩阵, 且有 $n$ 个互异实数特征值 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n$, 则下列的范德蒙特矩阵 $\mathbf{P}$

  可使 $\mathbf{A}$ 对角化:
  $$\mathbf{A}=\left[\begin{array}{ccccc}0& 1& 0& \cdots & 0\\ 0& 0& 1& \cdots & 0\\ ⋮& ⋮& ⋮& & ⋮\\ 0& 0& 0& \cdots & 1\\ -a_0& -a_1& -a_2& \cdots & -a_{n-1}\end{array}\right],\mathbf{P}=\left[\begin{array}{cccc}1& 1& \cdots & 1\\ {\lambda }_1& {\lambda }_2& \cdots & {\lambda }_n\\ {\lambda }_1^2& {\lambda }_2^2& \cdots & {\lambda }_n^2\\ ⋮& ⋮& & ⋮\\ {\lambda }_1^{n-1}& {\lambda }_2^{n-1}& \cdots & {\lambda }_n^{n-1}\end{array}\right]$$

6.2 化能控系统为能控标准型

能控标准型为: $$\left[\begin{array}{c}{\dot{x}}_1\\ {\dot{x}}_2\\ ⋮\\ {\dot{x}}_{n-1}\\ {\dot{x}}_n\end{array}\right]=\left[\begin{array}{ccccc}0& 1& 0& \cdots & 0\\ 0& 0& 1& \cdots & 0\\ ⋮& ⋮& ⋮& & ⋮\\ 0& 0& 0& \cdots & 1\\ -a_0& -a_1& -a_2& \cdots & -a_{n-1}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_{n-1}\\ x_n\end{array}\right]+\left[\begin{array}{c}0\\ 0\\ ⋮\\ 0\\ 1\end{array}\right]u$$
变换矩阵 ${\mathbf{P}}^{-1}$ 的求法如下:

• 计算能控性矩阵 $\mathbf{S}=\left[\begin{array}{lllll}\mathbf{B}& \mathbf{AB}& {\mathbf{A}}^2\mathbf{B}& \cdots & {\mathbf{A}}^{n-1}\mathbf{B}\end{array}\right]$ 。
• 计算能控性矩阵的逆矩阵 ${\mathbf{S}}^{-1}$, 设一般形式为 ${\mathbf{S}}^{-1}=\left[\begin{array}{cccc}{S}_{11}& S_{12}& \cdots & S_{1n}\\ S_{21}& S_{22}& \cdots & S_{2n}\\ ⋮& ⋮& & ⋮\\ S_{n1}& S_{n2}& \cdots & S_{nn}\end{array}\right]$ 。
• 取出 ${\mathbf{S}}^{-1}$ 的最后一行（即第 $n$ 行）构成 ${\mathbf{p}}_1$ 行向量 $${\mathbf{p}}_1=\left[\begin{array}{llll}{S}_{n1}& S_{n2}& \cdots & S_{nn}\end{array}\right]$$
• 构造 $\mathbf{P}$ 阵 $$\mathbf{P}=\left[\begin{array}{c}{\mathbf{p}}_1\\ {\mathbf{p}}_1\mathbf{A}\\ ⋮\\ {\mathbf{p}}_1{\mathbf{A}}^{n-1}\end{array}\right]$$
• ${\mathbf{P}}^{-1}$ 便是将非能控标准型系统化为能控标准型的变换矩阵。 运用对偶原理化能观测系统为能观测标准型。

7. 状态空间的分解

7.1 系统按能控性分解。

设不能控系统的状态空间方程为: $$\dot{\mathbf{x}}=\mathbf{Ax}+\mathbf{Bu},\mathbf{y}=\mathbf{Cx}$$
式中, $\mathbf{x}$ 为 $n$ 维状态向量; $\mathbf{u}$ 为 $p$ 维输出向量; $\mathbf{A},\mathbf{B},\mathbf{C}$ 为具有相应维数的矩阵。
若系统能控性矩阵的秩为 $r(r<n)$, 则可以从能控性矩阵中选出 $r$ 个线性无关的列向量 ${\mathbf{s}}_1$, $s_2,\cdots ,s_r$, 另外再任意选取尽可能简单的 $n-r$ 个 $n$ 维列向量 $s_{r+1},s_{r+2},\cdots ,s_n$, 使它们与 { s 1 , s 2 , ⋯   , s r } \left\{s_1, s_2, \cdots, s_r\right\} {s1​,s2​,⋯,sr​} 线性无关, 这样构造 ${\mathbf{P}}^{-1}$:
$$P^{-1}=\left[\begin{array}{lllllll}{s}_1& s_2& \cdots & s_r& s_{r+1}& \cdots & s_n\end{array}\right]$$
对上式进行非奇异线性变换: $$\left[\begin{array}{c}{\dot{x}}_{\mathrm{c}}\\ {\mathbf{x}}_{\overline{\mathrm{x}}}\end{array}\right]={\mathbf{PAP}}^{-1}\left[\begin{array}{l}{\mathbf{x}}_{\mathrm{c}}\\ {\mathbf{x}}_{\overline{\mathrm{c}}}\end{array}\right]+\mathbf{PBu},\mathbf{y}=\mathbf{C}{\mathbf{P}}^{-1}\left[\begin{array}{l}{\mathbf{x}}_{\mathrm{c}}\\ {\mathbf{x}}_{\overline{\mathrm{c}}}\end{array}\right]$$
式中, ${\mathbf{x}}_{\mathrm{c}}$ 为 $r$ 维能控状态子向量; ${\mathbf{x}}_{\mathrm{c}}$ 为 $n-r$ 维不能控状态子向量, 并且
$$\mathbf{P}\mathbf{A}{\mathbf{P}}^{-1}=\left[\begin{array}{cc}{\overline{\mathbf{A}}}_{11}& {\overline{\mathbf{A}}}_{12}\\ 0& {\overline{\mathbf{A}}}_{22}\end{array}\right],\mathbf{PB}=\left[\begin{array}{c}{\overline{\mathbf{B}}}_1\\ 0\end{array}\right],\mathbf{CP}{}^{-1}=\left[\begin{array}{ll}{\overline{\mathbf{C}}}_1& {\overline{\mathbf{C}}}_2\end{array}\right]$$
则能控子系统状态空间方程为: $${\dot{\mathbf{x}}}_{\mathrm{c}}={\overline{\mathbf{A}}}_{11}{\mathbf{x}}_{\mathrm{c}}+{\overline{\mathbf{A}}}_{12}{\mathbf{x}}_{\mathrm{c}}+{\overline{\mathbf{B}}}_1\mathbf{u},{\mathbf{y}}_1={\overline{\mathbf{C}}}_1{x}_{\mathrm{c}}$$
不能控子系统状态方程为: $${\dot{x}}_{\overline{\mathrm{c}}}={\bar{A}}_{22}{x}_{\bar{c}},y_2={\bar{C}}_2{x}_{\bar{c}}$$

系统按能观测行分解: 可以运用对偶原理。

8. 线性定常系统的状态反馈与状态观测器

• 状态反馈与极点配置。

  用状态反馈实现闭环极点任意配置的充要条件是被控系统能控。 状态反馈不改变系统的零点, 只改变系统的极点。

  在引入状态反馈后, 系统能控性不变, 但其能观测性不一定与原系统一致。单输入无零点 系统在引入状态反馈后不会出现零、极点对消, 故其能观测性与原系统保持一致。

• 输出反馈（到状态微分处）与极点配置。

  用输出反馈实现闭环极点任意配置的充要条 件是被控系统能观测。输出反馈不改变系统的零点。

  在引入输出反馈后不改变系统的能观测性, 但其能控性不一定与原系统保持一致。

• 输出到输入参考点的常值增益反馈可以配置的闭环极点数为 min ⁡ { n , p + q − 1 } \min \{n, p+q-1\} min{n,p+q−1} 。

  式中, $p=\mathrm{rank}\mathbf{B},q=\mathrm{rank}\mathbf{C}$, 故一般情况下不能像输出到状态微分处反馈那样任意配置系统闭环极点。

• 状态观测器及其设计。
  若被控系统 { A , B , C } \{\boldsymbol{A}, \boldsymbol{B}, \boldsymbol{C}\} {A,B,C} 能观测, 则其状态可用形如 $\dot{\hat{\mathbf{x}}}=(\mathbf{A}-\mathbf{HC})\hat{\mathbf{x}}$ $+\mathbf{Bu}+\mathbf{H}\mathbf{y}$ 的全维状态观测器给出估值。矩阵 $\mathbf{H}$ 按任意配置极点的需要来选择, 以决定状态误差衰减的速率。

分离定理:

若被控系统能控能观测, 当用状态观测器估值形成状态反馈时, 其系统的极点 配置和观测器设计可分别独立进行。即矩阵 $\mathbf{K}$ 与 $\mathbf{H}$ 的设计可分别独立进行。

9. 例题