Offres de thèses

Entreprise : Continental Chaire: Louise Travé-Massuyès
Fonction: Engineering, Information Technology
Localisation: Toulouse

Description 

Sujet traité dans le cadre de la Chaire « Synergistic transformations in model based and data based diagnosis » portée par Louise Travé-Massuyès, collaboration avec Vitesco Technologies.
Le secteur automobile requiert une forte production de cartes électroniques et exige qualité et performance. Les cartes électroniques sont aujourd’hui fabriquées de façon continue 7j/7j et 24h/24h, ce qui nécessite la mise en oeuvre d’un process et d’un système de fabrication optimisés.
Certaines opérations à l’origine de troubles musculosquelettiques (TMS) ont vu une solution
ultime dans l’installation de robots. De même, certaines opérations ne faisant pas appel à un savoir-faire humain spécifique et présentant un risque vis-à-vis de considérations telles que fatigue ou déconcentration ont progressivement fait l’objet de l’installation de robots
ou robots collaboratifs recentrant ainsi l’humain sur des tâches plus complexes tout en optimisant les cadences à travers une meilleure répartition des tâches.

L’utilisation des robots dans les environnements de production a ainsi connu une forte expansion ces
dernières années et poursuit sa croissance. Cette technologie reste cependant assez méconnue sur les aspects de maintenance. En effet, si la durée de vie peut être spécifiée par les fabricants, personne ne sait se positionner quant à la validité de cette donnée vis-à-vis des conditions de fabrication diverses et variées que l’on trouve dans les usines du groupe Continental. Par conséquent, le dimensionnement des stocks de pièces de rechange
de robotique et leur gestion constituent de réels défis. D’autant plus qu’il n’existe pas à l’heure actuelle de mesure fine de l’utilisation des robots, de même que de leurs éléments constitutifs. L’enjeu majeur est donc à la fois de prolonger la durée de vie des robots à travers des
opérations de maintenance ciblées basées sur des mesures d’usure de leurs éléments constitutifs mais aussi d’éviter tout arrêt non planifié car extrêmement coûteux. C’est ainsi que l’analyse des signaux émis par les différents moteurs et capteurs, contextuellement aux
conditions de production (type d’installation (fixe, mobile ; sol, plafond…), milieu environnemental (température, niveaux de particules, humidité…), caractéristiques
produit (poids…)) doivent permettre non seulement de quantifier un niveau d’utilisation du robot mais aussi d’identifier l’état du robot afin d’anticiper toute défaillance et de planifier de manière optimisée les actions de maintenance.

L’objectif de la thèse sera de concevoir et développer une méthode qui permette d’appréhender le comportement, l’usage et le vieillissement des éléments robotiques
afin d’anticiper les défaillances et les actions de maintenance à mettre en oeuvre. On s’intéressera à une méthode décentralisée et à la modélisation de la propagation des anomalies dans les chaînes fonctionnelles.
L’approche envisagée repose sur des méthodes de clustering dynamique qui permettent de faire
évoluer de manière adaptative, au fur et à mesure des données accumulées, le modèle de référence appris initialement. Cette adaptation se fait au fil de l’eau sans besoin d’une nouvelle phase d’apprentissage hors ligne. Cette fonctionnalité innovante lui adjoint la possibilité de
réaliser une classification dynamique et ainsi de suivre au mieux les évolutions. Dans le cadre d’une application en maintenance prédictive, il faut suivre l’état de santé évolutif (« health monitoring ») des différents composants du système. Un modèle de cette évolution est alors
obtenu par classification dynamique.

