Verimag

Détails sur le séminaire

Grande Salle de VERIMAG
19 janvier 2012 - 14h00
Synthesizing Efficient Controllers
par Christian von Essen de 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 | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 915451