Ecole MOA 2016

ENSEEIHT, Toulouse, 21 et 22 mars 2016

Intervenants

  • Frédéric Bonnans, CMAP, Ecole Polytechnique, Palaiseau
  • Eric Féron, Georgia Tech, USA
  • Pierre Martinon, CMAP, Ecole Polytechnique, Palaiseau

Programme

Cours 1 (6h) : Eric Féron, Georgia Tech, USA
Formal methods in optimization engineering : Optimization algorithms have been traditionally used as desktop applications for non
real-time tasks. The advent of fast computers allows optimization algorithms to be used in a real-time setting. They allow large, but safety-critical systems to be controlled much more efficiently than traditional control methods can. For that to happen, there is the necessity to guarantee the safety of these algorithms; only then can such algorithms compete with well-established, older methods.

This course will discuss how formal methods can contribute to supporting safety claims for optimization algorithms, convex optimization algorithms being first among them. First off, formal methods will be briefly described. Then some applications to optimization software will be discussed, in the context of recent advances in convex optimization and its implementation on fast computers. Last, the relation of these topics to industrial applications and development standards will be introduced.

Cours 2 (6h) : Frédéric Bonnans et Pierre Martinon, CMAP, Ecole Polytechnique, Palaiseau
Part 1 :
Bases théoriques et algorithmiques.Problèmes de contrôle déterministe et stochastique
Systèmes avec coûts de transition
Equation de Hamilton-Jacobi-Bellman
Discrétisation semi lagrangienne

Part 2 :
Travaux pratiques sur un problème de gestion d’énergie de microréseau
Introduction au logiciel Bocop-HJB
Résolution de variantes déterministes et stochastiques

Inscriptions

  • Aucun droit d’inscription n’est demandé mais, pour des raisons d’organisation, nous vous demandons de vous inscrire à l’aide du formulaire ci-dessous. Les inscriptions sont à présent closes.
  • Afin d’encourager la participation des doctorants et jeunes chercheurs, l’hébergement durant la durée de l’école sera pris en charge par le GdR MOA, dans la limite de notre budget : les 15 premières candidatures de doctorants et nouveaux docteurs. Ces quinze participants se verront aussi offrir l’hébergement durant la durée des Journées SMAI-MODE 2016 qui suivront l’école.
  • At least one class will be in English.