[论文解读] Hardy-Schatten Norms of Systems, Output Energy Cumulants and Linear Quadro-Quartic Gaussian Control

Igor G. Vladimirov, Ian R. Petersen|arXiv (Cornell University)|Aug 19, 2012

Stochastic processes and financial applications参考文献 1被引用 5

一句话总结

本文提出了一种新颖的线性四次四次高斯（LQQG）控制框架，通过利用闭环系统的 ${\cal H}_2$ 和 ${\cal H}_4$-范数，最小化单位时间内输出能量的平均值与方差的组合。最优控制器通过四次四次性能指标的 Fréchet 导数推导得出，并通过同伦方法进行数值计算，该方法从标准 LQG 控制器出发，沿虚构时间参数积分一个常微分方程（ODE）。

ABSTRACT

This paper is concerned with linear stochastic control systems in state space. The integral of the squared norm of the system output over a bounded time interval is interpreted as energy. The cumulants of the output energy in the infinite-horizon limit are related to Schatten norms of the system in the Hardy space of transfer functions and the risk-sensitive performance index. We employ a novel performance criterion which seeks to minimize a combination of the average value and the variance of the output energy of the system per unit time. The resulting linear quadro-quartic Gaussian control problem involves the H2 and H4-norms of the closed-loop system. We obtain equations for the optimal controller and outline a homotopy method which reduces the solution of the problem to the numerical integration of a differential equation initialized by the standard linear quadratic Gaussian controller.

研究动机与目标

• 开发一种性能准则，联合最小化线性随机系统中输出能量的均值与方差。
• 通过 Hardy-Schatten 范数，特别是 ${\cal H}_4$-范数，将高阶矩（cumulants）纳入风险敏感控制，实现扩展。
• 制定一个线性四次四次高斯（LQQG）控制问题，以捕捉输出能量的二阶与四阶统计特性。
• 利用性能指标对控制器参数的 Fréchet 导数，推导最优性的必要条件。
• 提出一种同伦方法，通过沿虚构时间参数从标准 LQG 控制器演化，实现 LQQG 控制器的数值求解。

提出的方法

• 性能指标结合了闭环系统的 ${\cal H}_2$-范数（平均输出能量）和 ${\cal H}_4$-范数（与方差相关的能量三阶矩），并由风险敏感参数 $\theta$ 加权。
• 通过令四次四次泛函的 Fréchet 导数为零，推导出最优控制器，得到一组代数黎卡提方程与代数方程。
• 同伦方法将风险敏感参数 $\theta$ 视为虚构时间变量，将非线性方程转化为可数值积分的常微分方程（ODE）。
• 该 ODE 从 $\theta = 0$ 初始化，对应标准 LQG 控制器，沿同伦路径演化控制器的状态空间矩阵。
• 二阶 Fréchet 导数被限制在系统等价变换群的切空间的正交补空间上，以确保解路径的稳定性和唯一性。
• 同伦 ODE 中的 Hessian 算子逆通过矩阵向量化及黎卡提型方程的求解实现敏感性传播。

实验结果

研究问题

• RQ1 如何系统性地将高阶输出能量三阶矩（特别是方差）纳入随机控制性能指标？
• RQ2 ${\cal H}_4$-范数在量化 LQG 范式之外的输出能量波动时间尺度行为中起到什么作用？
• RQ3 能否构建一个统一框架，通过同时引入 ${\cal H}_2$ 和 ${\cal H}_4$-范数，将 LQG 与风险敏感控制统一起来？
• RQ4 在实际中，如何高效计算此类高阶性能准则下的最优控制器？
• RQ5 是否存在一条从 LQG 控制器到最优 LQQG 控制器的连续路径，使得可通过同伦延拓法实现数值计算？

主要发现

• LQQG 问题的最优控制器满足一组代数黎卡提方程与代数方程，其中 ${\cal H}_2$ 和 ${\cal H}_4$-范数为关键组成部分。
• 当 $\theta = 0$ 时，所推导的方程退化为标准 LQG 控制器，验证了与既有理论的一致性。
• ${\cal H}_4$-范数量化了输出能量方差变得显著的时间尺度，为瞬态能量行为提供了洞见。
• 同伦方法通过从 LQG 解初始化的 ODE 数值积分，实现了 LQQG 控制器的计算，该 ODE 的右端项涉及 ${\cal H}_4$-范数的 Fréchet 导数。
• 为确保强局部极小值，性能指标的二阶 Fréchet 导数必须在变换群切空间的正交补空间上为正定。
• 同伦 ODE 中 Hessian 算子的逆可通过向量化及黎卡提型方程的求解实现，从而支持实际实现。