The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Games have been recognized as models of the interaction occurring between a plant and its environment, both in the Computer Science literature and in the Control Engineering one. From the CS point of view, the objective is to use game solving algorithms to automatically synthesize controllers.
In this talk we will discuss what kind of games and solution concepts are more appropriate for controller synthesis applications. We will focus on two features that distinguish controller synthesis games from most other games played in classical Game Theory and in Computer Science: first, the fact that the adversary is an indifferent environment; second, the importance of cost and performance measures, such as the amount of memory needed by a controller to win a game.