Précédent : Vers une approche géométrique des Remonter : Systèmes à événements discretsalgèbre Suivant : Généralisations de l'algorithme de Howard

Automates tropicaux et applications aux Systèmes à Événements Discrets

Participant : Stéphane Gaubert En collaboration avec Jean Mairesse (BRIMS-HP et LITP-CNRS ), nous avons poursuivi le travail des années précédentes sur l'emploi des automates à multiplicités sur le semi-anneau max-plus comme outils de modélisation de systèmes à événements discrets temporisés. Les résultat marquants cette année sont :

(1) une caractérisation du pouvoir de modélisation de ces objets, en termes de classes de réseaux de Petri (ces automates unifient les résultats classiques à la Mazurkievitch de représentation de sous classes de réseaux de Petri par des langages de trace, ainsi que les résultats de modélisation max-plus linéaire des graphes d'événements). Il s'agit d'une vraie extension de la classe de systèmes analysables par des techniques max-plus.

(2) Le développement de nouveaux algorithmes d'évaluation de performance basés sur ces représentations en termes d'automates, lesquels se révèlent particulièrement adaptés à la comparaison d'ordonnancements.