arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2602.14714math.OCmath.DS
收藏

分布式多步模型预测控制用于共识

Distributed Multi-Step Model Predictive Control for Consensus

SIGNON Deutschland GmbH(SIGNON德国有限公司)

Navid Noroozi

AI总结:

本文提出了一种分布式多步MPC方法,通过确保严格内部性条件实现多智能体系统的渐近一致性。

摘要:

本文研究了在时间变化的有向通信、状态和输入约束下,离散时间多智能体系统的一致性问题,采用分布式多步模型预测控制(MPC)框架。一致性被重新解释为一致集的稳定性,并采用基于凸包不变性和严格内部性几何观点。在现有的几何必要和充分条件基础上,我们证明了在局部邻居凸包中强制终端包含可以保证凸包不变性,但一般并不意味着所需的严格相对内部性属性。一个显式的反例表明,严格性不能仅从可行性与收缩约束中推导出来。为了解决这个问题而不缩小可行集或改变主要性能目标,引入了词典序优先机制。在最优(或近最优)MPC解中,所提出的次级标准选择最大化相对于邻居凸包的内部性度量的轨迹。证明了只要存在内部可行终端状态,这种选择规则强制执行所需的渐近一致性条件。为单积分器和双积分器智能体推导了显式的时域条件,确保可行性和自动存在内部可行终端点。所得到的方案提供了一种通过有限步集Lyapunov收缩实现共识的分布式且可实施的途径。数值模拟显示了分布式进程通信中的单调直径衰减,并报告了每个智能体的计算复杂度。

英文摘要:

This paper studies consensus of discrete-time multi-agent systems under time-varying directed communication, state and input constraints using a distributed multi-step model predictive control (MPC) framework. Consensus is recast as stabilization of the agreement set, and a geometric viewpoint based on convex-hull invariance and strict interiority is adopted. Building on an existing geometric necessary and sufficient condition for agreement, we show that enforcing terminal inclusion in local neighbor convex hulls guarantees hull invariance but does not, in general, imply the strict relative-interior property required for convergence. An explicit counterexample demonstrates that strictness cannot be deduced from feasibility and contraction constraints alone. To resolve this issue without shrinking feasible sets or altering primary performance objectives, a lexicographic tie-breaking mechanism is introduced. Among optimal (or near-optimal) MPC solutions, the proposed secondary criterion selects trajectories maximizing an interiority measure with respect to the neighbor hull. It is shown that whenever an interior feasible terminal state exists, this selection rule enforces the strictness condition required for asymptotic consensus. Explicit horizon conditions are derived for single- and double-integrator agents with bounded inputs, ensuring feasibility and automatic existence of interior feasible terminal points. The resulting scheme provides a distributed and implementable route to consensus via finite-step set-Lyapunov contraction. Numerical simulations with distributed inter-process communication illustrate monotone diameter decay and report per-agent computational complexity.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