Séance Séminaire

Séminaire de Probabilités et Statistique

Modélisation par les Processus Markoviens Déterministes par Morceaux,estimation de performance et optimisation, application à la fiabilité dynamique

Les processus markoviens déterministes par morceaux forment une large classe de processus de Markov de type non diffusion. Bien qu'ils apparaissent dans de nombreuses applications (gestion de stocks, fiabilité dynamique, neurosciences, biologie, traffic internet, files d'attente, actuariat...), il existe remarquablement peu de méthodes numériques dédiées à ces processus et permettant de faire des calculs concrets. Je présenterai un panorama des méthodes développées dans l'équipe Inria CQFD depuis quelques années, autour de l'estimation de performance et du contrôle de ces processus. J'illustrerai les résultats sur un exemple de fiabilité dynamique que nous avons traité en partenariat avec Astrium.