🔢 mathematics

Geometry-Preserving Optimal Control of Implicitly Singularly Perturbed Systems with Sliding and Exit Constraints

本文引入了一种倒数柯西正则化方法，该方法通过在奇异超平面上建立全动力学与简化动力学之间的精确等价性，为隐式奇异摄动系统确保了保持几何特性的最优控制，为超平面外的轨迹提供了严格的收敛界限，并将退出约束解耦为实时安全层，以保证不变的安全区域。

原作者： Volodymyr Gotsulenko

发布于 2026-09-18

📖 1 分钟阅读🧠 深度阅读

原作者： Volodymyr Gotsulenko

原始论文采用 CC BY 4.0 许可（https://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在工程学和物理学的世界里，许多机器和自然过程都受制于随系统当前位置而变化的规则。想象一辆汽车行驶在路上，路面突然变得湿滑；汽车运动的规则瞬间发生了变化，如果驾驶员不小心，汽车可能会失控打滑。在数学中，这些变化的规则通常由方程描述，其中一个特定的数字（充当速度的乘数）会在某个点降至零。当这种情况发生时，标准的方程就会失效，变得未定义或趋于无穷大。这创造了一个“奇异”状态，一个危险的边界，系统的行为在此难以预测。工程师和科学家长期以来一直致力于控制接近这些边界的系统，特别是当他们希望保持系统稳定而不至于撞向数学失效的点时。挑战在于如何引导系统沿着这条危险的边缘安全地行进，利用系统保持靠近边界的自然倾向，同时绝不让它滑落。

Volodymyr Gotsulenko 的一项新研究为处理这些棘手情况提供了一种精确且稳健的方法。该研究专注于一类特定的复杂系统，在这些系统中，控制机制（即引导系统的部分）仅影响主要运动，而不影响导致数学崩溃的部分。作者引入了一个巧妙的数学技巧，以平滑掉发生在危险边界处的无穷大尖峰。该方法并非试图直接求解破碎的方程，而是用一条非常特定的、表现良好的曲线来替换有问题的部分，这条曲线在边界处表现完美，同时在其他任何地方都能模拟原系统的行为。这种被称为“倒数正则化”（reciprocal regularization）的技术做了一件了不起的事情：它创造了一个新的、安全的系统版本，这个版本在数学上是精确的。在这个新版本中，危险的边界变成了一个坚固、不可破坏的表面，只要控制器设计得当，系统就可以在上面永远滑动。

研究表明，这种方法可以实现控制问题的完全且精确的简化。当系统处于这个安全表面时，控制整个机器的复杂高维问题会坍缩为一个更简单的低维问题，该问题仅追踪沿表面的运动。研究人员证明，在他们的方法中所使用的任何平滑程度下，该表面上的解都与简化问题的解完全一致。无需等待平滑消失或进行近似处理；这两个问题从一开始就是同一个问题。这意味着工程师可以为更简单的版本设计控制器，并确信只要系统保持在该安全表面上，它们就能完美地适用于复杂的现实世界系统。

为了确保系统确实保持在该安全表面上，论文还提供了一种方法，证明如果系统稍微偏离，它会被自然地拉回表面。研究人员表明，如果系统从非常接近边界的位置开始，它会以极快的速度弹回安全路径，且这种修正的速度会随着平滑参数的调整而剧烈增加。他们还精确计算了系统路径在返回过程中可能偏离理想安全路径的程度。结果显示，误差极小，其收敛速度之快，使得即使是微小的初始偏差也会导致近乎完美的回归。这让工程师对其控制器的稳定性具有高度信心，即使在存在微小扰动或测量误差的情况下也是如此。

