Stability Certificates for Receding Horizon Games
Sophie Hall, Dominic Liao-McPherson, Giuseppe Belgioioso, Florian, D\"orfler

TL;DR
This paper introduces a formal stability analysis framework for receding horizon game-based control of multi-agent systems, providing verifiable certificates and scalable methods for ensuring asymptotic stability.
Contribution
It develops the first stability certificates based on dissipativity and monotone operator theory applicable to non-potential games in receding horizon control.
Findings
LMI-based certificates guarantee asymptotic stability.
Scalable verification for decoupled agent dynamics.
Guidelines for tuning cost functions to satisfy stability certificates.
Abstract
Game-theoretic MPC (or Receding Horizon Games) is an emerging control methodology for multi-agent systems that generates control actions by solving a dynamic game with coupling constraints in a receding-horizon fashion. This control paradigm has recently received an increasing attention in various application fields, including robotics, autonomous driving, traffic networks, and energy grids, due to its ability to model the competitive nature of self-interested agents with shared resources while incorporating future predictions, dynamic models, and constraints into the decision-making process. In this work, we present the first formal stability analysis based on dissipativity and monotone operator theory that is valid also for non-potential games. Specifically, we derive LMI-based certificates that ensure asymptotic stability and are numerically verifiable. Moreover, we show that, if the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSports Analytics and Performance
