Grande Salle de VERIMAG
19 January 2012 - 14h00
Synthesizing Efficient Controllers
by Christian von Essen from Verimag
Abstract: In many situations, we are interested in controllers that implement a good trade-off between conflicting objectives. Examples of conflicting objectives are the speed of a car versus its fuel consumption, or the transmission rate of a wireless device versus its energy consumption. In both cases, we aim for a system that efficiently uses its resources.
In this talk I show how to automatically construct efficient controllers. We provide a specification framework for controllers in probabilistic environments and show how to synthesize implementations from them.