Doctorante / Doctorant en ingénierie des systèmes critiques – Vérification bout-en-bout de systèmes de contrôle
Toulouse, 31400
CDD
01/10/2025- 30/09/2028
Description
L’ENAC, École Nationale de l’Aviation Civile, est la plus importante des Grandes Écoles ou universités aéronautiques en Europe. Elle forme à un spectre large de métiers : des ingénieurs ou des professionnels de haut niveau capables de concevoir et faire évoluer les systèmes aéronautiques et plus largement ceux du transport aérien ainsi que des pilotes de ligne, des contrôleurs aériens ou encore des techniciens aéronautiques.
Ses laboratoires de recherche sont à la pointe de l’innovation et travaillent activement en coopération avec des universités internationales de haut niveau pour un transport aérien toujours plus sûr, efficace et durable.
L’ENAC est un établissement public à caractère scientifique, culturel et professionnel – grand établissement (EPSCP-GE), sous tutelle de la DGAC (Direction Générale de l’Aviation Civile), Direction du Ministère de la Transition Écologique et Solidaire. L’ENAC comprend une direction générale localisée à Toulouse et 8 sites en France.
Pour soutenir sa dynamique en faveur de la promotion de la diversité, l’ENAC facilite l’accueil et l’intégration des travailleurs en situation de handicap.
Mission
The objective of this PhD is to design a complete framework for the end-to-end verification of control system software. More specifically we will consider systems where both the model description – the plant – and the controller are discrete time dynamical systems.
The usual properties of interest of those systems are expressed considering the coupled system plant+controller. A first one is stability and the second set of properties covers a wide range of variuous performance metrics. Last, both categories of properties can be analyzed with respect to robustness: how much noise can the system tolerate before loosing these properties.
Unfortunately, there is not yet any automatized framework to perform these analyses both at model and code level. Individual analyses do exist for specific properties - mainly stability or boundedness and specific families of systems, eg. pure linear systems.
The objective of this PhD is to design a verification process to address these requirements. It should produce an automated framework to support these analyses.
Profil
Compétences nécessaires au poste :
connaissance en automatique et en vérification formelle
bon niveau d’anglais écrit et oral - B2 minimum
Qualification : Master 2 ou diplôme d’ingénieur