We consider the design of state feedback control laws for both the switching signal and the continuous input of an unknown switched linear system, given past noisy input-state trajectories measurements. Based on Lyapunov–Metzler inequalities and on a matrix S-lemma, we derive data-dependent bilinear programs, whose solution directly returns a provably stabilizing controller and ensures H₂ or H_∞ performance. We further present relaxations that considerably reduce the computational cost, still without requiring stabilizability of any of the switching modes. Finally, we showcase the flexibility of our approach on the constrained stabilization problem for an unknown perturbed linear system. We validate our theoretical findings numerically, demonstrating the favorable trade-off between conservatism and tractability achieved by the proposed relaxations.

We address a class of Nash games with nonconvex coupling constraints for which we define a novel notion of local equilibrium, here named local generalized Nash equilibrium (LGNE). Our first technical contribution is to show the stability in the game theoretic sense of these equilibria on a specific local subset of the original feasible set. Remarkably, we show that the proposed notion of local equilibrium can be equivalently formulated as the solution of a quasi-variational inequality with equal Lagrange multipliers. Next, under the additional proximal smoothness assumption of the coupled feasible set, we define conditions for the existence and local uniqueness of a LGNE. To compute such an equilibrium, we propose two discrete-time dynamics, or fixed-point iterations implemented in a centralized fashion. Our third technical contribution is to prove convergence under (strongly) monotone assumptions on the pseudo- gradient mapping of the game and proximal smoothness of the coupled feasible set. Finally, we apply our theoretical results to a noncooperative version of the optimal power flow control problem.

Multi-agent decision problems are typically solved via distributed iterative algorithms, where the agents only communicate between themselves on a peerto- peer network. Each agent usually maintains a copy of each decision variable, while agreement among the local copies is enforced via consensus protocols. Yet, each agent is often directly influenced by a small portion of the decision variables only: neglecting this sparsity results in redundancy, poor scalability with the network size, communication and memory overhead. To address these challenges, we develop Estimation Network Design (END), a framework for the design and analysis of distributed algorithms. END algorithms can be tuned to exploit problem-specific sparsity structures, by optimally allocating copies of each variable only to a subset of agents, to improve efficiency and minimize redundancy. We illustrate the END's potential on generalized Nash equilibrium (GNE) seeking under partial-decision information, by designing new algorithms that can leverage the sparsity in cost functions, constraints and aggregation values, and by relaxing the assumptions on the (directed) communication network postulated in the literature. Finally, we test numerically our methods on a unicast rate allocation problem, revealing greatly reduced communication and memory costs.

We propose an integrated behavior and motion planning framework for the lane-merging problem. The behavior planner combines search-based planning with game theory to model vehicle interactions and plan multivehicle trajectories. Inspired by human drivers, we model the lane-merging problem as a gap selection process and determine the appropriate gap by solving a matrix game. Moreover, we introduce a branch model predictive control (BMPC) framework to account for the uncertain equilibrium strategies adopted by the surrounding vehicles, including Nash and Stackelberg strategies. A tailored numerical solver is developed to enhance computational efficiency by exploiting the tree structure inherent in BMPC. Finally, we validate our proposed integrated planner using real traffic data and demonstrate its effectiveness in handling interactions in dense traffic scenarios.

In many areas of industry and society, including energy, healthcare, and logistics, agents collect vast amounts of data that are deemed proprietary. These data owners extract predictive information of varying quality and relevance from data depending on quantity, inherent information content, and their own technical expertise. Aggregating these data and heterogeneous predictive skills, which are distributed in terms of ownership, can result in a higher collective value for a prediction task. In this paper, a platform for improving predictions via the implicit pooling of private information in return for possible remuneration is envisioned. Specifically, a wagering-based forecast elicitation market platform has been designed, in which a buyer intending to improve their forecasts posts a prediction task, and sellers respond to it with their forecast reports and wagers. This market delivers an aggregated forecast to the buyer (pre-event) and allocates a payoff to the sellers (post-event) for their contribution. A payoff mechanism is proposed and it is proven that it satisfies several desirable economic properties, including those specific to electronic platforms. Furthermore, the properties of the forecast aggregation operator and scoring rules are discussed in order to emphasize their effect on the sellers’ payoff. Finally, numerical examples are provided in order to illustrate the structure and properties of the proposed market platform.

