Optimisation globale déterministe garantie sous contraintes différentielles par morceaux
Résumé
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.