Thèse Fédération Charles Hermite

Introduction par Pierre Vallois – Directeur de la FCH

Comme il est indiqué dans le Rapport de l’AERES (titre 2.2 - page12), la Thèse Fédération Charles Hermite est l’action la plus emblématique et sans doute la plus originale de notre Fédération. Il s’agit d’un concours, ouvert chaque année, destiné à attribuer une demi-allocation de  thèse à un projet scientifique novateur et structurant associant deux encadrants de deux laboratoires de la Fédération. L’appel d’offre est lancé chaque année au mois d’octobre. Chaque projet est évalué par deux rapporteurs et la sélection du projet lauréat est effectuée lors d’un Conseil de la Fédération qui se réunit en décembre. Parmi les critères retenus pour juger des dossiers en présence, citons :

• le réel besoin de complémentarité entre deux disciplines

• l’originalité et la pertinence scientifique du sujet

• la qualité des encadrants.

La première année, le souhait de voir démarrer une nouvelle coopération avait été le critère numéro un.

Signalons que l’attribution de ce demi-financement permet aux porteurs du projet lauréat de se porter candidat à un autre demi-financement accordé par la Région Lorraine lors de l’appel d’offres Université-Région qui se déroule au premier trimestre de l’année suivante. Jusqu’à maintenant, cette démarche a toujours été fortement soutenue par l’Université et, en conséquence, la Région nous a accordé le financement complémentaire de thèse.

Nous indiquons plus bas les projets qui ont été retenus début 2010, fin 2010 et fin 2011, ainsi que les informations complémentaires.

 

- THESES SOUTENUES

Rémi BONIDAL - (01/09/2009-31/08/2012)

Encadrants : Samy TINDEL (IECN) – Yann GUERMEUR (LORIA)

Titre de la thèse : Analyse des systèmes discriminants multi-classes à grande marge

L'objectif de cette thèse est de caractériser les performances en généralisation des systèmes discriminants multi-classes à grande marge. Elle s'appuiera sur des études asymptotiques et à taille d'échantillon fixée. Les modèles considérés de matnière privilégiée seront les machines à vecteurs support multi-classes (M-SVM).

Ces travaux doivent donner naissance à un logiciel mettant en oeuvre les M-SVM que les utilisateurs pourront appliquer à leurs données sans avoir à fixer eux-mêmes les valeurs des hyperparamètres. Ce logiciel sera mis à la disposition des bioinformaticiens et des biologistes depuis le centre de compétences et de transfert (CCT G-BioModeL) du thème "Modélisation des Biomolécules et de leurs Interactions" (MBI) du projet "Modélisations, Informations et

- Publication :

Rémi Bonidal,  Samy  Tindel  et  Yann  Guermeur.  Model  selection  for   the   l2-SVM  by  following  the  regularization path. Transactions  on Computational Collective Intelligence, 13: 83-112, 2013.

Thèse soutenue le 19/06/2013

L'après-thèse : Chef de Projet (Sté Advanced Perfusion Diagnostics - Lyon)        

 

Yongxin LIAO - (01/11/2010-31/10/2013)

Encadrants : Hervé PANETTO (CRAN) – Nacer BOUDJILA (LORIA)

Titre de la thèse : Annotations sémantiques pour l'interopérabilité des systèmes dans un environnement PLM (Product Lifecycle Management)

L'objectif principal de cette thèse concerne l'étude et la définition d'un cadre pour l'annotation sémantique de modèles afin de gérer, tout au long du cycle de vie d'un produit, l'ensemble des connaissances métier qui interviennent dans sa conception, son exploitation et son recyclage. Plus particulièrement, ce travail de recherche cherche à répondre au besoin d’interopérabilité de connaissances en proposant un cadre de modélisation, une formalisation et des outils pour faciliter l'interopérabilité sémantique dans les systèmes PLM de manière cohérente, complète et contextualisée.

- Publications :

Yongxin Liao. Semantic annotations for systems interoperability in a PLM environment
Computer Aided Engineering. Université de Lorraine, 2013. English

Yongxin Liao, Mario Lezoche, Hervé Panetto, Nacer Boudjlida. Semantic annotations for semantic interoperability in a product lifecycle management context
International Journal of Production Research, Taylor & Francis, 2016, In press.