On s’intéressera aux points suivants :
– Extension de la méthode de clustering dynamique DyClee pour qu’elle puisse supporter un apprentissage supervisé afin d’intégrer des connaissances métier
– Extension de la méthode de clustering dynamique DyClee pour qu’elle puisse accepter des données numériques et catégorielles
– Prétraitement des données hétérogènes pour être présentées au classifieur : abstraction qualitative de signaux, extraction de motifs dans des séquences d’événements …
– Obtention des profils d’évolution/vieillissement à partir de l’évolution du modèle
– Mise en oeuvre d’une approche distribuée et fusion des résultats
Vous serez amené à :
> Comprendre le processus de fabrication des cartes électroniques dans l’usine.
> Collecter et faire une analyse exploratoire des données disponibles.
> Faire un état de l’art sur les méthodes de maintenance (préventive conditionnelle, prédictive), les méthodes de diagnostic permettant de déterminer l’état d’un équipement (normal ou défaillant) et les méthodes permettant de prédire le temps de fonctionnement
restant jusqu’à défaillance (Remaining Useful Life ou RUL). On focalisera sur les méthodes basées sur des données en exploitant cependant les connaissances métier.
> Faire un état de l’art sur les méthodes qui permettent de distribuer les fonctions de diagnostic et de pronostic.
> Développer un système de supervision des équipements intégrant les fonctions de diagnostic et de pronostic de défaillances.
> Faire une implémentation scalable du système qui sera testée et validée avec des données de simulation ainsi qu’avec des données réelles du production.
> Documenter les développements liés à votre projet, pour la maintenance, la socialisation et les modifications futures.

Advisors : Bruno Jullien (UT1C, TSE)
Contacts : br.jullien@gmail.com
Net Salary: 2096€ per month with some teaching (64 hours per year on average)
Duration: 36 months

CONTEXT

Today, digital change and artificial intelligence are major issues for competition policy. Digital platforms, the intensive use of algorithms and artificial intelligence call for an evolution of competition policy. New anti-competitive practices may result from the use of algorithms, data mining and network effects to determine competitive prices. The thesis will aim to understand some of these practices through a theoretical and empirical micro-economic study of the impact of artificial intelligence on a digital market.

Description 

The objective of the thesis will be to contribute to the adaptation of competition policy to digital change and artificial intelligence. Digital platforms, the intensive use of algorithms and artificial intelligence are as many challenges for antitrust.  New anti-competitiveness practices may result from the use of algorithms, data exploitation and network effects. Big Data induces new forms of discrimination. The thesis will aim to understand some of these practices through a theoretical and empirical micro-economic study of the impact of artificial intelligence on a digital market or practices affecting the development of AI (mergers and acquisitions for example). The method used will be twofold: on the one hand the development of theoretical models solved by means of game theory, as practiced by modern industrial economy, and on the other hand the empirical estimation of structural models by means of recent econometric techniques. 

The candidate should have an excellent level in theoretical and empirical industrial economics, microeconomics, game theory and econometrics.

This thesis project will be supervised by Bruno Jullien, DR CNRS at Toulouse School of Economics (TSE), and holder of the ANITI chair « Artificial intelligence and competition on markets ». 

The thesis will take place at TSE-R in the TSE Doctoral School. The subject is directly related to the themes of TSE which has acquired an international reputation in the field.  

Advisors : Daniel Delahaye, Nicolas Couellan (ENAC), François Soumis (IVADO)
Contacts : Delahaye@recherche.enac.fr , niolos.couellan@recherche.enac.fr
Net Salary: 2096€ per month with some teaching (64 hours per year on average)
Duration: 36 months

CONTEXT

Neural networks are currently able to rival or even surpass humans in games and control problems. However, these networks are often built by replicating the same structure on a set of fairly homogeneous layers. The learning of these networks is then done by optimizing the values of the neuronal weights without taking into account the structure of the network as well as the activation functions in the optimization process. The objective of this research is to use artificial evolution principles to jointly optimize the network structure and the associated activation functions in order to improve the global learning process. We propose to apply this methodology to the problem of predicting the trajectories of civil transport aircraft.

Description 

In recent years, artificial neural networks (ANN [1]) have demonstrated impressive learning capabilities for a wide variety of tasks. These methods have recently been applied to reinforcement learning (RL), where ANNs have been trained to play video and board games, achieving human or higher levels of performance [2]. However, a number of limitations to deep learning remain. In particular, only neuron weights are optimized by optimization algorithms (gradient retro-propagation) but few initiatives explore the potential benefits of taking into account other network attributes in the optimization process.

