Optimisation Globale Déterministe Garantie sous Contraintes Différentielles par Morceaux

Session : SS10-1 / SS10 : Contraintes
Mercredi 10 février 15:00 - 16:00 Salle : RP13
Hugo Joudrier et Khaled Hadj-Hamou

Nous présentons un ensemble de méthodes, pour résoudre des problèmes d'optimisation de systèmes dynamiques multi-physiques complexes, de manière garantie (sans aucune approximation causée par la représentation binaire ou les options d'arrondis de l'unité de calcul). L'idée de garantir le résultat des opérations vient du constat qu'avec l'augmentation de la puissance de calcul, nous sommes maintenant capable de réaliser des calculs complexes, avec un grand nombre d'itérations. Ainsi, du fait des approximations successives, l'erreur finale peut devenir importante.

Mots clés : Arithmétique d'Intervalles, Arithmétique de Tubes, Programmation par Contraintes, Optimisation Globale Déterministe, Equations Différentielles par Morceaux