arXiv:2412.01783eess.SYcs.LG2024-12被引 5

用神经网络模拟关系实现控制系统的知识迁移,无需闭环模型即可保证行为一致性。

Transfer Learning for Control Systems via Neural Simulation Relations

  • 用神经网络参数化近似模拟关系,实现控制逻辑跨系统迁移。
  • 迁移后目标系统输出与源系统误差可预先量化,保证行为接近性。
  • 适用于无完整数学模型的复杂系统,适合自动化控制领域研究者。

迁移学习是利用解决一个任务(源域)所获得的知识,提升解决另一个相关但不同的任务(目标域)的速度、效率和数据需求的方法。通常以目标域的损失函数衡量迁移模型性能。本文关注如何有效将源控制系统的控制逻辑迁移到目标控制系统,并在两个域中提供近似的行为保障。由于缺乏对行为规范的完整描述,此问题无法通过损失函数刻画。为此,我们采用(近似)模拟关系来表征两系统行为的观测等价性。模拟关系确保配备各自控制器的系统输出在时间上保持接近,且其接近程度可预先量化。通过将模拟关系参数化为神经网络,我们提出神经模拟关系,实现任意合成控制器及其正确性证明的无模型迁移。相比以往方法,本方法无需闭环数学模型及对源/目标系统的特定要求。我们还引入有效性条件,满足时可保证两系统输出的接近性,从而无需事后验证。通过车辆与双倒立摆的案例研究,验证了该方法的有效性。

原文摘要 · Abstract (English)

Transfer learning is an umbrella term for machine learning approaches that leverage knowledge gained from solving one problem (the source domain) to improve speed, efficiency, and data requirements in solving a different but related problem (the target domain). The performance of the transferred model in the target domain is typically measured via some notion of loss function in the target domain. This paper focuses on effectively transferring control logic from a source control system to a target control system while providing approximately similar behavioral guarantees in both domains. However, in the absence of a complete characterization of behavioral specifications, this problem cannot be captured in terms of loss functions. To overcome this challenge, we use (approximate) simulation relations to characterize observational equivalence between the behaviors of two systems. Simulation relations ensure that the outputs of both systems, equipped with their corresponding controllers, remain close to each other over time, and their closeness can be quantified {\it a priori}. By parameterizing simulation relations with neural networks, we introduce the notion of \emph{neural simulation relations}, which provides a data-driven approach to transfer any synthesized controller, regardless of the specification of interest, along with its proof of correctness. Compared with prior approaches, our method eliminates the need for a closed-loop mathematical model and specific requirements for both the source and target systems. We also introduce validity conditions that, when satisfied, guarantee the closeness of the outputs of two systems equipped with their corresponding controllers, thus eliminating the need for post-facto verification. We demonstrate the effectiveness of our approach through case studies involving a vehicle and a double inverted pendulum.

控制迁移神经模拟系统验证

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