Ce poste s’intègre dans un projet dont l’objectif est de proposer un formalisme de logique
temporelle, reposant sur la notion de risque. Ce formalisme permettra la définition des propriétés
principales d’un système ayant un niveau d’autonomie élevé et la génération de deux outils
primordiaux : un moniteur vérifiant la conformité du système vis à vis de ses propriétés ou un
contrôleur garantissant cette conformité. Le financement du projet provient du CIEDS et une des applications Défense où une garantie de sécurité et une probabilité de succès suffisantes essentiellement requises seront considérées comme un cas
d'étude.
Le postdoctorant aura pour mission de définir un formalisme étendue de la STL en y incorporant
une notion de risque (collision) ou de succès (de la mission), ainsi que des ensembles (bruits,
incertitudes) pour représenter les spécifications d’un système cyber-physique. Il participera
également à l’encadrement des doctorants et à la gestion du projet.
Ce contrat de 14 mois pourra être étendu, dans la limite de la durée du projet (48 mois), si le
postdoctorant fait ses preuves.
