TROPICAL

Ce projet 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. Nos principales applications portent sur
l'évaluation de centre d'appels d'urgence et sur la tarification.