【现代控制理论】【控制系统的状态空间分析】【线性连续系统的能观性】
【现代控制理论】【控制系统的状态空间分析】【线性连续系统的能观性】
- 一、 直观理解
- 二、数学描述
- 三、 能观性定义
- 四、能观性矩阵判据
- 定义能观性矩阵
- 证明能观性矩阵判据
- 步骤1:系统的零输入响应
- 步骤2:应用凯莱-哈密顿定理
- 步骤3:输出响应的有限项表示
- 步骤4:构造能观性条件
- 步骤5:能观性的充要条件
- 步骤6:充分性证明
- 步骤7:必要性证明
- 五、能观性判断实例
- 示例系统
- 构造能观性矩阵
- 判断能观性
一、 直观理解
能观性研究的核心问题是:能否通过系统在有限时间内的输出测量值,唯一地确定系统的初始状态。
简单比喻:将一个系统看作黑箱,只能看到外部输出(如仪表指针)。能观性就是问:通过观察这些输出变化,能否准确推断黑箱内部所有状态(如齿轮位置、速度等)的初始值?
二、数学描述
考虑线性时不变连续系统:
{x˙(t)=Ax(t)+Bu(t)y(t)=Cx(t)+Du(t)\begin{cases} \dot{\mathbf{x}}(t) = A\mathbf{x}(t) + B\mathbf{u}(t) \\ \mathbf{y}(t) = C\mathbf{x}(t) + D\mathbf{u}(t) \end{cases}{x˙(t)=Ax(t)+Bu(t)y(t)=Cx(t)+Du(t)
其中参数说明:
- x(t)∈Rn\mathbf{x}(t) \in \mathbb{R}^nx(t)∈Rn:状态向量
- u(t)∈Rp\mathbf{u}(t) \in \mathbb{R}^pu(t)∈Rp:输入向量
- y(t)∈Rq\mathbf{y}(t) \in \mathbb{R}^qy(t)∈Rq:输出向量
- A,B,C,DA, B, C, DA,B,C,D:适当维数的常数矩阵
三、 能观性定义
形式化定义:如果对任意初始状态 x(0)=x0\mathbf{x}(0) = \mathbf{x}_0x(0)=x0,存在有限时间 t1>0t_1 > 0t1>0,使得根据区间 [0,t1][0, t_1][0,t1] 上的输出 y(t)\mathbf{y}(t)y(t) 和输入 u(t)\mathbf{u}(t)u(t),能唯一确定初始状态 x0\mathbf{x}_0x0,则称系统是完全能观的。
重要说明:能观性是系统的内在属性,只取决于矩阵 AAA 和 CCC,与输入 u(t)\mathbf{u}(t)u(t) 无关。
四、能观性矩阵判据
定义能观性矩阵
O=[CCACA2⋮CAn−1]\mathcal{O} = \begin{bmatrix} C \\ CA \\ CA^2 \\ \vdots \\ CA^{n-1} \end{bmatrix}O=CCACA2⋮CAn−1其中 nnn 为状态维数。
判据:系统完全能观的充要条件是:rank(O)=n\text{rank}(\mathcal{O}) = nrank(O)=n
证明能观性矩阵判据
步骤1:系统的零输入响应
考虑零输入情况(u(t)=0\mathbf{u}(t) = 0u(t)=0),系统方程为:
{x˙=Axy=Cx\begin{cases} \dot{\mathbf{x}} = A\mathbf{x} \\ \mathbf{y} = C\mathbf{x} \end{cases}{x˙=Axy=Cx
解为:
- x(t)=eAtx(0)\mathbf{x}(t) = e^{At}\mathbf{x}(0)x(t)=eAtx(0)
- y(t)=CeAtx(0)\mathbf{y}(t) = Ce^{At}\mathbf{x}(0)y(t)=CeAtx(0)
步骤2:应用凯莱-哈密顿定理
设 AAA 的特征多项式为:
p(λ)=det(λI−A)=λn+an−1λn−1+⋯+a1λ+a0p(\lambda) = \det(\lambda I - A) = \lambda^n + a_{n-1}\lambda^{n-1} + \cdots + a_1\lambda + a_0p(λ)=det(λI−A)=λn+an−1λn−1+⋯+a1λ+a0
根据凯莱-哈密顿定理:p(A)=An+an−1An−1+⋯+a1A+a0I=0p(A) = A^n + a_{n-1}A^{n-1} + \cdots + a_1A + a_0I = 0p(A)=An+an−1An−1+⋯+a1A+a0I=0
由此可得,对于任意 k≥nk \geq nk≥n,AkA^kAk 可表示为 I,A,A2,…,An−1I, A, A^2, \ldots, A^{n-1}I,A,A2,…,An−1 的线性组合。
参考:【矩阵分析与应用】【第8章 特征分析】【8.3.4 凯莱哈密顿定理求解矩阵指数 e^At】
步骤3:输出响应的有限项表示
将 eAte^{At}eAt 的有限项表示代入输出方程:
y(t)=C[α0(t)I+α1(t)A+⋯+αn−1(t)An−1]x(0)\mathbf{y}(t) = C[\alpha_0(t)I + \alpha_1(t)A + \cdots + \alpha_{n-1}(t)A^{n-1}]\mathbf{x}(0)y(t)=C[α0(t)I+α1(t)A+⋯+αn−1(t)An−1]x(0)
整理得:
y(t)=[α0(t)C+α1(t)CA+⋯+αn−1(t)CAn−1]x(0)\mathbf{y}(t) = [\alpha_0(t)C + \alpha_1(t)CA + \cdots + \alpha_{n-1}(t)CA^{n-1}]\mathbf{x}(0)y(t)=[α0(t)C+α1(t)CA+⋯+αn−1(t)CAn−1]x(0)
步骤4:构造能观性条件
为了确定初始状态 x(0)\mathbf{x}(0)x(0),我们需要从输出 y(t)\mathbf{y}(t)y(t) 中提取足够的信息。
考虑在时间 t=0t = 0t=0 附近对输出进行采样或求导。输出 y(t)\mathbf{y}(t)y(t) 及其各阶导数在 t=0t=0t=0 时刻的值为:
y(0)=Cx(0)\mathbf{y}(0) = C\mathbf{x}(0)y(0)=Cx(0)
y˙(0)=CAx(0)\dot{\mathbf{y}}(0) = CA\mathbf{x}(0)y˙(0)=CAx(0)
y¨(0)=CA2x(0)\ddot{\mathbf{y}}(0) = CA^2\mathbf{x}(0)y¨(0)=CA2x(0)
⋮\vdots⋮
y(n−1)(0)=CAn−1x(0)\mathbf{y}^{(n-1)}(0) = CA^{n-1}\mathbf{x}(0)y(n−1)(0)=CAn−1x(0)
将这些方程组合成矩阵形式:
[y(0)y˙(0)y¨(0)⋮y(n−1)(0)]=\begin{bmatrix} \mathbf{y}(0) \\ \dot{\mathbf{y}}(0) \\ \ddot{\mathbf{y}}(0) \\ \vdots \\ \mathbf{y}^{(n-1)}(0) \end{bmatrix} =y(0)y˙(0)y¨(0)⋮y(n−1)(0)=[CCACA2⋮CAn−1]x(0)=Ox(0)\begin{bmatrix} C \\ CA \\ CA^2 \\ \vdots \\ CA^{n-1} \end{bmatrix} \mathbf{x}(0) = \mathcal{O} \mathbf{x}(0)CCACA2⋮CAn−1x(0)=Ox(0)
步骤5:能观性的充要条件
上述方程是一个线性方程组:
Y=Ox(0)\mathbf{Y} = \mathcal{O} \mathbf{x}(0)Y=Ox(0)
其中 Y\mathbf{Y}Y 是由输出及其导数构成的向量。
能观性的含义:能够从 Y\mathbf{Y}Y 唯一确定 x(0)\mathbf{x}(0)x(0)。根据线性代数理论,该方程组有唯一解的充要条件是系数矩阵 O\mathcal{O}O 满列秩:rank(O)=n\text{rank}(\mathcal{O}) = nrank(O)=n
步骤6:充分性证明
- 如果 rank(O)=n\text{rank}(\mathcal{O}) = nrank(O)=n,则:O\mathcal{O}O 的列空间是整个 Rn\mathbb{R}^nRn
- 对于任意 Y\mathbf{Y}Y,方程 Y=Ox(0)\mathbf{Y} = \mathcal{O} \mathbf{x}(0)Y=Ox(0) 有唯一解
- 可通过伪逆求解:x(0)=(OTO)−1OTY\mathbf{x}(0) = (\mathcal{O}^T\mathcal{O})^{-1}\mathcal{O}^T\mathbf{Y}x(0)=(OTO)−1OTY
- 因此系统完全能观。
步骤7:必要性证明
- 如果 rank(O)<n\text{rank}(\mathcal{O}) < nrank(O)<n,则:存在非零向量 v≠0\mathbf{v} \neq 0v=0 使得 Ov=0\mathcal{O}\mathbf{v} = 0Ov=0
- 对于初始状态 x1(0)\mathbf{x}_1(0)x1(0) 和 x2(0)=x1(0)+v\mathbf{x}_2(0) = \mathbf{x}_1(0) + \mathbf{v}x2(0)=x1(0)+v,有 Ox1(0)=Ox2(0)\mathcal{O}\mathbf{x}_1(0) = \mathcal{O}\mathbf{x}_2(0)Ox1(0)=Ox2(0)
- 即两个不同的初始状态产生相同的输出响应,无法从输出唯一确定初始状态
- 因此系统不能观。
五、能观性判断实例
示例系统
考虑二阶系统:
A=[1201],C=[10]A = \begin{bmatrix} 1 & 2 \\ 0 & 1 \end{bmatrix}, \quad C = \begin{bmatrix} 1 & 0 \end{bmatrix}A=[1021],C=[10]
状态维数 n=2n = 2n=2。
构造能观性矩阵
逐步计算:
- CA=[10][1201]=[12]CA = \begin{bmatrix} 1 & 0 \end{bmatrix} \begin{bmatrix} 1 & 2 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 1 & 2 \end{bmatrix}CA=[10][1021]=[12]
- O=[CCA]=[1012]\mathcal{O} = \begin{bmatrix} C \\ CA \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 1 & 2 \end{bmatrix}O=[CCA]=[1102]
判断能观性
计算矩阵的秩:
rank(O)=rank[1012]=2\text{rank}(\mathcal{O}) = \text{rank} \begin{bmatrix} 1 & 0 \\ 1 & 2 \end{bmatrix} = 2rank(O)=rank[1102]=2
由于 rank(O)=n=2\text{rank}(\mathcal{O}) = n = 2rank(O)=n=2,该系统完全能观。
