Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars

The collective of autonomous cars is expected to generate almost optimal traffic. In this position paper we discuss the multi-agent models and the verification results of the collective behaviour of autonomous cars. We argue that non-cooperative autonomous adaptation cannot guarantee optimal behaviour. The conjecture is that intention aware adaptation with a constraint on simultaneous decision making has the potential to avoid unwanted behaviour. The online routing game model is expected to be the basis to formally prove this conjecture.Comment: In Proceedings FVAV 2017, arXiv:1709.0212

An Exchange Mechanism to Coordinate Flexibility in Residential Energy Cooperatives

Energy cooperatives (ECs) such as residential and industrial microgrids have the potential to mitigate increasing fluctuations in renewable electricity generation, but only if their joint response is coordinated. However, the coordination and control of independently operated flexible resources (e.g., storage, demand response) imposes critical challenges arising from the heterogeneity of the resources, conflict of interests, and impact on the grid. Correspondingly, overcoming these challenges with a general and fair yet efficient exchange mechanism that coordinates these distributed resources will accommodate renewable fluctuations on a local level, thereby supporting the energy transition. In this paper, we introduce such an exchange mechanism. It incorporates a payment structure that encourages prosumers to participate in the exchange by increasing their utility above baseline alternatives. The allocation from the proposed mechanism increases the system efficiency (utilitarian social welfare) and distributes profits more fairly (measured by Nash social welfare) than individual flexibility activation. A case study analyzing the mechanism performance and resulting payments in numerical experiments over real demand and generation profiles of the Pecan Street dataset elucidates the efficacy to promote cooperation between co-located flexibilities in residential cooperatives through local exchange.Comment: Accepted in IEEE ICIT 201

Evolution of a supply chain management game for the trading agent competition

TAC SCM is a supply chain management game for the Trading Agent Competition (TAC). The purpose of TAC is to spur high quality research into realistic trading agent problems. We discuss TAC and TAC SCM: game and competition design, scientific impact, and lessons learnt

Multi-item Auctions for Automatic Negotiation

Available resources can often be limited with regard to the number of demands. In this paper we propose an approach for solving this problem which consists of using the mechanisms of multi-item auctions for allocating the resources to a set of software agents. We consider the resource problem as a market in which there are vendor agents and buyer agents trading on items representing the resources. These agents use multi-item auctions which are viewed here as a process of automatic negotiation, and implemented as a network of intelligent software agents. In this negotiation, agents exhibit different acquisition capabilities which let them act differently depending on the current context or situation of the market. For example, the "richer" an agent is, the more items it can buy, i.e. the more resources it can acquire. We present a model for this approach based on the English auction, then we discuss experimental evidence of such a model. Dans un environnement multiagent, les ressources peuvent toujours s'avérer insuffisantes relativement à un nombre élevé de demandes. Dans ce cahier, nous proposons une approche mixant les enchères et les agents logiciels en vue de contribuer à résoudre ce problème. Cette approche consiste en fait à utiliser le mécanisme d'enchères multi-articles en vue d'allouer les ressources à un ensemble d'agents. À cet effet, nous considérons le problème de ressources comme un marché dans lequel évoluent des agents acheteurs et des agents vendeurs négociant des articles représentant des ressources. Ces agents utilisent des enchères multi-articles et par conséquent ils constituent un processus de négociation automatisé et programmé comme un réseau d'agents logiciels. Dans ce type de négociation, chaque agent exhibe différentes capacités d'acquisition lui permettant ainsi d'agir différemment selon le contexte ou la situation de marché. Par exemple, plus on est riche, plus on peut acheter d'articles. Nous présentons pour ce modèle une enchère anglaise et nous discuterons ses résultats expérimentaux.Multi-agent systems, Negotiations, Multi-item auctions, Systèmes multiagents, négociations, enchères multi items