TROPICAL

L'équipe-projet « Tropical »  développe des méthodes s’appuyant sur les mathématiques tropicales pour traiter des problèmes issus de la théorie de la décision (contrôle optimal déterministe et stochastique, théorie des jeux, optimisation et recherche opérationnelle), de l’analyse et du contrôle de systèmes dynamiques (incluant les systèmes temporisés à événements discrets et les systèmes monotones), de la vérification de programme et des systèmes, de l’évaluation de performance, et de l’algorithmique numérique. Les techniques tropicales sont utilisées en association ave des méthodes issues de l’analyse convexe, des EDP d’Hamilton-Jacobi, de la géométrie métrique, de la théorie de Perron-Frobenius non-linéaire, et de la complexité algorithmique. Ce projet s’intéresse particulièrement à la modélisation mathématique et aux aspects effectifs. Ses principales applications actuelles portent sur l’évaluation de performance de centre d’appels d’urgence et sur la tarification.

L’equipe de recherche « Tropical » est commune à l’INRIA Saclay – Île-de-France et au CMAP, École polytechnique – IP Paris, UMR 7641, CNRS. Le site de l'équipe est disponible à ce lien.