LEHAUT Mathieu

Docteur
Équipe : MoVe
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 220
    4 place Jussieu
    75252 PARIS CEDEX 05

Tel: 01 44 27 31 92, Mathieu.Lehaut (at) nulllip6.fr
https://lip6.fr/Mathieu.Lehaut

Direction de recherche : Béatrice BÉRARD

Co-encadrement : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)

Synthèse pour les systèmes paramétrés

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ée, 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

Soutenance : 17/12/2020 - 14h - https://zoom.us/j/96688640923?pwd=QjBFanJRTHlhUm1QVGx3a2tMZTZ1Zz09

Membres du jury :

TOUILI Tayssir (Laboratoire d'Informatique de Paris Nord) [Rapportrice]
FILIOT Emmanuel (Université Libre de Bruxelles) [Rapporteur]
MINE Antoine (LIP6)
BERTRAND Nathalie (Centre Inria Rennes-Bretagne Atlantique)
CARAYOL Arnaud (Laboratoire d'Informatique Gaspard Monge)
BERARD Béatrice (LIP6)
BOLLIG Benedikt (Laboratoire Spécification et Vérification)
SZNAJDER Tali (LIP6)

Publications 2018-2020

  • 2020
  • 2018
    • B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems”, 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), vol. 11138, Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, United States, pp. 370-386, (Springer) (2018)