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é