Verimag

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 3.0.26 + AHUNTSIC [CC License]

info visites 916666