• Doctorat
  • GRENOBLE

Site Verimag, University Grenoble Alpes and CNRS

(French version below)

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

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 is assumed to have (when the thesis begin) 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, foermal 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 if already available a university transcript and Master manuscript, to thao.dang@univ-grenoble-alpes.fr and nicolas.basset1@univ-grenoble-alpes.fr.

===

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 au financement garantie, co-superviser 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 consiste à:

-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.

-l’apprentissage d’un ensemble contraint de signaux à partir d’un ensemble fini de signaux.

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 et probabilités.

L’offre est valable jusqu’elle soit pourvue. La date prevue de debut de these 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és d’envoyer par mail (avec « PhD-candidate » dans le titre) un CV, une lettre de motivation, et si possible un releve de notes et le manuscript de Master, à thao.dang@univ-grenoble-alpes.fr et nicolas.basset1@univ-grenoble-alpes.fr.

Pour postuler à ce poste veuillez visiter www-verimag.imag.fr.