At the same time, optimization methods have undergone very interesting developments, especially in the framework of meta-heuristics [3] which allow to address problems of great complexity in many fields of applications. This success is also linked to new developments in computers which have seen their power increase dramatically (GPU). 

In this study, we propose to use artificial evolution principles [4] to optimize the structure and activation functions of neural networks in order to improve their learning and adaptation performances.

In order to validate this approach we propose to apply this methodology to a difficult problem from the field of air traffic management: trajectory prediction.

The aim of trajectory prediction is to estimate the future position of aircraft along their predicted trajectories in order to detect potential conflicts and optimize airspace occupancy. This prediction is an essential task of the air traffic control (ATC) process and has been studied for many years [5]. For future automation processes developed in the SESAR (Europe), NextGen (USA) and CARATS (Japan) projects, such trajectory prediction will be even more critical. In these projects, trajectory predictors generate aircraft prediction trajectories, usually for customer applications. Since there is always a discrepancy between the predicted wind/temperature (from the weather forecast) and the encountered temperature/wind, the main source of longitudinal (along-track) error between the predicted and actual trajectory is related to the weather estimate. Other factors also influence such a prediction such as aircraft weight, aircraft model parameters, intentions, etc.

In order to improve this trajectory prediction, we propose to use a hybrid approach based on a coupling of artificial evolution and neural networks.

This research, co-supervised by researchers from ENAC of the IVADO institute (Canada), will build on the existing collaboration between the OPTIM and IVADO research teams, and will be carried out in the framework of the ANITI chair entitled « Artificial Intelligence for Air Traffic Management and Large-Scale Urban Mobility » held by Daniel Delahaye. OPTIM is one of the four units of the ENAC research laboratory. It covers a large part of the optimization thematic spectrum (continuous and mixed optimization, discrete optimization, automatic learning, optimal control and air traffic applications). IVADO is one of the world’s leading institutes in the field of operational research and artificial learning. These entities are currently working on similar issues and have been collaborating for several years. Nicolas Couellan (ENAC/OPTIM/ANITI) and François Soumis (IVADO) will be in charge of the supervision.

References 

[1] Deep Learning. Goodfellow and Yoshua Bengio and Aaron Courville. MIT Press. 2016

[2] Human-level control through deep reinforcement learning. Mnih, V., Kavukcuoglu, K., Silver, D., Rusu, A. A., Veness, J., Bellemare, M. G., Graves, A., Riedmiller, M., Fidjeland, A. K., Ostrovski, G., et al.  Nature, 518(7540):529. 2015

[3] Handbook of Metaheuristics. International Series in Operations Research and Management Science book series. Vol 146, Editors M.Gendreau and J.Y. Potvin. Springer.2019

[4] Evolutionary Algorithms in Theory and Practice : evolution Strategies, Evolutionary Programming, Genetic Algorithms, T. Back. Oxford Univ. Press. 1996.

[5]  A hybrid machine learning model for short-term estimated time of arrival prediction in terminal manoeuvring area. Transportation research. Zhengyi Wang, Man Liang, and Daniel Delahaye. Part C, Emerging technologies, 95:280 – 294, October 2018

Advisors: Jean-Bernard Lasserre, Milan Korda, Victor Magron (LAAS-CNRS) e-mail: lasserre@laas.fr , vmgron@laas.fr , korda@laas.fr Net salary: 2096€ per month with some teaching (64 hours per year on average)
Duration: 36months.

Context

Abstract 