We study the data-driven finite-horizon linear quadratic regularization (LQR) problem reformulated as a semidefinite program (SDP). Our contribution is to propose two novel accelerated first-order methods for solving the resulting SDP. Our methods enjoy adaptive stepsize and adaptive smoothing parameters that speed up convergence and in turn, enhance scalability. Finally, we compare our accelerated first-order methods and show their benefits via numerical simulations on a benchmark LQR example.

We examine the routing problem for self-interested vehicles using stochastic decision strategies. By approximating the road latency functions and a non-linear variable transformation, we frame the problem as an aggregative game. We characterize the approximation error and we derive a new monotonicity condition for a broad category of games that encompasses the problem under consideration. Next, we propose a semi-decentralized algorithm to calculate the routing as a variational generalized Nash equilibrium and demonstrate the solution's benefits with numerical simulations. In the particular case of potential games, which emerges for linear latency functions, we explore a receding-horizon formulation of the routing problem, showing asymptotic convergence to destinations and analysing closed-loop performance dependence on horizon length through numerical simulations.

We formulate for the first time the economic dispatch problem among prosumers in an integrated electrical and gas distribution system (IEGDS) as a game equilibrium problem. Specifically, by approximating the nonlinear gas-flow equations either with a mixed-integer second-order cone (MISOC) or a piecewise affine (PWA) model and by assuming that electricity and gas prices depend linearly on the total consumption, we obtain a potential mixed-integer game. To compute an approximate generalized Nash equilibrium (GNE), we propose an iterative two-stage method that exploits a problem convexification and the gas-flow models. We quantify the quality of the computed solution and perform a numerical study to evaluate the performance of our method.

We study coalitional games with exogenous uncertainty in the coalition value, in which each agent is allowed to have private samples of the uncertainty. As a consequence, the agents may have a different perception of stability of the grand coalition. In this context, we propose a novel methodology to study the out-of-sample coalitional rationality of allocations in the set of stable allocations (i.e., the core). Our analysis builds on the framework of probably approximately correct learning. Initially, we state a priori and a posteriori guarantees for the entire core. Furthermore, we provide a distributed algorithm to compute a compression set that determines the generalization properties of the a posteriori statements. We then refine our probabilistic robustness bounds by specialising the analysis to a single payoff allocation, taking, also in this case, both a priori and a posteriori approaches. Finally, we consider a relaxed ζ-core to include nearby allocations and also address the case of empty core. For this case, probabilistic statements are given on the eventual stability of allocations in the ζ-core.

We address the generalized Nash equilibrium seeking problem for a population of agents playing aggregative games with affine coupling constraints. We focus on semi-decentralized communication architectures, where there is a central coordinator able to gather and broadcast signals of aggregative nature to the agents. By exploiting the framework of monotone operator theory and operator splitting, we first critically review the most relevant available algorithms and then design two novel schemes: 1) a single-layer, fixed-step algorithm with convergence guarantee for general (noncocoercive, nonstrictly) monotone aggregative games and 2) a single-layer proximal-type algorithm for a class of monotone aggregative games with linearly coupled cost functions. We also design novel accelerated variants of the algorithms via (alternating) inertial and over-relaxation steps. Finally, we show via numerical simulations that the proposed algorithms outperform those in the literature in terms of convergence speed.

A fundamental open problem in monotone game theory is the computation of a specific generalized Nash equilibrium (GNE) among all the available ones, e.g. the optimal equilibrium with respect to a system-level objective. The existing GNE seeking algorithms have in fact convergence guarantees toward an arbitrary, possibly inefficient, equilibrium. In this paper, we solve this open problem by leveraging results from fixed-point selection theory and in turn derive distributed algorithms for the computation of an optimal GNE in monotone games. We then extend the technical results to the time-varying setting and propose an algorithm that tracks the sequence of optimal equilibria up to an asymptotic error, whose bound depends on the local computational capabilities of the agents.

