用柯尔莫哥洛夫模型解决随机断续测量下的非线性系统控制难题。
Koopman-Based Robust Model Predictive Control for Nonlinear Systems with Stochastic Intermittent Measurements

- 基于深度柯尔莫哥洛夫模型构建线性隐状态预测器,提升计算效率。
- 在随机测量丢失下,闭环误差均方最终有界,且可显式给出上界。
- 适合存在间歇性传感器故障的机器人视觉伺服等实际场景使用。
断续的状态测量给带约束的非线性系统模型预测控制带来根本挑战:反馈中断期间预测不确定性持续增长,而测量触发的重置会破坏正常状态传播,可能影响闭环稳定性和递归可行性。本文提出一种基于柯尔莫哥洛夫的随机模型预测控制框架,采用概率截断的软约束机制。具体地,一个满足利普希茨约束的深度柯尔莫哥洛夫模型提供线性隐状态预测器,实现高效的在线优化。间歇性测量过程建模为双模离散时间马尔可夫链,得到统一的马尔可夫跳变误差模型,涵盖开环传播与测量重置。在数值可验证的充分条件下,证明预测误差均方最终有界,并获得显式的统一二阶矩上界。基于此,构造分布无关的概率误差半径,在预设置信水平下截断依赖于掉线的约束收紧。精确罚项软约束机制能处理重置引起的跳跃和长期掉线。在终端相容性和有界扰动条件下,建立了递归可行性和闭环调节误差的均方最终有界性。视觉伺服跟踪任务的数值仿真验证了理论结果,并展示了在随机测量不可用情况下的有效跟踪性能。
原文摘要 · Abstract (English)
Intermittent state measurements pose fundamental challenges to model predictive control of constrained nonlinear systems because prediction uncertainty grows during feedback outages and measurement-triggered resets disrupt nominal state propagation, potentially compromising closed-loop stability and recursive feasibility. This paper develops a Koopman-based stochastic MPC framework with probabilistically truncated soft constraints. Specifically, a Lipschitz-constrained deep Koopman model provides a linear latent predictor, enabling computationally efficient online optimization. The intermittent measurement process is modeled as a two-mode discrete-time Markov chain, yielding a unified Markov jump error model for open-loop propagation and measurement-triggered resets. Under numerically verifiable sufficient conditions, the prediction error is shown to be mean-square ultimately bounded, and an explicit uniform second-moment bound is obtained. A distribution-free probabilistic error radius is then constructed for a prescribed confidence level and used to truncate dropout-dependent constraint tightening. An exact-penalty soft-constraint mechanism accommodates reset-induced jumps and prolonged dropouts. Under the stated terminal compatibility and bounded-disturbance conditions, recursive feasibility and mean-square ultimate boundedness of the closed-loop regulation error are established. Numerical simulations on a visual-servoing tracking task corroborate these theoretical results and demonstrate effective tracking under stochastic measurement unavailability.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。