Many problems from various fields (optimization, statistics, dynamical systems, quantum physics) can be addressed by Lasserre’s hierarchy [1,2]. This unified approach solves a series of convex optimization problems of increasing size. In some of these applications, this approach has also required to be able to describe the support of a measurement from a finite number of its moments (precisely the information obtained in the Lasserre hierarchy), thanks to the Christoffel-Darboux kernel. An open question of importance is whether this approach can be applied in a « data driven » context (i.e. governed by the « data ») where the underlying model is unknown but its behaviour is described by some available « observations ». The project consists in exploring this research avenue based on promising early work [3]. Any progress in this direction would establish Lasserre’s hierarchy methodology as a new rigorous tool for certain « big data » applications, and a complement to current ad-hoc heuristic methods with limited mathematical foundations..

Description 

The goal of this research is the extension of Lasserre’s hierarchy and Christoffel-Darboux’s core to a « data driven » context, i.e. a context governed no longer by an analytical model but rather by data or observations, and typically in some cases, a large amount of these data. It will be a question of developing new methods and, as far as possible, also providing an analysis of the guarantees of convergence, the influence of possible « decoys », etc. 

A first research « lead » is to try to extend the approach [4] to measures whose support is contained in certain classes of mathematical varieties. The intention is to apply this methodology to deep learning models (Deep Neural Networks) for which it is commonly accepted that a latent representation of observations corresponds to a variety of relatively small dimensions. For the validation of the results obtained, numerical experiments on several standard test benches are envisaged, including MNIST, CIFAR10, or fashion MNIST.

Other complementary avenues may include (but are not limited to) the analysis of adaptive sampling techniques and the choice of bases for the approach developed in [3], as well as the extension of the proposed method beyond the class of problems initially considered; for example, the extension to data-driven optimal control problems. 

Another important direction of research, further upstream, consists in studying the reduction of computational complexity through the exploitation of parsimony and/or symmetry present in large-dimensional applications (a typical big-data context), or any other possible structural property to be discovered according to the type of application considered.

We insist on the large degree of freedom that we wish to grant to the successful candidate so that he can also give free rein to his creativity (as much as possible within the framework described above).

This thesis, co-funded by ANITI, will be co-supervised by Jean-Bernard Lasserre, DR CNRS in the MAC team of the LAAS and holder of the ANITI chair « Polynomial optimization and Christoffel function in ML & data analysis » as well as by Milan Korda and Victor Magron, and associate researchers of the same chair and CR CNRS in the MAC team at LAAS. It is fully part of the activities of the Laboratory – it is indeed part of the investment of LAAS and ANITI in the analysis of the robustness of machine learning algorithms and the study of their convergence properties.  

References 

[1] J.B. Lasserre (2001). Global optimization with polynomials and the problem of moments. SIAM Journal on optimization, 11(3), pp. 796–817.

[2] J.B. Lasserre (2010). Moments, Positive Polynomials and Their Applications. World Scientific, Singapore, 2010.

[3] M. Korda (2019). Data-driven computation of the maximum positively invariant set for nonlinear dynamical systems. FEANICSES workshop, https://cavale.enseeiht.fr/feanicses/files/

W2019/4-korda.pdf.

[4] E. Pauwels, M. Putinar and J.-B. Lasserre (2020). Data analysis from empirical moments and the Christoffel function. Foundations of Computational Mathematics, 2020. hal-01845137

[5] E. Pauwels and J.-B. Lasserre (2019). The empirical Christoffel function with application in data analysis. Advances in Computational Mathematics 45, pp. 1439–1468.

Advisors: Serge Gratton (INPT, IRIT) e-mail: serge.gratton@toulouse-inp.fr Net salary: 2096€ per month with some teaching (64 hours per year on average)
Duration: 36months.

Abstract 

Data assimilation is a proven technique for predicting the state of a system using a mathematical representation of its dynamics and physical observations. It is for example, to cite a well-known application, the technique used to predict the weather in Meteorology, the behavior of oceans or rivers during floods.

This technique is implemented in major forecasting centers (Météo-France, European Center for Medium-Range Forecasting), or in smaller physical systems (EDF for example in Neutronics, for the forecast of the state of power plant cores). It requires significant computing power.

Machine learning is an artificial intelligence technique, which enables prediction tasks to be performed by adjusting the weight of deep neuron networks using a training procedure on data. This technique is in full expansion and its successes invite to consider its application outside its classical fields of use (which are signal and speech processing).

