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

Publications 2018-2023

• 2023
  • B. Bollig, M. Lehaut, N. Sznajder : “Round- and context-bounded control of dynamic pushdown systems”, Formal Methods in System Design, (Springer Verlag) (2023)
• 2020
  • M. Lehaut : “Synthèse pour les systèmes paramétrés”, thèse, soutenance 17/12/2020, direction de recherche Bérard, Béatrice, co-encadrement : Sznajder, Nathalie, Benedikt, Bollig (LSV, Ens, Paris Saclay) (2020)
  • N. Sznajder, B. Bérard, B. Bollig, M. Lehaut : “Parameterized Synthesis for Fragments of First-Order Logic over Data Words”, Proceedings of the 23^rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), vol. 12077, Lecture Notes in Computer Science, Dublin, Ireland, pp. 97-118, (Springer) (2020)
• 2018
  • B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems”, 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), vol. 11138, Proceedings of the 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, United States, pp. 370-386, (Springer) (2018)