[FM-India] Fully-funded PhD position at VERIMAG (Grenoble, France)

Thao Dang thao.dang at imag.fr
Fri Jul 10 14:38:46 IST 2020



Dear colleagues, 





We are looking for motivated candidates interested in pursuing a PhD on Encoding and Sampling of Constrained Signal Spaces for Validation of Cyber-Physical Systems 

(also a French version below) 





This fully-funded thesis supervised by Nicolas Basset and Thao Dang will take place in the Tempo team at the laboratory Verimag (Grenoble, France) 

in the context of validation, monitoring and control of cyber-physical systems modelled by timed and hybrid systems. 




The thesis consists of theoretical development on: 

- defining metrics for signals that satisfy temporal constraints expressed with different formalisms: timed automata, signal temporal logic, timed regular expressions. 

- parametrizing such constrained signal sets. Each parameter valuation maps to a signal in the constrained sets, and such parametrizations enable random sampling and optimization directly over constrained signal sets without resorting to costly rejection sampling methods. 

- learning a constrained signal set that best describes a finite set of signals. 




This theoretical framework will then be applied to validation and control of cyber-physical systems in particular from automotive industry. 




The student should have (when the thesis begins) a Master degree in Computer Science, Mathematics or Control Engineering, and a solid background in a non-empty subset of Computer Science (algorithms, automata, logics), control theory, optimization, formal methods and statistical reasoning. 




Candidates who are ready to learn new things and complete their background, are kindly requested to send e-mail (with "PhD-candidate" in the title) a CV, a motivation letter, and a university transcript and Master manuscript (if already available), to thao.dang at univ-grenoble-alpes.fr and nicolas.b asset1 at univ-grenoble-alpes.fr. 




Best wishes, 

Nicolas Basset and Thao Dang 

ps: feel free to ask for further informations and distribute to potentially interested students 










=== 

Bonjour à tous, 




Nous recherchons des candidats motivées à poursuivre un doctorat sur le thème 




Encodage et échantillonnage d'ensemble contraint de signaux pour la validation des systèmes cyber-physiques. 




Cette thèse (financée) co-supervisée par Nicolas Basset et Thao Dang se déroulera au sein de l’équipe Tempo du laboratoire Verimag (Grenoble) 

dans le contexte de la validation, de la surveillance (monitoring) et du contrôle des systèmes cyber-physiques modélisés à l'aide de systèmes temporisés et hybrides. 




Les développements théoriques de cette thèse consistent à: 

- définir des distances pour les signaux qui satisfont des contraintes temporelles exprimées à l'aide de différents formalismes: automates temporisés, logique temporelle des signaux (STL), expressions régulières temporisées. 

- paramétriser ces ensemble contraints de signaux. Chaque valuation de paramètres donne un signal dans l'ensemble contraint, et une telle paramétrisation permet la génération aléatoire et l'optimisation directement dans l'ensemble contraint sans avoir recours à une coûteuse méthode de rejet. 

- apprendre automatiquement ce genre de contraintes sur les signaux à partir d'ensembles finis de signaux donnés. 




Ce cadre théorique sera ensuite appliqué à la validation et au contrôle des systèmes cyber-physiques en particulier provenant de l'industrie automobile. 




L’étudiant(e) doit avoir (au commencement de la thèse) un Master en informatique en Mathématiques ou en automatique et un bagage solide dans un sous-ensemble non-vide de Informatique (algorithmes, automate, logique...), automatique, optimisation, méthodes formelles et statistiques/probabilités. 

L'offre est valable jusqu'à ce qu'elle soit pourvue. La date prévue de début de thèse est le 1er octobre. 

Les candidat(e)s qui sont prêt(e)s à apprendre de nouvelles choses et de compléter leur formation, sont prié(e)s d'envoyer par mail (avec "PhD-candidate" dans le titre) un CV, une lettre de motivation, et un relevé de notes et le manuscrit de Master (si disponible) à thao.dang at univ-grenoble-alpes.f 


More information about the FMIndia mailing list