Synthesis for parameterized systems
FR |
EN
Auteur / Autrice : | Mathieu Lehaut |
Direction : | Béatrice Bérard, Benedikt Bollig |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 17/12/2020 |
Etablissement(s) : | Sorbonne université |
Ecole(s) doctorale(s) : | École doctorale Informatique, télécommunications et électronique de Paris |
Partenaire(s) de recherche : | Laboratoire : LIP6 (1997-....) |
Jury : | Président / Présidente : Antoine Miné |
Examinateurs / Examinatrices : Nathalie Sznajder, Nathalie Bertrand, Arnaud Carayol | |
Rapporteurs / Rapporteuses : Tayssir Touili, Emmanuel Filiot |
Mots clés
FR |
EN
Mots clés contrôlés
Mots clés libres
Résumé
FR |
EN
Cette thèse étudie le problème de la synthèse dans le cadre de systèmes distribués dont le nombre de participants n’est pas connu à l’avance et qui interagissent avec un environnement incontrôlable. Il s’agit alors de construire automatiquement un programme pour un tel système qui sera correct par construction vis à vis d’une spécification donné, si cela est possible. On étudie aussi le problème proche qu’est le contrôle, où il s’agit alors de construire un contrôleur pour un système déjà partiellement défini afin que tous les comportements de ce système soient corrects par rapport à la spécification.