Bandeau du Laboratoire d'Informatique & Systèmes (LIS)

Léo Exibard reçoit le Prix de Thèse

Les travaux de Léo Exibard ont pour thème : "Synthèse Automatique de Systèmes avec Données". Léo a fait sa thèse au sein de l'équipe MOVE du LIS sous la direction de Pierre-Alain Reynier au LIS et Emmanuel FILIOT de l'Université libre de Bruxelles
Nous interagissons régulièrement avec des machines qui réagissent en temps réel à nos actions (robots, sites web etc). Celles-ci sont modélisées par des systèmes réactifs, caractérisés par une interaction constante avec leur environnement. L’objectif de la synthèse réactive est de générer automatiquement un tel système à partir de la description de son comportement afin de remplacer la phase de développement bas-niveau, sujette aux erreurs, par l’élaboration d’une spécification haut-niveau. Classiquement, on suppose que les signaux d’entrée de la machine sont en nombre fini. Un tel cadre échoue à modéliser les systèmes qui traitent des données issues d’un ensemble infini (un identifiant unique, la valeur d’un capteur, etc). Cette thèse se propose d’étendre la synthèse réactive au cas des mots de données. Nous étudions un modèle adapté à ce cadre plus général, et examinons la faisabilité des problèmes de synthèse associés. Nous explorons également les systèmes non réactifs, où l’on n’impose pas à la machine de réagir en temps réel. Mots Clés : Automates à registres ⋅ Transducteurs à registres ⋅ Synthèse réactive ⋅ Problème de Church ⋅ Mots de données⋅ Domaines de données⋅ Transducteurs asynchrones⋅ Calculabilité ⋅ Continuité