Safe Adaptive Control of Parabolic PDE-ODE Cascades

技术摘要：抛物型 PDE-ODE 级联系统的安全自适应控制

问题描述
本文研究了一类由抛物型偏微分方程（PDE）和常微分方程（ODE）组成的级联系统的控制问题。该受控对象被建模为一个线性 ODE（处于可控标准型），并与一个具有扩散项和反应项的抛物型 PDE 相耦合。本文解决的一个关键挑战是存在参数不确定性，包括 PDE 子系统（具体为反应系数 $\lambda$）和 ODE 子系统（具体为输入增益 $b$）。

控制目标有两个方面：

1. 稳定性： 实现所有受控对象状态（包括 PDE 状态 $u(x,t)$ 和 ODE 状态 $Y(t)$）向零收敛。
2. 安全性： 强制执行由障碍函数 $h(y_1(t), t) \geq 0$ 定义的状态约束，其中 $y_1$ 是 ODE 的第一个状态。控制器必须确保：如果系统从安全集开始，则应保持安全；如果系统从不安全集开始，则必须在用户规定的有限时间内被驱动回安全区域。

方法论
所提出的解决方案集成了自适应控制障碍函数（aCBF）、**反步法（Backstepping）设计以及批量最小二乘辨识（BaLSI）**方案。

1. 标称安全控制设计：

   • 坐标变换： 将 ODE 转换为积分链，使用线性变换矩阵 $T_z$。随后对变换后的 ODE 状态（$z_i$）应用高相对阶 CBF 框架，以构建一系列障碍函数 $h_i$。
   • 处理初始不安全状态： 引入了一个随时间变化的辅助函数 $\sigma(t)$。如果初始状态是不安全的（$h \leq 0$），$\sigma(t)$ 会创建一个临时障碍，引导状态在预设时间 $t_a$ 内回到安全区域。
   • PDE 反步法： 采用反步法变换将原始的不稳定 PDE-ODE 级联映射为一个目标系统。该目标系统由一个稳定的 ODE（受障碍函数动力学控制）和一个带有阻尼项的稳定热传导方程组成。
   • 控制律： 设计边界控制输入 $U(t)$ 以抵消破坏性的项，并注入一个衰减信号 $\delta(t)$，以确保满足安全性条件。

2. 自适应扩展：

   • 参数辨识： 由于 $\lambda$ 和 $b$ 是未知的，标称控制器被使用参数估计值 $\hat{\lambda}$ 和 $\hat{b}$ 的自适应版本所取代。
   • BaLSI 方案： 利用了一种触发式批量最小二乘辨识器。与连续自适应不同，该方案在离散的时间点 $t_i$ 更新参数。通过对特定间隔内的系统动力学进行积分，形成一个线性回归问题。
   • 有限时间精确辨识： 一个关键的理论结果是，在所提出的触发机制和激励条件下，参数估计值会在有限时间内（具体是在第一个更新时刻 $t_1$）收敛至真实的参数值。这消除了对无限时间内持续激励（PE）条件的需求，并移除了 $t_1$ 之后的参数估计误差。

3. 稳定性与安全性分析：

   • 构建李雅普诺夫函数以证明目标系统状态向零的指数收敛。
   • 安全性分析表明，高相对阶 CBF 条件得到满足。设计确保了如果初始化在安全区域，则障碍函数在所有时间内保持非负；或者如果初始化在不安全区域，则在预设时间 $t_a$ 内变为非负。

主要贡献
本文声称有三个主要贡献：

1. 针对自适应 PDE 控制的严格安全性保证： 不同于现有的侧重于抛物型 PDE 稳定性（而非安全性）的自适应边界控制方法，本研究在参数不确定性的情况下提供了严格的安全性保证。
   2. 安全反步法的泛化： 虽然之前的工作（例如 [12]）解决了 Stefan 模型（一种特定的抛物型 PDE）的安全控制，但本研究将该框架扩展到了更广泛的一类问题，涉及域内不稳定性和通用的安全约束。
   3. 首个针对抛物型 PDE-ODE 级联系统的安全自适应控制： 本文通过解决具有本质不同动力学的抛物型系统，将自己与近期针对双曲型 PDE-ODE 级联系统的安全自适应控制结果（例如 [42]）区分开来。据作者所知，这是第一个建立抛物型 PDE 安全自适应控制的研究结果。

实验结果
在耦合了抛物型 PDE 的二阶 ODE 上进行了数值模拟。模拟验证了理论主张：

• 稳定性： 所有状态（$u(x,t)$ 和 $Y(t)$）均收敛至零。
• 安全性：
  • 在初始安全的情况下，输出 $y_1(t)$ 在整个瞬态过程中保持在安全区域内。
  • 在初始不安全的情况下，控制器成功地在预设时间 $t_a$（例如 1 秒）内将输出驱动回安全区域。
• 参数辨识： BaLSI 方案在第一个触发时刻实现了未知参数 $\lambda$ 和 $b$ 的精确辨识，此后自适应控制器的行为与标称（已知参数）控制器完全一致。
• 对初始条件的鲁棒性： 无论系统是从安全区域还是不安全区域开始，以及对于不同的安全障碍函数定义（线性衰减和指数衰减），控制器均表现出色。

意义与主张
本文将自身定位为控制分布式参数系统（其中安全性至关重要）的重要进展。它弥合了安全性关键控制（CBF）与具有不确定性的无穷维系统自适应控制之间的鸿断。作者强调，有限时间精确参数辨识与高相对阶 CBF 的结合，使得能够消除通常与自适应安全性控制相关的保守性，从而确保一旦完成辨识阶段，安全性不会因参数估计误差而受到损害。这项工作为将这些方法应用于实际物理系统（如引言中提到的流体流动、热传递、化学过程）奠定了基础，尽管具体的硬件实现留待未来工作。