该研究还解决了实际的安全约束问题，例如确保机器永远不会超过一定的速度或位置。作者将长期规划的任务与即时安全任务分离开来。他们展示了虽然可以设计一个旨在优化长期性能的控制器，但可以添加一个独立的实时安全过滤器，如果系统过于接近危险区域，该过滤器可以立即纠正控制器的指令。这个过滤器就像一个守护者，在进行最小幅度的调整以保持系统安全的同时，不会干扰整体计划。研究人员在一种被称为达芬-瑞利振子（Duffing-Rayleigh oscillator）的复杂机械系统模型上测试了整个框架，这种系统以其混沌和不稳定的行为而闻名。他们成功设计了一个控制器，在满足严格安全限制的同时，使系统保持稳定，防止其触及危险边界，并最大限度地减少了能量消耗。

除了机械振子之外，研究人员还将他们的方法应用于其他场景，包括一种可能会经历危险喘振的泵模型，以及一个追踪移动目标的系统。在每种情况下，该方法都如预期般奏效。模拟显示，系统会迅速坍缩到安全路径上并停留在那里。研究人员还使用两个独立的计算机程序来求解优化问题，以验证他们的结果，两个程序都得到了相同的解。这种交叉检查证实了结果并非特定计算机算法的偶然现象，而是系统本身的属性。研究结论指出，这种保持几何特性的方法为控制那些原本难以管理或难以预测的复杂系统提供了一个强大的新工具，提供了一种以数学确定性驾驭混沌边缘的方法。

技术摘要：隐式奇异摄动系统的几何保持最优控制

问题陈述
本文研究了一类隐式奇异摄动非线性系统的最优调节问题，这类系统的状态相关系数在动态可达的超曲面上失去秩。系统模型为：
$\begin{cases} \dot{x} = f(x, y) + B(x, y)u \\ \phi(y) \dot{y} = g(x, y) \end{cases}$
其中 $\phi(y^*) = 0$ 且 $\phi'(y^*) \neq 0$ 。控制输入 $u$ 仅作用于“常微分”方程（ $\dot{x}$ ），而对奇异方程（ $\phi(y)\dot{y} = g$ ）是不受控的。这种结构产生了一个奇异超曲面 $S = \{y = y^*\}$ ，在该处向量场变得无界（ $g/\phi \to \infty$ ）。控制目标是在管理对 $S$ 的吸引力以及避免从滑动域“退出”（即当 $g(x, y^*) \neq 0$ 时）的同时，引导系统运动，且不改变奇异几何结构本身。

方法论
作者提出了一种**倒数柯西正则化（reciprocal Cauchy regularization）**方法来处理奇异性。该方法并非依赖于经典的 Filippov 集值构造或渐近奇异摄动极限（ $\epsilon \to 0$ ），而是引入一个正则化参数 $\epsilon > 0$ ，并定义正则化场为：
$R_\epsilon(y) = \frac{\phi(y)}{\phi(y)^2 + \epsilon^2}$
正则化后的系统变为：
$\begin{cases} \dot{x} = f(x, y) + B(x, y)u \\ \dot{y} = g(x, y)R_\epsilon(y) \end{cases}$
其核心方法论特征包括：

精确不变性： 对于任何 $\epsilon > 0$ ，超平面 $S = \{y = y^*\}$ 是一个精确的不变集，因为 $R_\epsilon(y^*) = 0$ 。限制在 $S$ 上的动力学与 $\epsilon$ 无关。
正向吸引： 正则化诱导了向 $S$ 的 $O(\epsilon^{-2})$ 阶正向吸引速率，确保轨迹在靠近 $S$ 时能够快速塌缩。
关注点分离： 本文区分了**流形上（on-manifold）的最优控制问题（限制在 $S$ 内）与流形外（off-manifold）**的一致性分析。它将退出规避视为一个与基于控制屏障函数（CBF）的实时安全滤波相分离的状态约束最优控制问题（OCP）。

主要贡献
本文做出了以下具体贡献：

