Détail d'une fiche   Version PDF

MAXPLUS (SR0676DR)

algèbres max-plus et mathématiques de la décision

MAXPLUS (SR0138HR) →  MAXPLUS


Statut: Terminée

Responsable : Stephane Gaubert

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Mathématiques appliquées, calcul et simulation
Thème : Optimisation et contrôle de systèmes dynamiques

Période : 01/01/2015 -> 31/12/2015
Dates d'évaluation : 19/03/2009 , 26/03/2013

Etablissement(s) de rattachement : CNRS, EC. POLYTECHNIQUE
Laboratoire(s) partenaire(s) : CMAP (UMR7641)

CRI : Centre Inria de Saclay
Localisation : Ecole Polytechnique - Centre de Mathématiques Appliquées (CMAP)
Code structure Inria : 111036-0

Numéro RNSR : 200218372R
N° de structure Inria: SR0676DR

Présentation

L'équipe-projet MAXPLUS développe la théorie, l'algorithmique, et les applications des algèbres de type max-plus, en relation avec les domaines où celles-ci interviennent: théorie de la décision (commande optimale déterministe et stochastique, théorie des jeux), analyse asymptotique et théorie des probabilités, modélisation et évaluation de performance de systèmes à évènements discrets(réseaux de transport ou de télécom, systèmes de production), et recherche opérationnelle.

Axes de recherche

  • Commande optimale et théorie des jeux. On s'intéresse aux problèmes de décision, et en particulier aux méthodes de programmation dynamique, que l'on aborde aussi bien du point vue théorique (étude des propriétés de structure), que de la résolution pratique (par le développement d'algorithmes rapides). On développe en particulier les thèmes suivants:
    • Systèmes dynamiques monotones ou contractants, théorie spectrale non-linéaire.
    • Algorithmes d'itération sur les politiques, algorithmes de graphe, problèmes de grande taille en programmation dynamique.
    • Étude et discrétisation d'équations d'Hamilton-Jacobi-Bellman.
  • Systèmes à événements discrets. On s'intéresse à l'analyse (évaluation de performance), et à la commande, de systèmes dynamiques à événements discrets, qui apparaissent dans la modélisation de réseaux (routiers, ferroviaires, télécom) et de systèmes de production. On développe en particulier les thèmes suivants:
    • Théorie des systèmes max-plus linéaires (approche géométrique).
    • Théorie des automates (automates à multiplicité).
    • Algorithmique pour l´evaluation de performance.
  • Recherche opérationnelle. On s'intéresse à l'application d'outils de type algèbre max-plus à la résolution de problèmes d'optimisation discrète.
  • Algèbre max-plus et domaines reliés. L'algèbre max-plus apparaît dans plusieurs problèmes des mathématiques et de la physique, en particulier dans l'étude de phénomènes asymptotiques. On s'intéresse au développement théorique de l'algèbre max-plus, en relation avec ces problèmes. On étudie notamment des questions de:
    • Perturbations de valeurs propres
    • Probabilités idempotentes et grandes déviations
    • Algèbre linéaire et convexité.
  • Logiciel. On développe la boîte à outils max-plus de Scilab, qui implémente certains de nos travaux.

Relations industrielles et internationales

  • Collaboration STIC INRIA/Universités Tunisiennes avec le LAMSIN (ENIT).
  • Ancienne collaboration NSF-INRIA avec l'université de Rutgers.
  • Plusieurs autres collaborations académiques en cours, avec des chercheurs de: Birmingham, Bucarest, Harvard, ISI (New Delhi), Nottingham, Warwick.
  • Contacts avec le CEA.