Modeling and Control of Deep Sign-Definite Dynamics with Application to Hybrid Powertrain Control

📄 arXiv: 2509.19869v1 📥 PDF

作者: Teruki Kato, Ryotaro Shima, Kenji Kashima

分类: eess.SY, cs.LG, math.OC

发布日期: 2025-09-24

备注: Submitted to Automatica


💡 一句话要点

提出基于符号约束的深度动态模型,用于混合动力系统控制

🎯 匹配领域: 支柱一:机器人控制 (Robot Control)

关键词: 深度学习 模型预测控制 符号约束 混合动力系统 凸优化

📋 核心要点

  1. 现有深度学习模型在复杂系统控制中难以保证物理一致性和凸性,导致预测不准确和控制输入不连续。
  2. 论文提出符号约束,统一单调性、正性和符号确定性,并设计模型构建方法强制执行这些约束。
  3. 实验表明,该方法在双罐系统和混合动力总成上,提高了预测精度,并生成了更平滑的控制输入。

📝 摘要(中文)

深度学习越来越多地应用于难以进行第一性原理建模的复杂、大规模系统中。然而,标准的深度学习模型通常无法强制执行物理结构或保持下游控制中的凸性,导致物理上不一致的预测以及由于非凸性导致的不连续输入。本文引入了符号约束(雅可比矩阵条目的符号限制),统一了单调性、正性和符号确定性;此外,我们开发了模型构建方法来强制执行这些约束,以及控制综合程序。特别地,我们设计了满足这些约束的精确线性化深度模型,并将模型预测控制公式化为凸二次规划,从而产生唯一的优化器和 Lipschitz 连续控制律。在双罐系统和混合动力总成上,所提出的方法比现有方法提高了预测精度并产生了更平滑的控制输入。

🔬 方法详解

问题定义:论文旨在解决复杂系统中,传统深度学习模型在控制应用中存在的物理一致性问题和非凸性问题。现有方法难以保证模型的预测结果符合物理规律,并且控制输入可能不连续,影响系统稳定性。

核心思路:论文的核心思路是通过在深度学习模型中引入符号约束,即对雅可比矩阵的元素符号进行限制,从而保证模型的单调性、正性和符号确定性。这种约束能够使模型更好地反映系统的物理特性,并简化控制器的设计。

技术框架:论文提出的方法包含以下几个主要步骤:1) 定义符号约束,包括单调性、正性和符号确定性;2) 设计满足这些约束的深度学习模型结构;3) 将模型预测控制问题转化为凸二次规划问题;4) 利用凸优化求解器得到最优控制策略。整体框架旨在构建一个既能利用深度学习的表达能力,又能保证控制性能的系统。

关键创新:论文的关键创新在于将符号约束引入到深度学习模型的构建中,并证明了满足这些约束的模型可以进行精确线性化,从而可以将模型预测控制问题转化为凸优化问题。这种方法将物理约束和优化控制相结合,提高了控制系统的性能和鲁棒性。

关键设计:论文的关键设计包括:1) 雅可比矩阵符号约束的具体形式,例如,指定某些输入对输出的影响为正或负;2) 深度学习模型的具体结构,例如,使用特定的激活函数或网络层来保证符号约束的满足;3) 凸二次规划问题的具体形式,包括目标函数和约束条件,以保证控制问题的可解性和最优性。

🖼️ 关键图片

fig_0
fig_1
fig_2

📊 实验亮点

实验结果表明,所提出的方法在双罐系统和混合动力总成上,相比现有方法,提高了预测精度并产生了更平滑的控制输入。具体性能提升数据未知,但摘要强调了在两个不同系统上的有效性,表明该方法具有一定的通用性。

🎯 应用场景

该研究成果可应用于各种复杂系统的建模与控制,例如混合动力汽车、电力系统、化工过程等。通过保证模型的物理一致性和控制输入的平滑性,可以提高系统的效率、稳定性和安全性。该方法在智能制造、机器人控制等领域也具有潜在的应用价值。

📄 摘要(原文)

Deep learning is increasingly used for complex, large-scale systems where first-principles modeling is difficult. However, standard deep learning models often fail to enforce physical structure or preserve convexity in downstream control, leading to physically inconsistent predictions and discontinuous inputs owing to nonconvexity. We introduce sign constraints--sign restrictions on Jacobian entries--that unify monotonicity, positivity, and sign-definiteness; additionally, we develop model-construction methods that enforce them, together with a control-synthesis procedure. In particular, we design exactly linearizable deep models satisfying these constraints and formulate model predictive control as a convex quadratic program, which yields a unique optimizer and a Lipschitz continuous control law. On a two-tank system and a hybrid powertrain, the proposed approach improves prediction accuracy and produces smoother control inputs than existing methods.