可控格拉姆矩阵
可控格拉姆矩阵(controllability Gramian)记录线性系统的输入在指定时间内能够影响哪些状态方向,以及达到目标所需的控制能量。它把“能够到达”与“到达有多困难”放在同一个矩阵中;能量采用输入平方积分,是数学代价,只有在具体物理模型下才等于实际能耗。
终点映射与可达方向
对 ,固定 ,定义 换元 也可写成从零到 的 积分。对 ,二次型是 。它为零的方向不受任何输入影响,所以 等价于无幅值限制模型的可控性。[1]
最小能量输入的推导
记所需控制改变量为 ,并假定 正定。候选输入为 代入终点积分得到 ,所以它确实达到目标。任意其他可行输入可写为 ,其中 。于是交叉项 展开平方得到 。后一项非负,且仅在 几乎处处时为零。因此候选输入在 函数几乎处处等价的意义下唯一地最小化能量,且 这一证明也解释了逆矩阵的作用:难以推动的小特征值方向会被更重地惩罚。
一秒内移动一个单位
对二重积分器 ,有 ,故 从零状态在 到达 时,。代入公式得到 ,能量为 。直接积分 ,与二次型相同。
推广到时长 ,同样得到 、。变式。 时能量为 ,而不是简单减半;输入幅度和作用时间同时改变。
若 严格稳定,无穷时域格拉姆矩阵满足 。若矩阵奇异,只有可达子空间内的目标才可实现,不能直接求普通逆;若还有限幅或状态约束,上述最小能量输入可能不再可行,须重新优化。状态或输入单位的缩放也会改变能量解释。
参考资料
- ↑ Sanjay Lall,EE363: Controllability and State Transfer,Continuous-time reachability;Minimum-energy input。