Abstract:The classic Vickrey–Clarke–Groves (VCG) mechanism ensures incentive compatibility, i.e., truth-telling is a dominant strategy for all agents, for a static one-shot game. However, it does not appear to be feasible to construct mechanisms that ensure dominance of dynamic truth-telling for agents comprised of general stochastic dynamic systems. The agents' intertemporal net utilities depend on future controls and payments, and a direct extension of the VCG mechanism does not guarantee incentive compatibility. This article shows that such a stochastic dynamic extension does exist for the special case of linear-quadratic-Gaussian (LQG) agents. In fact, it achieves subgame perfect dominance of truth-telling. This is accomplished through a construction of a sequence of layered payments over time that decouples the intertemporal effect of current bids on future net utilities if system parameters are known and agents are rational. An important motivating example arises in power systems where an independent system operator has to ensure balance of generation and consumption at all times, while ensuring social efficiency, i.e., maximization of the sum of the utilities of all agents. It is also necessary to satisfy budget balance and individual rationality. However, in general, even for static one-shot games, there is no mechanism that simultaneous satisfies these requirements while being incentive compatible and socially efficient. For a power market of LQG agents, we show that there is a modified "Scaled" VCG (SVCG) mechanism that does satisfy incentive compatibility, social efficiency, budget balance, and individual rationality under a certain "market power balance" condition where no agent is too negligible or too dominant. We further show that the SVCG payments converge to the Lagrange payments, defined as the payments that correspond to the-true price in the absence of strategic considerations, as the number of agents in the market increases. For LQ but non-Gaussian agents, optimal social welfare over the class of linear control laws is achieved.

Faithful Implementations of Distributed Algorithms and Control Laws

Distributed Algorithms for Composite Optimization: Unified Framework and Convergence Analysis

Distributed Synchronization Control of Nonaffine Multiagent Systems with Guaranteed Performance

A game theoretical formulation for distributed optimization problems

Incentive Engineering for Concurrent Games

Adaptive Incentive Design with Learning Agents

Getting More by Knowing Less: Bayesian Incentive Compatible Mechanisms for Fair Division

Inducing Social Optimality in Games via Adaptive Incentive Design

Control of Asynchronous Imitation Dynamics on Networks

Designing Local Distributed Mechanisms

Coordinating the Crowd: Inducing Desirable Equilibria in Non-Cooperative Systems

Incentive Compatibility in Stochastic Dynamic Systems

Incentive Design with Spillovers

Optimal Distribution of Incentives for Public Cooperation in Heterogeneous Interaction Environments.

Distributed Mechanism Design with Learning Guarantees

Adaptive coordination of second-order multi-agent systems with instinct nonlinear dynamics under a directed graph

Distributed Optimization in Prescribed-Time: Theory and Experiment

Distributed Asynchronous Optimization of Multiagent Systems: Convergence Analysis and Its Application

Federated Learning Incentive Mechanism Design via Shapley Value and Pareto Optimality

Distributed Asynchronous Discrete-Time Feedback Optimization

Delay-dependent LMI-based stability criterion for distributed optimization problem in heterogeneous linear multi-agent systems over random digraphs