The central question for the thesis is: can we obtain more efficient approaches to achieve predictions in physical systems using artificial intelligence? We are looking here for algorithms that save computing power (memory, electrical energy, computing time) and are more reliable than classical data assimilation techniques.

Description 

Several directions will be explored in the thesis to accelerate the methods of assimilation of reference data, based on nonlinear model reduction by using artificial intelligence. It will be a question of discovering if a physical system admits an optimized representation in an adapted base. The approach will be based on auto-encoders that will allow to discover a possible latent structure in the dynamics. The data assimilation will then be operated in the latent space by filters able to take into account the approximation error of the real dynamics by the latent dynamics. 

More precisely, the thesis will have the following objectives:

1) To develop a data assimilation algorithm for problems having a representation in a low dimensional space. An important point will be the statistical characterization of the gap between the real dynamics and the latent dynamics. Several algorithms will be developed, starting from algorithms that only integrate the system in a latent space, to algorithms that perform the entire data assimilation in this space. 

2) To generalize the algorithms to allow them to automatically detect whether such a latent structure, which is relevant for data assimilation, exists. 

3) To generalize the following approaches to online system monitoring when latent spaces are time-dependent.

The systems considered for the development and mathematical analysis of the algorithms will be derived from standard problems in data assimilation: Burgers’ system, shallow-water system, Lorentz’s system.

These algorithms will be exercised on problems where the aim is to predict physical fields that follow partially known laws because they are parametric or subject to errors with known statistics. The results will be implemented in commonly used platforms such as Pytorch.

This thesis is part of the Data Assimilation and Machine Learning Chair of the 3IA ANITI Institute.

The work will take place in Toulouse, within the institute in collaboration between the chairs of data assimilation and learning under physical constraints. The case studies will be representative case studies of forecasting problems in chaotic systems as encountered in meteorology) or non chaotic systems encountered in industrial design (aeronautics for example).

The student will be co-supervised by the main chair holder (S. Gratton, optimization and data assimilation) in cooperation with co-supervisors specialized in data assimilation and deep learning. 

 

Advisors: Nicholas Asher, Philippe Muller (IRIT) e-mail: Nicholas.asher@irit.fr Net salary: 2096€ per month with some teaching (64 hours per year on average)
Duration: 36months.

Abstract 

The objective of the thesis is to significantly improve the performance of current solutions in order to reliably extract relevant semantic and pragmatic information from a conversation. The extraction of this information strongly depends on the discourse context of the conversation and on the way the information of a statement is integrated in this context. 

The activities that will be carried out in this thesis will consist in particular in transcribing a speech recognition output to a command executable by the system, and in monitoring the correct transcription, in particular by providing a confidence indicator on the understanding of the speech command.

Description 

Context and Challenges:

The proposed use case for this subject concerns the aeronautical environment. Aircraft manufacturers and equipment manufacturers are planning to develop systems that perform various tasks on voice commands from operators or the control tower (air traffic control or ATC). These systems must be able to understand and correctly execute the tasks required. While there are currently powerful speech recognition solutions that can accurately transcribe a spoken sentence into a text, their performance is limited when it comes to extracting a somewhat complex goal or request from the sentence.  

The average performance of complex request-to-action transcription systems stems directly from the fundamental difficulty of reliably extracting relevant semantic and pragmatic information from a conversation. This is largely due to the fact that the understanding of a conversation element, and thus the extraction of semantic and pragmatic information, is highly dependent on the discourse context of the conversation and on the way the information of an utterance is integrated in this context. 

To illustrate, consider the following query:

« Houston ATC: N8937Y, turn left 240 direct Alexandria, then Husdzy four arrival into IAH. Descend and maintain FL310; expect lower in 5 minutes ». 

In this communication, the understanding of the request involves the following elements:

