Efficient Energy Distribution in a Smart Grid using Multi-Player Games
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 exi