Efficient Energy Distribution in a Smart Grid using Multi-Player Games

Abstract : Algorithms and models based on game theory have nowadays become prominent techniques for the design of digital controllers for critical systems. Indeed, such techniques enable automatic synthesis: given a model of the environment and a property that the controller must enforce, those techniques automatically produce a correct controller, when it exists. In the present paper, we consider a class of concurrent, weighted, multi-player games that are well-suited to model and study the interactions of several agents who are competing for some measurable resources like energy. We prove that a subclass of those games always admit a Nash equilibrium, i.e. a situation in which all players play in such a way that they have no incentive to deviate. Moreover, the strategies yielding those Nash equilibria have a special structure: when one of the agents deviate from the equilibrium, all the others form a coalition that will enforce a retaliation mechanism that punishes the deviant agent. We apply those results to a real-life case study in which several smart houses that produce their own energy with solar panels, and can share this energy among them in micro-grid, must distribute the use of this energy along the day in order to avoid consuming electricity that must be bought from the global grid. We demonstrate that our theory allows one to synthesise an efficient controller for these houses: using penalties to be paid in the utility bill as an incentive, we force the houses to follow a pre-computed schedule that maximises the proportion of the locally produced energy that is consumed.
Type de document :
Communication dans un congrès
Cassting Workshop on Games for the Synthesis of Complex Systems (Cassting'16) , Apr 2016, Eindhoven, Netherlands. EPTCS, 220, pp.1 - 12, 2016, Proceedings of the Cassting Workshop on Games for the Synthesis of Complex Systems (Cassting'16) and the 3rd International Workshop on Synthesis of Complex Parameters (SynCoP'16). 〈10.4204/EPTCS.220.1〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01452611
Contributeur : Benjamin Monmege <>
Soumis le : jeudi 2 février 2017 - 09:26:13
Dernière modification le : mercredi 14 mars 2018 - 10:36:17
Document(s) archivé(s) le : vendredi 5 mai 2017 - 12:55:50

Fichier

BrihayeDharGeeraertsHaddadMonm...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege. Efficient Energy Distribution in a Smart Grid using Multi-Player Games. Cassting Workshop on Games for the Synthesis of Complex Systems (Cassting'16) , Apr 2016, Eindhoven, Netherlands. EPTCS, 220, pp.1 - 12, 2016, Proceedings of the Cassting Workshop on Games for the Synthesis of Complex Systems (Cassting'16) and the 3rd International Workshop on Synthesis of Complex Parameters (SynCoP'16). 〈10.4204/EPTCS.220.1〉. 〈hal-01452611〉

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

35