正则通道架构（Regular-Channel Architecture）： 一种通过修改切向运动而不改变奇异超曲面位置或其退出边界的控制结构。
精确不变集约化： 证明了倒数正则化对于每个 $\epsilon > 0$ 都能选择唯一的、与 $\epsilon$ 无关的广义滑动动力学。这是一种精确的有限维约化，而非渐近近似。
定量估计：
- 正向收缩： 轨迹向 $S$ 收缩的速率与 $\epsilon^{-2}$ 成正比。
- 切向偏差： 对于 $O(\epsilon)$ 阶的正向偏移初始值，正则化轨迹与约化轨迹之间的切向偏差在固定有限时域内为 $O(\epsilon^3)$ 。
精确等价定理： 若初始状态、参考轨迹和终端目标均位于 $S$ 上，则全量正则化最优控制问题与低维约化问题是完全一致的。对于每个 $\epsilon > 0$ ，它们具有相同的状态映射、代价函数、最优值、极小值点及庞特里亚金极小值原理（PMP）系统。
流形外一致性： 对于具有 $O(\epsilon)$ 偏移的初始状态，只要起始时间远离终端时间，正则化问题与约化问题之间的代价差异为 $O(\epsilon^3)$ 。
安全性认证： 基于线性二次调节器（LQR）基准的非线性李雅普诺夫论证被用于认证一个不变的安全椭球，该椭球严格分离于奇异退出曲面。
约束处理： 该公式将路径约束（通过状态约束 OCP 理论处理）与实时安全层（CBF/HOCBF）分离，明确了屏障滤波器是瞬时修改而非全局时域优化器。

结果与验证
该理论框架通过以下几个示例进行了验证：

Duffing–Rayleigh 系统： 一个 3D 非线性示例，作者在此案例中：
- 为选定的滑动动力学设计了 LQR 控制器；
- 计算了一个经过认证的非线性安全椭球（ $\rho_{safe} \approx 1.50$ ），以保证执行器兼容性并实现与退出边界的分离；
- 使用直接转录法（SLSQP）求解了带约束的有限时域 OCP，并通过 IPOPT 进行了交叉验证。约束解满足路径约束，且代价低于经 HOCBF 滤波的 LQR。
- 演示了全量正则化模拟在 $\epsilon \in \{0.2, 0.1, 0.05, 0.025\}$ 时如何塌缩至选定的动力学，且切向误差在特定示例中随 $O(\epsilon^4)$ 缩放（由于其二次切向依赖性），而在一般的跟踪示例中为 $O(\epsilon^3)$ 。
解析示例：
- 一个精确可解的最小能量转移问题，其最优轨迹被解析证明可以避开奇异退出点。
- 一个高维多输入系统，展示了该框架在二维滑动模态之外的应用能力。
- 一个周期性跟踪问题，显示了无约束 LQ 跟踪可以自然地维持安全裕度，而无需显式施加约束。
透平机械代理模型： 一个关于汽蚀泵喘振的无量纲模型，展示了正则通道驱动在机械背景下的应用，且并未声称从实验数据中进行参数辨识。

意义与主张
本文声称其主要意义在于提供了一个几何保持框架，避免了处理无界向量场时经典 Filippov 解的歧义性。通过使用倒数正则化，作者确立了：

精确性： 正则化问题与约化问题之间的等价性对于所有 $\epsilon > 0$ 都是精确成立的，而非仅仅在极限情况下。
结构清晰性： 该方法明确地将奇异几何（固定）与控制作用（塑造切向运动）分离开来。
定量严谨性： 它提供了关于流形外收敛和安全性的显式界限，超越了定性的滑动模态论证。

作者也谦虚地指出了局限性：精确等价性严格仅适用于流形内数据；未对流形外协变量（costates）的收敛性做出主张；且该理论是“无事件（event-free）”的，这意味着它并不优化穿越奇异边界（弹出与重入）的轨迹，后者需要混合最优控制技术。这项工作被视为针对一类特定隐式奇异摄动系统的结构性和分析性进展，为标准的奇异摄动理论和微分代数方程（DAE）最优控制理论提供了一个严谨的替代方案。

技术摘要：隐式奇异摄动系统的几何保持最优控制

类似论文