Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control

技术摘要：利用过近似误差作为非线性控制的预览信息

问题陈述
受状态和输入约束的非线性系统控制是一个根本性挑战，特别是在航空航天和机器人等安全关键领域。传统的抽象方法通常用更简单的模型（例如线性或分段仿射系统）替代复杂的非线性动力学，以实现可控的控制器综合。然而，这些方法通常将近似误差视为未知的对抗性干扰。这种保守的处理方式迫使控制器必须考虑最坏情况的误差实现，往往导致过度的保守性和性能降低。本工作解决的核心问题是如何利用过近似误差的结构来改善控制性能，同时不牺牲安全保证。

方法论
作者提出了一个框架，其中过近似误差不被视为未知干扰，而是作为输入依赖的预览信息。

1. 知情策略：作者定义了一种“知情策略”$\pi(x, e)$，它依赖于当前状态$x$和过近似误差$e$，而不是标准的状态反馈策略$\pi(x)$。由于误差函数$e(x, u) = f(x, u) - \hat{f}(x, u)$是已知且确定性的，运行时的误差是所选输入$u$的函数。
2. 具体化问题：实施知情策略需要求解一个输入$u$，使得$u = \pi(x, e(x, u))$。这在输入和误差之间造成了循环依赖。作者将此表述为一个不动点方程：寻找$u$使得$u = F_x(u)$，其中$F_x(u) = \pi(x, f(x, u) - \hat{f}(x, u))$。
3. 存在性与计算：
   • 存在性：利用布劳威尔不动点定理，作者证明了如果输入集$U$非空、紧致且凸，且涉及的函数连续，则解存在。
   • 高效计算：
     • 共享输入依赖：如果真实动力学和近似动力学具有相同的输入依赖（例如$f(x,u) = f_x(x) + B u$且$\hat{f}(x,u) = \hat{f}_x(x) + B u$），则误差变得与$u$无关，从而允许获得闭式解。
     • 输入仿射系统：对于动力学关于$u$仿射（$f(x,u) = f_x(x) + f_u(x)u$）且策略关于误差仿射的系统，具体化问题简化为凸规划（如果$U$是多面体，则为线性规划）。
     • 一般非线性系统：对于任意非线性系统，作者建立了不动点映射为压缩映射的条件。如果满足，巴拿赫不动点定理保证存在唯一解，可通过迭代方法求得。
4. 策略综合：为了综合这些策略，作者利用系统级综合（SLS）。他们将系统状态扩展以包含误差项，将问题转化为为扩展的线性（或分段线性）系统综合状态反馈策略。这使得能够使用凸优化来设计策略，以满足过近似集内所有可能误差实现下的约束。

主要贡献

• 重构近似误差：论文表明，过近似误差自然地提供了输入依赖的预览信息，挑战了将这些误差视为纯粹对抗性干扰的标准观点。
• 知情策略形式化：作者引入了显式利用误差项的“知情策略”，推广了经典的非知情策略。
• 具体化框架：从基于预览的策略中为真实系统恢复有效输入的问题被形式化为一个不动点方程。
• 理论保证：
  • 在温和的拓扑条件下，通过布劳威尔定理保证了解的存在性。
  • 根据系统结构，通过闭式解、凸/线性规划或迭代压缩方法提供高效计算。
• 综合方法：一种在扩展系统上使用 SLS 综合知情策略的方法，包括确保非线性具体化所需压缩性的条件。

结果
作者通过在两个非线性系统上的数值实验验证了他们的方法：

1. 输入仿射动力学：一个具有动力学$\dot{x}_1 = x_2 + 0.5x_1^2$和$\dot{x}_2 = 0.75x_1^2 + 2x_2^3 + \cos(x_2)u$的系统。知情策略实现了$x_{1,T} \geq 0.81$的保证终端状态，而非知情策略为$0.62$。
2. 非线性动力学：一个具有动力学$\dot{x}_1 = x_2$和$\dot{x}_2 = -\sin(x_1) + 0.5x_2^2 + 2\sin(u)$的系统。使用基于迭代的巴拿赫具体化，知情策略保证了$x_{1,T} \geq 3.1$，优于非知情策略保证的$2.7$。

在这两种情况下，知情策略显著降低了保守性，使系统能够在严格满足约束的同时进入状态空间的更深处。

意义与主张
论文主张，通过将过近似误差解释为预览信息而非未知干扰，控制设计者可以为受约束的非线性动力学实现可处理且可靠的控制律，并具有降低的保守性。这项工作（通过不动点理论）为该方法的严谨数学基础提供了支撑，确保策略做出的“知情”决策对于真实系统是物理可实现的（可具体化的）。作者将此定位为迈向更高效部署控制系统的步骤，特别是在标准鲁棒方法往往过于保守的安全关键领域。

论文最后指出，未来的工作将解决外部干扰系统、输出反馈和多步预览信息的扩展，但并未声称这些扩展目前已得到解决。