想象你正试图让一架直升机降落在海洋中央的一个浮动平台上。该平台并非静止不动,而是随着海浪以有节奏且可预测的模式上下起伏。你的目标是让直升机完美地悬停在该移动点的正上方,与其每一次升降同步,使两者之间的距离始终为零。
这是控制理论中的一个经典问题,称为输出调节。对于简单机器,我们已有良好的数学工具来解决它。但对于像直升机这样复杂、非线性的机器(其中稍微推动操纵杆并不总是导致微小的运动),数学变得极其混乱。这涉及求解一组称为调节器方程的复杂方程。传统上,求解这些方程就像在一堆由其他针组成的干草堆中寻找一根针;过程缓慢、困难,且往往无法完美完成。
新方法:懂物理的 AI
本文作者提出了一种巧妙的新技术,利用**物理信息神经网络(PINNs)**来解决这些混乱的方程。
将标准 AI 想象成一名通过死记硬背闪卡来学习的学生。如果你给它看 1000 张猫的照片,它就会学会猫长什么样。但如果你给它看一张狗的照片,它可能会感到困惑。
这种新方法则不同。AI 并非通过记忆数据来学习,而是被赋予了物理规则手册(描述直升机如何运动的方程),并被要求直接从这些规则中学习解决方案。
- 类比:想象你想学习如何用手平衡一把扫帚。传统方法可能涉及录制成千上万段人们平衡扫帚的视频并试图模仿。而 PINN 方法则是给学生提供重力和摩擦力的定律,并说:“仅根据这些定律,找出必须发生的完美手部动作,以保持这把扫帚平衡。”
工作原理
- 目标:研究人员希望找到一张“魔法地图”。这张地图将告诉直升机在任何可能的浮动平台运动情况下该做什么(使用多少推力、倾斜多少)。
- 训练:他们没有向 AI 输入预先计算好的答案。相反,他们让 AI 猜测答案,然后检查:“你的猜测是否符合物理定律?”如果猜测错误,AI 就会自我调整。它这样重复了数百万次,直到找到一个完美满足物理方程的解决方案。
- 结果:AI 学习到了一个“通用算子”。它并非学习如何降落在以特定速度移动的平台,而是学习了降落在以任何速度移动或从任何位置开始移动的平台的一般规则。
直升机测试
为了证明其有效性,他们在直升机降落在像正弦波一样上下起伏的平台的模拟中进行了测试。
- 测试:他们在几种特定的波浪模式上训练了 AI。然后,他们在 AI 从未见过的波浪模式(不同的速度、不同的起始高度)上测试了它。
- 结果:AI 控制的直升机表现非常出色。即使平台以 AI 未曾练习过的方式移动,直升机仍能与目标完美对齐。误差(直升机与平台之间的距离)极小——在图表上几乎看不见。
为何重要
该论文声称这是一项突破,因为:
- 速度快:一旦 AI 训练完成,它就能实时计算完美的控制动作,速度快到足以在实际硬件(如无人机的计算机)上运行。
- 通用性强:它不仅仅解决一个特定问题,而是学习了一族解决方案。如果波浪模式发生轻微变化,AI 已经知道如何处理。
- 无需数据:它不需要大量“成功降落”的数据集来学习。它从物理本身的数学中学习。
局限性
论文指出了一个主要限制:该方法假设直升机“确切知道”平台在每一时刻的位置及其运动方式(这称为“全信息”)。在现实世界中,传感器可能不完美或存在延迟,作者承认这是未来工作面临的挑战。
总结:研究人员构建了一个 AI,它通过理解物理定律而非记忆数据来学习解决复杂的数学问题。他们证明了该 AI 能够引导直升机完美降落在移动目标上,即使目标以 AI 从未见过的方式移动。
以下是 Mengozzi 等人论文《用于非线性输出调节的物理信息神经网络》的详细技术总结。
1. 问题陈述
本文针对系统状态(x)和外系统状态(w)均已知(全信息设定)的非线性输出调节问题。目标是设计一种反馈控制律,使系统输出渐近跟踪参考轨迹或抑制由外系统产生的干扰。
- 理论挑战: 解决该问题需要寻找两个映射:稳态状态流形 π(w) 和前馈输入 c(w)。这些映射必须满足调节方程(REs),这是一组耦合了代数约束(Isidori-Byrnes 方程)的偏微分方程组(PDEs)。
- 现有方法的局限性:
- 解析法: 对于非线性系统,精确解极少可用。
- 近似法(Galerkin/泰勒展开): 这些方法随非线性程度增加而扩展性差,仅在原点附近的小邻域内有效,或需要复杂的高阶展开。
- 先前的神经网络方法: 早期的基于神经网络(NN)的解决方案依赖于浅层模型的数据拟合,且缺乏在不重新训练的情况下泛化到不同系统参数或初始条件的能力。
2. 方法论
作者提出了一种**物理信息神经网络(PINN)**框架,直接求解调节方程,无需标记数据集或预计算轨迹。
核心概念
网络并非学习随时间演变的轨迹,而是学习一个稳态算子,该算子直接将外系统状态 w 映射到所需的系统状态 π(w) 和控制输入 c(w)。
架构与训练
- 网络结构: 一个全连接神经网络(nξ),包含四个隐藏层,参数数量约为 8×104。它以系统状态 w 为输入,输出近似值 π^(w) 和 c^(w)。
- 损失函数: 训练是无监督的。损失函数 J 最小化调节方程的残差并强制满足边界条件:
J=JPDE+λ⋅JBC
- JPDE: 偏微分方程残差(Lsπ^−f(π^,c^,w))和代数约束(h(π^,w))的均方误差。
- JBC: 边界条件(例如执行器限制)的惩罚项。
- 自动微分: 用于计算相对于网络输入 w 的李导数(Lsπ),使网络能够“理解”外系统动力学的物理规律。
- 泛化策略: 网络通过对一系列动力系统(变化外系统初始条件和频率 Ω 等参数)进行采样训练。这迫使网络学习一个通用解算子,而非特定实例。
3. 案例研究:直升机垂直着陆
为了验证该方法,作者将其应用于一个非线性基准测试:使直升机的垂直动力学与谐波振荡平台同步。
- 系统动力学: 建模为具有欠驱动、多输入非线性动力学的刚体(主旋翼推力、尾旋翼推力和旋翼倾斜)。
- 外系统: 一个谐波振荡器,生成具有未知频率和幅值的垂直正弦参考信号。
- 调节方程: 问题被简化为求解满足由牛顿 - 欧拉方程推导出的耦合偏微分方程的稳态滚转/俯仰角(πϕ,πθ)和特定控制输入(cb)。
- 约束: 解必须遵守执行器限制(例如 ∣ub∣≤0.3491)。
4. 关键结果
该框架在消费级 GPU 上进行了测试,仿真时域为 30 秒。
- 高保真重构: PINN 成功以高精度重构了零误差流形。学习到的映射(π(w),c(w))正确捕捉了由外系统引起的振荡行为。
- 泛化能力:
- 控制器在广泛的外系统频率和初始条件下保持了低跟踪误差,包括训练期间未见过的配置(分布外)。
- 在“分布内”和“分布外”场景中,残差跟踪误差约为参考信号的两个数量级。
- 配平条件恢复: 当外系统状态为零(无干扰)时,网络正确恢复了直升机已知的“配平”条件(稳态悬停输入),验证了该解的物理一致性。
- 性能指标:
- 训练: 在几分钟内完成。
- 推理: 轻量级前向传递,适合实时嵌入式部署。
- 误差: 中位绝对垂直跟踪误差约为 $0.031$ 米,大部分误差可忽略不计。发散仅发生在极端的高度非线性区域(高频率/振幅),这归因于反馈稳定器的设计,而非 PINN 无法求解调节方程。
5. 意义与贡献
- 数据高效求解: 证明了控制理论中复杂的非线性偏微分方程可以在无需海量数据集的情况下求解,仅依赖系统的数学结构(物理信息)。
- 算子学习: 该方法从求解单个实例转变为学习一个解算子,该算子可泛化到一系列系统,使其对参数变化具有鲁棒性。
- 实时可行性: 该方法弥合了理论非线性控制(通常计算量过大)与实际实施之间的差距,为嵌入式硬件上的实时控制提供了一条计算高效的路径。
- 广泛适用性: 尽管在直升机上进行了测试,但该方法适用于任何输出调节问题存在解的非线性系统,前提是能够构建调节方程。
6. 局限性与未来工作
- 全信息假设: 当前方法假设外系统状态 w 可用于反馈。未来工作旨在将其扩展到部分信息设定(估计 w)。
- 反馈稳定化: 本文侧重于求解调节方程(前馈)。闭环系统的稳定性依赖于单独的反馈增益,该增益是凭经验调整的。未来工作可以整合先进的稳定反馈设计,以扩大可行工作区域。
- 系统不确定性: 将框架扩展到处理具有参数不确定性的系统族(在训练期间随机化系统参数)是一个提议的方向。
每周获取最佳 electrical engineering 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。