Yongxin Liao, Eduardo Rocha Loures, Osiris Junior Canciglieri, Hervé Panetto. A novel approach for ontological representation of analytic hierarchy process. Advanced Materials Research, Trans Tech Publications, 2014, 945-949, pp.675-682.

Yongxin Liao, Mario Lezoche, Hervé Panetto, Nacer Boudjlida. Why, Where and How to use Semantic Annotation for Systems Interoperability
1st UNITE Doctoral Symposium, Jun 2011, Bucarest, Romania. pp.71-78, 2011.

Yongxin Liao, Mario Lezoche, Hervé Panetto, Nacer Boudjlida. Semantic Annotation Model Definition for Systems Interoperability
OTM. OTM 2011 Workshops 2011 - 6th International Workshop on Enterprise Integration, Interoperability and Networking (EI2N), Oct 2011, Hersonissos, Crete, Greece. Springer-Verlag, LNCS 7046, pp.61-70, 2011, Lecture Notes in Computer Science.

José Marcelo Cestari, Eduardo Rocha Loures, Eduardo Santos, Yongxin Liao, Hervé Panetto et al.  An overview of attributes characterization for interoperability assessment from the public administration perspective. Third Workshop on Industrial and Business Applications of Semantic Technologies and Knowledge-based information systems, INBAST 2014, Oct 2014, Amantea, Italy. Springer, Lecture Notes In Computer Sciences, LNCS 8842, pp.329-338, 2014, Lecture Notes in Computer Science.

Yongxin Liao, Mario Lezoche, Eduardo Rocha Loures, Hervé Panetto, Nacer Boudjlida. Formalization of Semantic Annotation for Systems Interoperability in a PLM environment. OTM. OTM Federated conferences and worlshops, 2nd Workshop on Industrial and Business Applications of Semantic Web Technologies (INBAST), Sep 2012, Rome, Italy. Springer, LNCS 7567, pp.207-218, 2012, Lecture Notes in Computer Science.

Yongxin Liao, Mario Lezoche, Eduardo Rocha Loures, Hervé Panetto, Nacer Boudjlida. A semantic annotation framework to assist the knowledge interoperability along a product life cycle
Advanced Materials Research, Trans Tech Publications, 2014, 945-949, pp.424-429.

Yongxin Liao, Mario Lezoche, Hervé Panetto, Nacer Boudjlida, Eduardo Rocha Loures. Formal semantic annotations for models interoperability in a PLM environment. Boje, Edward; Xia, Xiaohua. 19th IFAC World Congress, IFAC'14, Aug 2014, Cape Town, South Africa. International Federation of Automatic Control, 19 (1), pp.2382-2393, 2014.

Yongxin Liao, Mario Lezoche, Hervé Panetto, Nacer Boudjlida, Eduardo Rocha Loures. Semantic annotation for knowledge explicitation in a product lifecycle management context: a survey. Computers in Industry, Elsevier, 2015, 71, pp.24-34.

Yongxin Liao, Mario Lezoche, Eduardo Rocha Loures, Hervé Panetto, Nacer Boudjlida. Semantic enrichment of models to assist knowledge management in a PLM environment. 21st International Conference on Cooperative Information Systems CoopIS 2013, Sep 2013, Graz, Austria. Springer, LNCS 8185, pp.267-274, 2013, Lecture Notes in Computer Science.

Thèse soutenue le 14/11/2013

L'après-thèse : Post-Doctorat à l'Université Catholique Pontificale du Parana, Brésil

 

Tatiana MANRIQUE ESPINDOLA - (01/10/2011-30/09/2014)

Encadrants : Thomas CHAMBRION (IECL) – Gilles MILLERIOUX (CRAN)

Titre de la thèse : Optimisation de stratégies de contrôle pour véhicules hybrides

Un véhicule est dit "hybride" quand il peut changer son mode de fonctionnement (souvent en basculant d'une source d'énergie à une autre) en cours de marche normale.

