用神经算子逼近不确定时滞系统的控制器,实现稳定控制。
Stabilization of nonlinear systems with unknown delays via delay-adaptive neural operator approximate predictors
- 设计延迟自适应的神经算子预测器,解决实际中无法获取精确预测的问题。
- 理论证明:输入可测时为半全局实用渐近稳定,误差与逼近误差成正比。
- 实验验证:在生物蛋白模型和微生物生长模型上稳定有效,计算速度提升15倍。
本文首次为非线性系统延迟自适应控制中的近似预测器建立了严格的稳定性保证,解决了实际应用中精确预测器不可用的关键难题。分析了两种情形:(i) 控制输入可直接测量,(ii) 输入在线估计。对于可测输入情形,证明了半全局实用渐近稳定性,且稳定界与逼近误差ε成正比;对于未测输入情形,证明了局部实用渐近稳定性,吸引域显式依赖于初始延迟估计值和预测器逼近误差。为连接理论与实践,证明神经算子——一类基于神经网络的灵活近似器——可实现任意小的逼近误差,满足理论条件。在两个非线性基准系统上进行数值实验:生物蛋白激活/抑制模型和微生物生长化学计量模型,验证了理论结果。模拟结果表明,在近似预测器下仍能保持稳定,神经算子展现出强泛化能力,并相比基线固定点方法实现高达15倍的计算加速。
原文摘要 · Abstract (English)
This work establishes the first rigorous stability guarantees for approximate predictors in delay-adaptive control of nonlinear systems, addressing a key challenge in practical implementations where exact predictors are unavailable. We analyze two scenarios: (i) when the actuated input is directly measurable, and (ii) when it is estimated online. For the measurable input case, we prove semi-global practical asymptotic stability with an explicit bound proportional to the approximation error $ε$. For the unmeasured input case, we demonstrate local practical asymptotic stability, with the region of attraction explicitly dependent on both the initial delay estimate and the predictor approximation error. To bridge theory and practice, we show that neural operators-a flexible class of neural network-based approximators-can achieve arbitrarily small approximation errors, thus satisfying the conditions of our stability theorems. Numerical experiments on two nonlinear benchmark systems-a biological protein activator/repressor model and a micro-organism growth Chemostat model-validate our theoretical results. In particular, our numerical simulations confirm stability under approximate predictors, highlight the strong generalization capabilities of neural operators, and demonstrate a substantial computational speedup of up to 15x compared to a baseline fixed-point method.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。