Seminar details

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.

Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3935662