• The system must already be certain that the aircraft is heading towards the Houston airport. If not, it must immediately request clarification from ATC.
• The system needs to understand that, from its current position, the aircraft must first turn left, then proceed directly to the Alexandria VOR (and that this heading will bring it to the desired VOR), and finally, execute the STAR HUDZY4 approach, which it must confirm it has in its repertoire.

This relatively classic example illustrates several key points of the problem. Firstly, an aspect of anchoring concepts and objects to the system’s knowledge base. Second, we see information inferred from the context. For example, the sequence of actions just described is not signaled by verbal tenses but by a discursive connector « then ». Third, the actions in this communication do not just form a simple sequence. The second sentence « Descend and maintain FL310; expect lower in 5 minutes » elaborates a facet of the trajectory. On its way to Alexandria, the aircraft must descend from its current altitude to 31,000 feet and plan a further descent in 5 minutes. This parallelism or « elaboration » of the plan is discursively inferred and is pragmatic information that dictates how to integrate the information contained in the statement.

Finally, in this framework, the exploitation of the conversational context is essential to guarantee the quality of the information extracted from a conversational tour. Such exploitation allows for questions, corrections or revisions of what an interlocutor has understood with dialogical devices such as questions of clarification. The purpose of these questions is to ensure that the interlocutor can confirm with the speaker the information he or she has extracted from the message or correct it if necessary. 

Mastering these dialogical means would guarantee the transmission of semantic and pragmatic information in the context of a critical system. 

Although we now have a good theoretical understanding of conversational tools that allow a mastered understanding of semantic and pragmatic information in a conversation [1]-[3], there are still difficulties in implementing these tools as is the case for many semantic inferences [4].

Objectives of the thesis :

The framework that we envisage is limited firstly by the fact that the tasks that motivate or provoke verbal communications can be cleared in advance, as ATC needs to communicate about weather conditions, changes in frequency, the prescribed route (ATC clearance), the modification of the flight path – commands to change altitude, direction or possibly part of the route.   

This implies a strong limitation of non-functional vocabulary and concepts that the system will have to recognize. It has been shown that this kind of restriction can strongly enhance NLP processing performance [5]. Nevertheless, the conversation in such a framework is complex enough to study the mechanisms that ensure a good transmission of semantic and pragmatic information.

The objective of this thesis would be to work on the technical challenges associated with these tools in a restrictive and codified framework, that of the language interactions between the pilot and the air traffic control. We will be able to test the theoretical approaches and implement them, promising increased system performance. 

This topic aims to improve the dialogue and interaction capabilities of virtual assistants, which is one of the challenges addressed in the Cognitive and Interactive Robotics Chair of the 3IA ANITI Institute led by Rachid Alami. Indeed, in ANITI a consequent collaboration has emerged between cognitive and cooperative robotics and language – in particular the analysis of conversation and. 

The work will take place in Toulouse, within the institute, in collaboration with Thales and the IRT Saint-Exupery. Academic supervision will be provided by Nicholas Asher and Philippe Muller (ANITI/IRIT) whose research focuses on language processing and dialogue modeling using artificial intelligence and machine learning techniques.

References 

[1]         N. Asher, Reference to abstract objects in discourse, vol. ol. 50. Kluwer Academic Publishers, 1993.

[2]         N. Asher and A. Lascarides, Logics of Conversation. Cambridge University Press, 2003.

[3]         J. Hunter, N. Asher, and A. Lascarides, “A formal semantics for situated conversation,” Semant. Pragmat., vol. 11, no. 10, p. 1, Sep. 2018.

[4]         M. Glockner, V. Shwartz, and Y. Goldberg, “Breaking NLI Systems with Sentences that Require Simple Lexical Inferences,” ACL 2018 – 56th Annu. Meet. Assoc. Comput. Linguist. Proc. Conf. (Long Pap., vol. 2, pp. 650–655, May 2018.

[5]         S. Badene, K. Thompson, J.-P. Lorré, and N. Asher, “Weak Supervision for Learning Discourse Structure,” in Processing – EMNLP-IJCNLP, 2019, pp. 2296–2305.