中文

具有高阶相互作用的保守多项式常微分方程中的先验积分持续激励

最优化与控制 2026-06-30 v1
作者: Aleksandr Semenov , Alexander Fradkov
在 arXiv 上查看 ↗ PDF ↗

摘要

本文提出了一种验证积分持续激励的方法,这在非线性动力系统的参数辨识和自适应控制问题中非常重要。该方法适用于保守多项式常微分方程,且无需先验参数知识。给出了相应定理的严格证明。分析了一个具有高阶相互作用的非线性动力系统实例以及所提方法在该系统中的应用。主要结果的证明已在Lean形式化验证语言中形式化。

关键词

积分持续激励 保守多项式常微分方程 参数辨识 自适应控制 形式化验证

引用

@article{arxiv.2607.00091,
  title  = {A Priori Integral Persistent Excitation in Conservative Polynomial ODEs with Higher-Order Interactions},
  author = {Aleksandr Semenov and Alexander Fradkov},
  journal= {arXiv preprint arXiv:2607.00091},
  year   = {2026}
}