Chaque mode de fonctionnement a, en général, une dynamique propre. Le but de cette thèse est la détermination en temps réel de stratégies énergétiquement efficaces pour un véhicule hybride (pour limiter la consommation énergétique, une vitesse moyenne cible étant donnée, quand doit-on accélérer, freiner ? Avec quelle source d'énergie ?). Les difficultés sont à la fois mathématiques (forte non linéarité des systèmes, problèmes de stabilité après linéarisation) et d'ordre plus technique comme par exemple la nécessité de mener les calculs en temps réel avec la puissance de calcul limitée d'un système embarqué. Les résultats théoriques  sont implémentés sur un prototype développé à l'ESSTIN.

- Publications :

Tatiana Manrique-Espindola, Mirko Fiacchini, Thomas Chambrion, Gilles Millérioux. MPC-based tracking for real-time systems subject to time-varying polytopic constraints
Optimal Control Applications and Methods, Wiley, 2016.

Tatiana Manrique-Espindola, Mirko Fiacchini, Thomas Chambrion, Gilles Millérioux. MPC tracking under time-varying polytopic constraints for real-time applications
13th European Control Conference (ECC 2014), Jun 2014, Strasbourg, France. pp.1480-1485, 2014
.

Tatiana Manrique-Espindola, Mirko Fiacchini, Thomas Chambrion, Gilles Millérioux. MPC for a low consumption electric vehicle with time-varying constraints
5th Symposium on System Structure and Control, IFAC Joint Conference 2013 SSSC, TDS, FDA, Feb 2013, Grenoble, France. pp.CDROM, 2013
.

Tatiana Manrique-Espindola, Hugo Malaise, Mirko Fiacchini, Thomas Chambrion, Gilles Millérioux. Model predictive real-time controller for a low-consumption electric vehicle.
2nd International Symposium on Environement-Friendly Energies and Applications, EFEA 2012, Jun 2012, Newcastle, United Kingdom. pp., 2012 (best paper awa
rd).

Thèse soutenue le 09/12/2014

L'après-thèse :  Assistant Professor à La Universidad Sergio Arboleda, Ecole des Sciences et de l’Ingénieur (Escuela de Ciencias Exactas e Ingeniería).

 

Saikat MAZUMDAR  (01/10/2012-30/09/2015)

Encadrants : Frédéric ROBERT (IECN) – Dong YE (LMAM)

Titre de la thèse : Singularités dans quelques flots non-linéaires

La thèse est consultable ici.

Ce mémoire est divisé en deux parties :

Partie 1 : Nous obtenons des résultats d'existence pour des problèmes au limite mettant en jeu des opérateurs polyharmoniques conformément invariants. Nous nous plaçons indifféremment dans le cas d'une variété riemannienne avec ou sans bord. En particulier, nous montrons que la meilleure constante de Sobolev sur les variétés est exactement la constante euclidienne. En conséquence, nous montrons l'existence d'une solution d'énergie minimale lorsque la fonctionnelle descend en-dessous d'un seuil quantifié, Puis nous montrons l'existence de solutions de haute énergie en utilisant le méthode topologique de Coron. Nous généralisons la decomposition des suites de Palais-Smale comme somme de bulles sur une variété avec ou sans bord: il s'agit d'un résultat dans l'esprit de célèbre théorème de Struwe en 1984. Nous obtenons aussi une version du lemme de compacité-concentration de Pierre-Louis Lions sur les variétés.

Partie 2 : Dans cette partie, nous effectuons une analyse de blow-up pour une équation de hardy-Sobolev à croissance critique et à singularité évanescente au bord. En supposant que l'équation limite n'admet pas de solution minimisante, nous étudions le comportement asymptotique dune suite de solutions de l'équation perturbée. Ici, la perturbation est la singularité à l'origine. Dans un premier temps, nous obtenons un contrôle ponctuel optimal des la suite de solutions.Dans un second temps, nous obtenons des informations précises sur le point d'explosion en utilisant une identité de Pohozaev.

- Publications :

S.Mazumdar : "GJMS-type Operators on   a  compact Riemannian manifold: Best constants and Coron-type solutions", à paraître au "Journal of Differential Equations"

S.Mazumdar : "Struwe's Decomposition  for a Polyharmonic Operator on a Compact Riemannian Manifold with or without boundary", à paraître à "Communications in Pure and Applied Analysis"

S.Mazumdar : "Blow-up Analysis For a Sequence of Solutions of the Critical  Hardy-Sobolev Equations", soumis.

Thèse soutenue le 27/06/2016

L'après-thèse : Post-doctorat à l'University of British Columbia (UBC) à Vancouver.

 

Benoît HENRY  (01/10/2013-30/09/2016)

Encadrants : Dave RITCHIE (LORIA) - Nicolas CHAMPAGNAT (IECL)

Titre de la thèse : Modélisation de l’apparentement évolutif entre les structures tridimensionnelles de protéines


L'essentiel de la machinerie biochimique du vivant repose sur les protéines et leur structure tri-dimensionnelle (3D). Or à ce jour la plupart des méthodes d'étude des relations évolutives entre individus ou espèces se basent sur l'analyse des séquences de nuléotides ou d'acides-aminés. L'objectif de cette thèse est de développer des modèles de génétique des populations prenant en compte l'évolution de structures 3D, de mettre en place des méthodes statistiques d'inférence ancestrale adaptées et d'exploiter des outils récents et efficaces de calcul de distances entre structures 3D (Ritchie, D.W., Ghoorah, A.W. Mavridis, L., Venkatraman, V. Bioinformatics, 2012) afin d'étudier les relations évolutives entre structures protéiques.

Thèse soutenue le 17/11/2016

L'après-thèse : Post-doctorat - INRIA

 

- THESES EN COURS

 

Adel BELKADI (01/09/2014-31/08/2017)

Encadrants : Didier THEILLIOL (CRAN) - Laurent CIARLETTA (LORIA)

Titre de la thèse : Conception de méthodes de diagnostic et de tolérance aux fautes des systèmes multi-agents : application à une flotte de véhicules autonomes

Le travail de recherche s’attache à l’analyse et la synthèse de manière systématique des méthodes d’isolation et de détection de fautes, et des méthodes de tolérance aux défauts au sein d’un système multi-agents en réseau. En effet, un agent qui dysfonctionne dans un système distribué est probablement non-observable hors des agents ou des nœuds de son voisinage. Ainsi le problème de la détection et de l’isolation de défauts/pannes (noté FDI  Fault Detection and Isolation) est plus complexe à résoudre pour un système multi-agents au regard de l’absence des observations directes. De même, contrairement au problème classique de la tolérance aux défauts, il n’y a pas de contrôleur central gérant l’information globale dans un système multi-agents. Les nœuds n’acquièrent qu’une connaissance locale dans un système multi-agents en réseau, conduisant une nouvelle problématique de  tolérance aux fautes. La faisabilité technologique et l’efficacité des méthodologies proposées seront appliquées à  une plate-forme d’expérimentation de véhicules autonomes.

 

Orianne DELMONT (01/12/2015-30/11/2018)

Encadrants : Mohamed BOUTAYEB (CRAN) - Dominique MARTINEZ (LORIA)

Titre de la thèse : Modélisation et Commande des robots à câble

Ce projet de recherche s'inscrit dans le cadre de la collaboration scientifique entre le LORIA et le CRAN sur la robotique "bio-inspirée". Il s'agit de concevoir et mettre en oeuvre un robot à câbles dans le but de suivre en temps réel le vol d'un papillon afin d'étudier son comportement Les défis scientifiques et technologiques sont multiples : Modélisation mathématique, développements des lois de commande du robot, réalisation du robot, implémentation et mise en oeuvre
 
Thèse arrêtée le 22/1/17
 
 
Florian LIETARD (15/09/2016-14/09/2019)

Encadrants : Thomas STOLL (IECL) - Damien JAMET (LORIA)

Titre de la thèse : Avoidability of additive k-th powers

L'objectif de cette thèse est d'avancer sur le problème de l'évitabilité des puissances k-ièmes dans les mots infinis sur un alphabet fini. La nouveauté dans le projet de thèse est d'étudier le problème de l'évitabilité des cubes additifs et celui des carrés additifs avec des outils de la combinatoire additive et la théorie des nombres en lien avec les outils de l'informatique théorique, la combinatoire des mots et les systèmes de numération.

 

MODALITES D'ATTRIBUTION D'UNE BOURSE DE THESE FCH