Home »

Sujet de thèse - 2022

Vérification de modèles hybrides probabilistes et application aux modèles océaniques incertains.


Période : 2022-2025

L’objectif de cette thèse est de contribuer au développement de nouvelles méthodes de vérification de modèles, à travers une étude des systèmes complexes issus du vivant. Le doctorant ou la doctorante développera ainsi une approche de modélisation hybride, permettant de coupler divers niveaux d’échelles et de formalismes, afin de mieux reproduire les dynamiques biologiques complexes des écosystèmes terrestres et océaniques. La validation et la vérification des propriétés de ces modèles hybrides nécessiteront d’étendre de façon significative le champ d’application actuel des méthodes de model-checking.

Personnes à contacter :

Directeur : Benoît Delahaye

Encadrants : Guillaume Cantin, Gilles Ardourel

Fiche descriptive :
Copyright : LS2N 2017 - Mentions Légales - 
 -