Jeux discrets pour la synthèse et la validation de processus communicants

par Julien Bernet

Thèse de doctorat en Informatique et mathématiques

Sous la direction de David Janin et de Pascal Weil.

Soutenue en 2006

à Bordeaux 1 .


  • Résumé

    L'étude des jeux discrets infinis occupe une place importante au sein des travaux sur la vérification et la synthèse automatique de programmes. Les jeux à deux joueurs fournissent un formalisme simple pour l'étude des systèmes ouverts, où un système informatique interagit avec son environnement. Dans le contexte de la synthèse de programmes distribués, les jeux à deux joueurs ne suffisent plus : on doit disposer d'un modèle de jeux où un nombre arbitraire de joueurs coopèrent. Dans cette thèse, je m'ntéresse à deux modèles de jeux pour la synthèse de programmes. J'étudie dans un premier temps les jeux de parité, en proposant une notion de stratégie permissive, qui capture le fait qu'un programme accepte un nombre de comportements au moins aussi grand que tous les programmes corrects. Je propose en outre un algorithme efficace pour le calcul des stratégies permissives dans un jeu de parité. Dans un deuxième temps, je m'intéresse aux jeux distribués, où une équipe de joueurs Processus affronte un joueur Environnement, en disposant de communications incomplètes entre eux. Je montre que le problème de la synthèse d'une stratégie gagnante dans ces jeux est indécidable, même dans le cas de conditions de gain très simples. Je m'attache alors à définir une classe de jeu distribués au sein de laquelle le problème de la synthèse est décidable, et je montre quelles conséquences en découlent pour un problèmes de synthèse de programmes distribuée classique.

  • Titre traduit

    Discrete games for the synthesis and validation of communication processes


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (x, 108 p.)
  • Annexes : Bibliogr. p. [101]-106. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FTA 3246
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.