We study predictive control for blood glucose regulation in patients with type 1 diabetes mellitus. We determine optimal control actions for insulin and glucagon infusion via linear time-varying model predictive control (LTV MPC) and dynamic linerization around the state trajectory predicted. Through in silico implementation of a comprehensive nonlinear model, we show that our proposed controller is able to reject meal disturbances, retain normoglycemia afterwards and significantly outperform standard linearized MPC.

Vehicle automation and connectivity bring new opportunities for safe and sustainable mobility in urban and highway networks. Such opportunities are however not directly associated with traffic flow improvements. Research on exploitation of connected and automated vehicles (CAVs) toward a more efficient traffic currently remains at a theoretical level, and/or based on simulation models with limited reliability. Furthermore, testing CAVs in the real world is still costly and very challenging from an implementation perspective. A possible alternative is to use automated robots. By designing and testing both the low-and the high-level controllers of CAVs, it is indeed possible to reach a better understanding of the challenges that future vehicles will need to face. Robotic applications can effectively test these challenges within a wide variety of research communities—for example, via robotic competitions. Along this direction, the Joint Research Centre has organized the first European robotic traffic competition for automated miniature vehicles. Each team participated with four robots and was judged based on a set of indicators that assess the collective behaviors of the vehicles. Results show the suitability of the methodology with different teams proposing completely different approaches to deal with the challenge and thus achieving different results. Future competitions may further raise awareness about the possibility of using CAVs to improve traffic and to engage with a broader community to design systems that are really capable of achieving this goal.

We study generalized games with full row rank equality coupling constraints and we provide a strikingly simple proof of strong monotonicity of the associated KKT operator. This allows us to show linear convergence to a variational equilibrium of the resulting primal-dual pseudo-gradient dynamics. Then, we propose a fully-distributed algorithm with linear convergence guarantee for aggregative games under partial-decision information. Based on these results, we establish stability properties for online GNE seeking in games with time-varying cost functions and constraints. Finally, we illustrate our findings numerically on an economic dispatch problem for peer-to-peer energy markets.

In this paper, we solve the problem of learning a generalized Nash equilibrium (GNE) in merely monotone games. First, we propose a novel continuous semi-decentralized solution algorithm without projections that uses first-order information to compute a GNE with a central coordinator. As the second main contribution, we design a gain adaptation scheme for the previous algorithm in order to alleviate the problem of improper scaling of the cost functions versus the constraints. Third, we propose a data-driven variant of the former algorithm, where each agent estimates their individual pseudogradient via zeroth-order information, namely, measurements of their individual cost function values. Finally, we apply our method to a perturbation amplitude optimization problem in oil extraction engineering.

Generative adversarial networks (GANs) are a class of generative models with two antagonistic neural networks: a generator and a discriminator. These two neural networks compete against each other through an adversarial process that can be modeled as a stochastic Nash equilibrium problem. Since the associated training process is challenging, it is fundamental to design reliable algorithms to compute an equilibrium. In this article, we propose a stochastic relaxed forward-backward (SRFB) algorithm for GANs, and we show convergence to an exact solution when an increasing number of data is available. We also show convergence of an averaged variant of the SRFB algorithm to a neighborhood of the solution when only a few samples are available. In both cases, convergence is guaranteed when the pseudogradient mapping of the game is monotone. This assumption is among the weakest known in the literature. Moreover, we apply our algorithm to the image generation problem.

We consider a large population of decision makers that choose their evolutionary strategies based on simple pairwise imitation rules. We describe such a dynamic process by the replicator dynamics. Differently from the available literature, where the payoffs signals are assumed to be updated continuously, we consider a more realistic scenario where they are updated occasionally. Our main technical contribution is to devise two event-triggered communication schemes with asymptotic convergence guarantees to a Nash equilibrium. Finally, we show how our proposed approach is applicable as an efficient distributed demand response mechanism.