arXiv:2411.15643eess.SYcs.LG2024-11被引 6

给未知偏微分方程的边界控制加安全过滤,确保输出不越界。

Safe PDE Boundary Control with Neural Operators

  • 用神经边界屏障函数保证边界输出轨迹安全
  • 通过线性关系实现对预训练控制器的安全滤波
  • 适用于需严格约束的物理系统控制场景

现实世界中的动力学通常由未知解析形式的偏微分方程(PDE) governing。近年来,基于神经网络的数据驱动方法被广泛用于模拟和求解PDE问题,但将其从理解推进到控制仍具挑战。边界控制问题仅将边界条件作为控制输入与输出,是简化但重要的研究方向。然而,现有无模型控制器无法保证边界输出满足用户指定的安全约束。为此,我们提出一种安全过滤框架,确保边界输出始终处于安全集内。具体地,引入神经边界控制屏障函数(BCBF),以保证轨迹层面的约束满足性;基于神经算子对边界控制输入到输出轨迹的传递函数建模,我们证明了BCBF的变化与输入变化呈线性关系,从而可对预训练的无模型控制器进行基于二次规划的安全滤波。在高难度的双曲型、抛物型及纳维-斯托克斯PDE环境下大量实验验证了该方法的即插即用有效性,相比基线无模型与受限控制器,在泛化性能与边界约束满足度上均有提升。代码已开源:https://github.com/intelligent-control-lab/safe-pde-control。

原文摘要 · Abstract (English)

The physical world dynamics are generally governed by underlying partial differential equations (PDEs) with unknown analytical forms in science and engineering problems. Neural network based data-driven approaches have been heavily studied in simulating and solving PDE problems in recent years, but it is still challenging to move forward from understanding to controlling the unknown PDE dynamics. PDE boundary control instantiates a simplified but important problem by only focusing on PDE boundary conditions as the control input and output. However, current model-free PDE controllers cannot ensure the boundary output satisfies some given user-specified safety constraint. To this end, we propose a safety filtering framework to guarantee the boundary output stays within the safe set for current model-free controllers. Specifically, we first introduce a neural boundary control barrier function (BCBF) to ensure the feasibility of the trajectory-wise constraint satisfaction of boundary output. Based on the neural operator modeling the transfer function from boundary control input to output trajectories, we show that the change in the BCBF depends linearly on the change in input boundary, so quadratic programming-based safety filtering can be done for pre-trained model-free controllers. Extensive experiments under challenging hyperbolic, parabolic and Navier-Stokes PDE dynamics environments validate the plug-and-play effectiveness of the proposed method by achieving better general performance and boundary constraint satisfaction compared to the vanilla and constrained model-free controller baselines. The code is available at https://github.com/intelligent-control-lab/safe-pde-control.

PDE控制安全约束神经算子边界控制

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。