Modèle probabiliste de systèmes distribués et concurrents. Théorèmes limite et application à l'estimation statistique de paramètres

par Samy Abbes

Thèse de doctorat en Informatique

Sous la direction de Albert Benveniste.

Soutenue en 2004

à Rennes 1 .


  • Résumé

    On propose un modèle probabiliste pour la dynamique de modèles de concurrence à événements discrets. On étudie les structures d'événements et les réseaux de Petri sans contact sous leur sémantique de trace, et on étend certaines propriétés des chaînes de Markov à une classe de réseaux probabilistes. On montre la compacité du bord à l'infini des structures d'événements localement finies, d'où on déduit un théorème d'extension de mesures de probabilité. On construit les probabilités distribuées, pour lesquelles le parallélisme de processus locaux se traduit par une indépendence en probabilité. On applique ces résulats aux réseaux en utilisant la théorie du dépliage des réseaux de Petri, pour montrer des propriétés de récurrence et la Loi forte des grands nombres pour les réseaux. On s'intéresse à la calculabilité des nouveaux éléments introduits et on applique ces résultats à un problème d'estimation statistique.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 264 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 50 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 2004/
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.