Home » Évènement (Page 7)

Soutenance de thèse de Berna BOU FARRAA (équipe PSI)

Berna Bou Farraa, doctorante au sein de l’équipe PSI, soutiendra sa thèse intitulée « Modélisation et commande des systèmes à retards contraints sous incertitudes » / « Modeling and control of constrained delayed systems with uncertainties »

vendredi 30 octobre 2020 à 10:00, dans l’amphi S sur le site Centrale Nantes.

Jury :
– Directeur thèse : Jean Jacques Loiseau
– Co-encadrante : Rosa Abbou
– Rapporteurs : Islam Boussaada (IPSA Ivry sur Seine), Przemyslaw Ignaciuk (U Polytechnique Lodz Pologne)
– Autres membres : Maria Di Mascolo (INP Grenoble/G-SCOP), Alexandre Dolgui

Résumé : Ce travail de thèse porte sur l’étude analytique de la dynamique des réseaux logistiques et des systèmes logistiques élémentaires, soumis aux retards d’acquisition des produits, aux pertes de stockage vu la nature périssable des produits, et aux contraintes de positivité et de saturation des ressources du système. La finalité est de maîtriser la production afin de satisfaire la demande des clients incertaine mais bornée, sans risque ni de rupture ni de débordement de stockage, et en tenant compte des diverses spécifications notamment les capacités de production et de stockage. En se basant sur les formalismes des systèmes Entrée-Sortie et les propriétés d’invariance, un premier objectif consiste à proposer des méthodes de calcul de bornes, afin d’identifier les ensembles de sortie atteignables, du réseau logistique. Un objectif secondaire, repose sur l’étude de nouvelles méthodes de synthèse et de conception de commandes du type feedback-prédicteur, linéaires ou saturées, pour déterminer des conditions d’existence de lois de commande satisfaisantes pour le système élémentaire. Un troisième aspect guidant ce sujet est de prendre en compte les incertitudes sur certains paramètres intrinsèques du système ou des perturbations supplémentaires, d’où l’introduction de nouvelles techniques de commandes robustes et réactives.

Mots-clés : Réseaux et systèmes logistiques, systèmes à retards, contraintes d’intervalles et polyédrales, propriétés d’invariance, commande par feedback-prédicteur, analyse de robustesse

——————————————————————————————————————————————————————————————————————-

Abstract: This thesis work focuses on the analytic study of the dynamics of logistic networks and elementary logistic systems, subject to production delays, storage losses due to perishable products, and output sets of the logistics network. A second objective is based on the study of new methods for the synthesis and the design of linear or saturated controls with feedback-predictor type, in order to determine satisfying conditions of control laws existence for the elementary logistic system. A third aspect guiding this topic, is to take into account uncertainties on the intrinsic system parameters or additional disturbances, hence the introduction of new robust and reactive control techniques.

Keywords: Logistic networks and systems, delayed systems, interval and polyhedral constraints, invariance properties, feedback-predictor control, robustness analysis

Soutenance de thèse de Maverick CHARDET (équipe STACK)

Maverick Chardet, doctorant au sein de l’équipe STACK, soutiendra sa thèse intitulée « Concilier expressivité du parallélisme et séparation des préoccupations lors de la reconfiguration de systèmes distribués » / « Reconciling Parallelism Expressivity and Separation of Concerns in Reconfiguration of Distributed Systems »

jeudi 3 décembre 2020 à 14h, dans l’amphi Besse sur le site IMT-A.

Jury :
– Directeur thèse : Christian Perez (Inria/LIP)
– Co-encadrants : Hélène Coullon, Adrien Lèbre
– Rapporteurs : Daniel Hagimont (INPT / ENSEEIHT), Eric Rutten (Inria Genoble)
– Autres membres : Laurence Duchien (Université de Lille /Inria), Françoise Baude (Université de Nice Sophia Antipolis)

Résumé : Les systèmes informatiques distribués, qui fonctionnent sur plusieurs ordinateurs, sont désormais courants et même utilisés dans des services critiques. Cependant, ces systèmes deviennent de plus en plus complexes, en termes d’échelle, de dynamicité et de qualité de service attendue. La reconfiguration de systèmes distribués consiste à modifier leur état durant leur exécution. Les systèmes distribués peuvent être reconfigurés pour plusieurs raison, parmi lesquelles leur déploiement, leur mise à jour, leur adaptation pour obéir à de nouvelles contraintes (en termes de capacité utilisateurs, d’efficacité énergétique, de fiabilité, de coût, etc.) ou même le changement de leurs fonctionnalités. Les systèmes de reconfiguration existants ne parviennent pas à fournir en même temps une bonne expressivité du parallélisme dans les actions de reconfiguration et la séparation des préoccupations entre les différents acteurs qui interagissent avec le système.
L’objectif de cette thèse est de prouver que ces propriétés peuvent être conciliées en modélisant précisément le cycle de vie de chaque module des systèmes distribués, tout en fournissant des interfaces appropriées entre différents niveaux de conception. Deux modèles formels implantant cette idée sont fournis, un pour le cas particulier du déploiement et un pour la reconfiguration. Une évaluation est réalisée à la fois sur des cas d’usage synthétiques et réels et montre que ces modèles ont un plus haut niveau d’expressivité du parallélisme que leurs homologues tout en conservant un bon niveau de séparation des préoccupations.

Mots-clés : déploiement ; reconfiguration ; modèles à composants ; coordination ; parallélisme ; systèmes distribués.

—————————————————————————————————————————————————————————————————————–

Abstract: Distributed computer systems, which run on multiple computers, are now commonplace and used even in critical systems. However, these systems are becoming more and more complex, in terms of scale, dynamicity and expected quality of service. Reconfiguration of distributed systems consists in changing their state at runtime. Distributed systems may be reconfigured for many reasons, including deploying them, updating them, adapting them to fulfill new requirements (in terms of user capacity, energy efficiency, reliability, costs, etc.) or even changing their capabilities.
Existing reconfiguration frameworks fall short of providing at the same time parallelism expressivity and separation of concerns between the different actors interacting with the system. The focus of this thesis is to prove that these properties can be reconciled by modelling precisely the life-cycle of each module of distributed systems, while providing appropriate interfaces between the different levels of conception. Two formal models implementing this idea are provided, one for the specific case of deployment and one for reconfiguration. Evaluation is performed on both synthetic and real use-cases and show that these models have a higher level of parallelism expressivity than their counterparts while conserving a good level of separation of concerns.

Keywords: deployment; reconfiguration; component models; coordination; parallelism; distributed systems

Soutenance de thèse de Vincent Raveneau (équipe DUKe)

Vincent Raveneau, doctorant au sein de l’équipe DUKe, soutiendra sa thèse intitulée « Interaction en Analyse Visuelle Progressive. Une application à la fouille progressive de motifs séquentiels » / « Interaction in Progressive Visual Analytics. An application to progressive sequential pattern mining«

mercredi 4 novembre 2020 à 15h30 à Polytech. Diffusion en direct sur Youtube : https://vraveneau.github.io/

Jury :
– Directeur thèse : Yannick Prié
– Co- encadrant : Julien Blanchard
– Rapporteurs : Adam Perer (Carengie Mellon University), Nicolas Labroche (U Tours/LIFAT)
– Autres membres : Béatrice Daille, Jean Daniel (Inria Saclay)

Résumé : Le paradigme de Progressive Visual Analytics (PVA) a été proposé en réponse aux difficultés rencontrées par les Visual Analytics lors du traitement de données massives ou de l’utilisation d’algorithmes longs, par l’usage de résultats intermédiaires et par l’interaction entre humains et algorithmes en cours d’exécution. Nous nous intéressons d’abord à la notion d’“interaction”, mal définie en PVA, dans le but d’établir une vision structurée de ce qu’est l’interaction avec un algorithme en PVA. Nous nous intéressons ensuite à la conception et à l’implémentation d’un système et d’un algorithme progressif de fouille de motifs séquentiels, qui permettent d’explorer à la fois les motifs et les données sous-jacentes, en nous concentrant sur les interactions entre analyste et algorithme. Nos travaux ouvrent des perspectives concernant 1/ l’assistance de l’analyste dans ses interactions avec un algorithme dans un contexte de PVA; 2/ une exploration poussée des interactions en PVA; 3/ la création d’algorithmes native- ment progressifs, ayant la progressivité et les
interactions au cœur de leur conception.

Mots-clés : Analyse Visuelle Progressive, Fouille Progressive de Motifs, Fouille de Motifs Séquentiels, Interaction, Données Séquentielles

Abstract: The Progressive Visual Analytics (PVA) paradigm has been proposed to alleviate difficulties of Visual Analytics when dealing with large datasets or time-consuming algorithms, by using intermediate results and interactions between the human and the running algorithm. Our work is twofold. First, by considering that the notion of “interaction” was not well defined for PVA, we focused on providing a structured vision of what in- teracting with an algorithm in PVA means. Second, we focused on the design and implementation of a progressive sequential pattern mining algorithm and system, allowing to explore both the patterns and the underlying data, with a focus on the analyst/algorithm interactions. The perspectives opened by our work deal with 1/ assisting analysts in their interactions with algorithm in PVA setting s; 2/ further exploring interaction in PVA ; 3/ creating natively progressive algorithms, for which progressiveness and interaction are at the core of the design.

Keywords: Progressive Visual Analytics, Progressive Pattern Mining, Sequential Pattern Mining, Interaction, Sequential Data

Soutenance d’HDR de Damien ÉVEILLARD (équipe COMBI)

Damien Éveillard, maître de conférences au sein de l’équipe COMBI, soutiendra son Habilitation à Diriger des Recherches (HDR) intitulée « From systems biology to systems ecology: a computational journey » / « De la biologie systémique à l’écologie systémique : un voyage informatique à travers les échelles biologiques »

mardi 13 octobre 2020 à 13h30 dans l’amphi du bâtiment 34 du LS2N sur le site FST.

Accès au manuscrit complet (pdf, 231 pages) sur l’UNCloud.

Jury :

Alexander BOCKMAYR, Professeur, Freie Universität Berlin (Allemagne) – examinateur
Jérémie BOURDON, Professeur, Université de Nantes, UMR 6004 LS2N – examinateur
Karoline FAUST, Assistante Professor, KU Leuven (Belgique)/Laboratory of Molecular Bacteriology – examinatrice
Christopher QUINCE, Associate Professeur, University of Warwick Coventry (Grande-Bretagne)/Warwick Medical School – rapporteur
Claudine MEDIGUE, Directrice de recherches, Génopole d’Evry/UMR 8030 Genoscope – rapportrice
Eric RIVALS, Directeur de recherches, Université de Montpellier/UMR 5506 LIRMM – rapporteur
Philippe VANDENKOORNHUYSE, Professeur, Université de Rennes 1/UMR 6553 ECOBIO – examinateur

Résumé :
Les progrès récents de la métagénomique ont favorisé un changement de paradigme dans l’étude des écosystèmes microbiens. Ces écosystèmes sont aujourd’hui analysés par leur contenu génétique qui permet notamment de mettre en évidence la composition microbienne en terme de taxonomie ou plus récemment leurs fonctions putatives. Cependant, comprendre suffisamment bien les interactions entre les communautés microbiennes et l’environnement pour prédire la diversité à partir de paramètres physico-chimiques est une quête fondamentale de l’écologie microbienne qui nous échappe encore. Cette tâche nécessite de déchiffrer les règles mécanistes qui prévalent au niveau moléculaire. Une telle tâche doit être accomplie par des approches ou des modélisations informatiques dédiées, inspirées de la Biologie Systémique. Néanmoins, l’application directe des approches standard de la biologie des systèmes cellulaires est une tâche complexe. En effet, la description métagénomique des écosystèmes montre un grand nombre de variables à étudier. De plus, les communautés sont (i) complexes, (ii) le plus souvent décrites qualitativement, et (iii) la compréhension quantitative de la façon dont les communautés interagissent avec leur environnement reste incomplète. Dans ce résumé de recherche, nous illustrerons comment les approches de la biologie systémique doivent être adaptées pour surmonter ces points de différentes manières. Dans un premier temps, nous présenterons l’application du protocole bioinformatique aux données de métagénomique, avec un accent particulier sur l’analyse des réseaux. Deuxièmement, nous décrirons comment intégrer les connaissances hétérogènes en omique par programmation logique. Cette intégration mettra l’accent sur les unités fonctionnelles présumées au niveau communautaire.Troisièmement, nous illustrerons la conception et l’utilisation de la modélisation quantitative à partir de ce réseau. En particulier, la modélisation basée sur les contraintes sera utilisée pour prédire la structure de la communauté microbienne et ses comportementsà partir des connaissances à l’échelle du génome.

Mots-clés : modélisation biologique, graphe, contraintes, écologie microbienne, bioinformatique, biologie des systèmes

____________________

Abstract:
Recent progress in metagenomics has promoted a change of paradigm to investigate microbial ecosystems. These ecosystems are today analyzed by their gene content that, in particular, allows to emphasize the microbial composition in terms of taxonomy (i.e. « who is there and who is not ») or, more recently, their putative functions. However, understanding the interactions between microbial communities and their environment well enough to be able to predict diversity based on physicochemical parameters is a fundamental pursuit of microbial ecology that still eludes us. This task requires deciphering the mechanistic rules that prevail at the molecular level. Such a task must be achieved by dedicated computational approaches or modelings, as inspired by Systems Biology.
Nevertheless, the direct application of standard cellular systems biology approaches is a complicated task. Indeed, the metagenomic description of ecosystems shows a large number of variables to investigate. Furthermore, communities are (i) complex, (ii) mostly described qualitatively, and (iii) the quantitative understanding of the way communities interact with their surroundings remains incomplete.
Within this research summary, we will illustrate how systems biology approaches must be adapted to overcome these points in different manners. First, we will present the application of bioinformatics protocol on metagenomics data, with a particular emphasis on network analysis. In particular, we will use environmental and metagenomic data gathered during the Tara Oceans expedition to improve understanding of a biological process such as the carbon export. Second, we will describe how to integrate heterogeneous omics knowledge via logic programming. Such integration will emphasize putative functional units at the community level. Third, we will illustrate the design and the use of quantitative modeling from this network. In particular, constraint-Based modeling will predict the microbial community structure and its behaviors based on genome-scale knowledge.

Keywords: biological modeling; graph; constraints; microbial ecology; bioinformatics; systems biology

Soutenance de thèse d’Aurélie Moyon (équipes PACCE/RoMaS)

Aurélie Moyon, doctorante au sein des équipes PACCE et RoMaS, soutiendra sa thèse intitulée « Vers l’humain préservé : apports des facteurs humains pour une meilleure intégration des exosquelettes dans l’industrie » / « Toward preserved human: Human Factors benefits for a better integration of exoskeletons in Industry »

jeudi 8 octobre 2020 à 10h en visio.

Jury :
– Directrice de thèse / Co-directeur : Emilie Poirson et Jean-François Petiot
– Co-encadrant : Sébastien Leloch
– Rapporteurs : Jean-Claude Sagot (UTBM), Guillaume Thomann (G-SCOP)
– Autres membres : Jérémy Legardeur (ESTIA)

Résumé : Dans l’industrie, certaines tâches manuelles favorisent des postures pénibles et répétitives. Dans ce contexte, les exosquelettes sont considérés comme une promesse technique intéressante pour soulager la pénibilité au travail, mais soulèvent plusieurs verrous relevant des facteurs humains. Il est donc indispensable de mesurer les bénéfices réels du port de l’exosquelette, et de comprendre les facteurs qui contribuent à son acceptation par les futurs utilisateurs. Les objectifs de cette thèse sont d’investiguer les effets du port d’un exosquelette, de mieux comprendre les facteurs d’acceptation des utilisateurs finaux ainsi que d’établir des règles et outils repères pour une meilleure intégration des exosquelettes industriels. Ce travail de recherche présente l’étude des bénéfices d’un exosquelette passif, sur deux cas d’application industriels. Une démarche expérimentale centrée sur l’utilisateur permet d’identifier et de mesurer les facteurs d’acceptation de cette technologie. Des méthodes de mesures simples permettent de quantifier et de qualifier
les bénéfices du port de l’exosquelette. L’importance de la phase de familiarisation et des supports employés est mise en valeur par des expérimentions. Ces résultats alimentent un travail de normalisation avec un groupe de travail transdisciplinaire.

Mots-clés : Exosquelette, Ergonomie, Ingénierie des Facteurs Humains, Assistance à l’opérateur

Abstract: In industry, several manual tasks engage painful and repetitive postures. In this context, exoskeletons are seen as an interesting technical promise to relieve arduous work, but raise several human factors issues. It is therefore essential to measure the real benefits of wearing an exoskeleton, and to understand the factors that contribute to its acceptance by future users. The objectives of this thesis are to investigate the effects of wearing an exoskeleton, to better understand the factors contributing to the acceptance of the exoskeleton by future users, and to develop a better understanding of the effects of wearing an exoskeleton by end-users as well as to suggest new rules and tools for a better integration of industrial exoskeletons. This research work presents the study of the benefits of a passive exoskeleton, on two industrial case study. A user-centered experimental approach is used to identify and measure the acceptance factors of this technology. Simple measurement methods make it possible to quantify and qualify the benefits of wearing the exoskeleton. The importance of the familiarization phase and the support used is highlighted by experiments. These results contribute to a work of standardization with a transdisciplinary workgroup.

Keywords : Exoskeletons, Ergonomics, Human Factors Engineering, Occupational assistive systems

Soutenance de thèse d’Emile CADOREL (équipe STACK)

Emile Cadorel, doctorant au sein de l’équipe STACK, soutiendra sa thèse intitulée « Prise en compte de l’énergie dans la gestion des workflows scientifiques dans le Cloud : Une vision centrée sur le fournisseur de service » / « Energy-aware management of scientific workflows in the Cloud: A Cloud provider-centric vision »

mercredi 21 octobre 2020 à 13h00 dans l’amphi Besse sur le site de l’IMT-A.

Jury :
– Directeur thèse : Jean-Marc Menaud
– Co-encadrant ; Hélène Coullon
– Rapporteurs : Romain Rouvoy (U Lille), Patricia Stolf (IRIT-IUT Blagnac)
– Autres membres : Frédéric Desprez (LIG-Inria Rhône Alpes), Stéphane Genaud (U Strasbourg)
– Invités : Georges Da Costa (IRIT-U Sabatier)

Résumé : Les simulations scientifiques par ordinateur sont généralement très complexes et se caractérisent par de nombreux processus parallèles. Afin de mettre en évidence les parties parallèlisables, et de permettre une exécution efficace, de nombreux scientifiques ont choisi de définir leurs applications sous forme de workflows. Un workflow scientifique représente une application comme un ensemble de tâches de traitement unitaires, liées par des dépendances. De nos jours, grâce à leur faible coût, leur élasticité et leur aspect à la demande, les services de cloud computing sont largement utilisés pour l’exécution de workflows. Les utilisateurs utilisant ce type d’environnement gèrent l’exécution de leur workflow, ainsi que les ressources nécessaires, à l’aide de service standards tel que le IaaS (Infrastructure-as-a-Service). Néanmoins, comme les services de cloud ne sont pas
spécifiques à la nature de l’application à exécuter, l’utilisation des ressources physiques n’est pas aussi optimisée qu’elle pour- rait l’être. Dans cette thèse, nous proposons de déplacer la gestion et l’exécution des workflows du côté du fournisseur de Cloud afin d’offrir un nouveau type de service dédié aux workflows. Cette nouvelle approche rend possible une amélioration de la gestion des ressources et une réduction de la consommation d’énergie et de ce fait l’impact environnemental.

Mots-clés : Workflows scientifiques ; fournisseur de services de Cloud ; ordonnancement ; exécution ; optimisation energétique ; systèmes distribués ; infrastructures distribuées

Abstract: Scientific computer simulations are generally very complex and are characterized by many parallel processes. In order to highlight the parts that can be parallelized, and to enable efficient execution, many scientists have chosen to define their applica- tions as workflows. Ascientific workflow rep- resents an application as a set of unitary processing tasks, linked by dependencies. Today, because of their low cost, elasticity, and on demand nature, cloud computing services are widely used for workflow execution. Users using this type of environment manage the execution of their workflow, as well as the necessary resources, using standard services such as IaaS (Infrastructure-as-a-Service). However, because cloud services are not specific to the nature of the application to be executed, the use of physical resources is not as optimized as it could be. In this thesis, we propose to move the management and execution of workflows to the cloud provider’s side in order to offer a new type of service dedicated to workflows. This new approach makes it possible to improve resource management and reduce energy consumption and thus the envinmont impact.

Soutenance de thèse de Benjamin MOREAU (équipe GDD)

Benjamin Moreau, doctorant au sein de l’équipe GDD, soutiendra sa thèse intitulée « Faciliter la Réutilisation sur le Web des Données » / « Facilitating Reuse on the Web of Data »

vendredi 6 novembre 2020 à 14h en visio

Jury :
– Directeur thèse : Patricia Serrano Alvarado
– Co-encadrant : Emmanuel Desmontils
– Rapporteurs : Serena Villata (I3S), Olivier Cure (LIGM)
– Autres membres : Philippe Pucheral (U Versailles), Pascal Molli, Serge Garlatti (IMT-A Brest), Bernd Amann (LIP6)
– Invités : David Thoumas (Opendatasoft)

Résumé : Le Web des données est un ensemble de données liées qui peuvent être interrogées et réutilisées à l’aide de moteurs de requêtes fédérées. Pour protéger les jeux de données, les licences renseignent leurs conditions d’utilisation. Cependant, choisir une licence conforme n’est pas toujours aisé. En effet, pour protéger la réutilisation de plusieurs jeux de données, il est nécessaire de prendre en considération la compatibilité entre leurs licences. Pour faciliter la réutilisation, les moteurs de requêtes fédérées devraient respecter les licences. Dans ce contexte, nous nous intéressons à deux problèmes (1) comment calculer la relation de compatibilité entre des licences, et (2) comment respecter les licences pendant le traitement de requêtes fédérées. Pour le premier problème, nous proposons CaLi, un modèle capable d’ordonner partiellement n’importe quel ensemble de licences selon leur compatibilité. Pour le second problème, nous proposons FLiQue, un moteur de requête fédéré respectant les licences. FLiQue utilise CaLi pour détecter les conflits de compatibilité entre licences et assure que le résultat d’une requête fédérée respecte les licences. Dans le cadre de cette thèse, nous proposons également trois approches ODMTP, EvaMap et le SemanticBot ayant pour objectif de faciliter l’intégration de données au Web des Données.

Mots-clés : Web des données, données liées, RDF, SPARQL, licences, contrôle d’usage, traitement des requêtes fédérées, relâchement de requête, intégration de données, mappings RDF

—————————

Abstract: The Web of Data is a web of interlinked datasets that can be queried and reused through federated query engines. To protect
their datasets, data producers use licenses to specify their condition of reuse. But, choosing a compliant license is not easy. Licensing reuse of several licensed datasets must consider compatibility among licenses. To facilitate reuse, federated query engines should preserve license compliance. To do so, we focus on two problems (1) how to compute compatibility relations among licenses, and (2) how to ensure license compliance during federated query processing. To the first problem, we propose CaLi, a model that partially orders any set of licenses in terms of compatibility. To the second problem, we propose FLiQue, a license-aware federated query processing strategy. FLiQue uses CaLi to detect license compatibility conflicts and ensures that the result of a federated query preserves license compliance. Within the scope of this thesis, we also propose three approaches ODMTP, EvaMap, and the SemanticBot that aim to facilitate the integration of datasets to the Web of Data.

Keywords: Web of Data, Linked Data, RDF, SPARQL, licenses, usage control, federated query processing, query relaxation, data integration, RDF mappings

Soutenance de thèse de Renald GABORIAU (équipe ReV)

Renald Gaboriau, doctorant au sein de l’équipe ReV, soutiendra sa thèse intitulée « Les ateliers Rob’Autisme : le robot extension comme médiation thérapeutique auprès des personnes présentant un trouble du spectre autistique » / « The Rob’Autism groups : the extension robot as a therapeutic mediator for people with Autism Spectrum Disorder »

mercredi 23 septembre 2020 à partir de 16h00 en visio-conférence à l’École Centrale de Nantes.

Jury :
– Directrice de thèse : SAKKA Sophie, Maître de conférences HDR, École Centrale de Nantes
– Co-directeur de thèse : ACIER Didier, Professeur des universités, Université de Nantes
– Rapporteurs : DEVILLERS Laurence, Professeur des universités, Sorbonne Université / RABEYRON Thomas, Professeur des universités, Université de Lorraine
– Examinateurs : CHETOUANI Mohamed, Professeur des universités, Sorbonne Université / HAZA Marion, Maître de conférences HDR, Université de Poitiers

Résumé : L’utilisation des robots comme médiation thérapeutique pour les personnes présentant un Trouble du Spectre Autistique (TSA) est une pratique en plein essor. C’est en effet une méthode encourageante pour favoriser le développement de compétences sociales. De nombreuses expériences sont actuellement menées. Cependant, dans toutes les approches existantes, le paradigme du robot-compagnon est utilisé : le robot est programmé pour présenter des comportements pré-établis. Le projet Rob’Autisme propose une approche alternative : le robot est utilisé comme extension pour faire ou dire des choses. Les sujets présentant un TSA le programment et, par son truchement, agissent librement sur leur environnement social. De plus, ce projet inclut l’idée qu’ils pourront ensuite interagir avec les autres sans le robot. Cette thèse vise à comprendre l’intérêt de cette approche et évaluer les effets de la participation sur les interactions sociales. Durant deux ans, des groupes avec six adolescents ont été organisés et analysés à partir de méthodes quantitatives et qualitatives. Ces analyses montrent que cette approche favorise la tendance à aller vers les autres et interagir avec eux. Ce résultat est en outre généralisé à l’extérieur.

Mots-clés : Projet Rob’Autisme, robot-extension, autisme, groupe thérapeutique, médiation thérapeutique

—————-

Abstract: The use of robots as a therapeutic mediator for peolple with Autism Spectrum Disorder (ASD) is a topic which tends to develop. Indeed, it is a promising method to promote the development of social skills. Many experiments are carried out currently. But in all existing approaches, the companion robot paradigm is used : the robot is programmed to present some pre-established behaviors. Rob’Autism Project propose an alternative approach : the robot is used as an extension for doing or talking things. The autistic subjects program it and therefore act on the social environment freely. This project includes ideas that they will be able to interact with the others without the robot. This thesis aims to understand the interest of this approach and asses the effects of participation on the social interactions. During two years, groups have been set up and analyzed with quantitative and qualitative methods. These analysis show that this approach favors the tendency to go towards the others and interact with them. This result is generalized outside the group.

Keywords: Rob’Autism Project, extension-robot, autism, group therap, therapeutic mediator

Soutenance de thèse de Fatima ZAIDI (équipe SLP)

Fatima Zaidi, doctorante au sein de l’équipe SLP, soutiendra sa thèse intitulée « Development of statistical monitoring procedures for compositional data »

lundi 5 octobre 2020 à 9h en visioconférence.

Jury :
– Directeur thèse : Philippe Castagliola
– Rapporteurs : Stelios Psarakis (U Athenes), Biagio Palumbo (U Frederico II, Naples)
– Autres membres :Fernanda Otilia Figueiredo (U Porto), Marit Schoonhoven (Amsterdam Business School)

Soutenance de thèse d’Ilhem SLAMA (équipe SLP)

Ilhem SLAMA, doctorante au sein de l’équipe SLP, soutiendra sa thèse intitulée « Modélisation et optimisation du problème de planification de désassemblage dans un environnement incertain » / « Modeling and optimization of the disassembly planning problem under uncertainty »

vendredi 25 septembre 2020, dans l’amphi Georges Besse sur le site IMT-A.

Jury :
– Directeur thèse : Alexandre Dogui et Faouzi MASMOUDI Professeur, LA2MP, ENIS, Sfax
– Co-encadrant : Oussama BEN-AMMAR Maître-assistant associé, Mines Saint-Etienne
– Rapporteurs : Chu FENG Professeur, Université d’Evry – Olga BATTAIA Professeur, Business School de Bordeaux
– Autres membres : Abedlaziz DAMMAK Professeur, FSEG, Sfax – Malek MASMOUDI Maître de Conférences HDR, Université Jean-Monnet
– Invité : Lounes BENTAHA Maître de conférences, université de lumière, Lyon

Résumé : Pour tirer les intérêts économiques, notre projet de recherche propose de modéliser et d’optimiser le problème lié à la détermination du plan de démontage des produits en fin de vie tout en satisfaisant les demandes en composants sur un horizon de planification donné. Les travaux présentés dans ce manuscrit portent sur la planification de désassemblage dans un contexte certain et incertain. Nous avons considéré principalement trois modélisations principales avec leurs approches de résolution : (i) une modélisation déterministe multi-période qui traite une nomenclature de produit multi-niveaux avec le partage des composant qui cherche à maximiser le profit total, (ii) une modélisation stochastique mono-période, avec une nomenclature de produit à deux niveau et un seul type de produit. Les délais de remise à neuf sont supposés stochastiques. Le modèle cherche à minimiser l’espérance mathématique des coûts de stockage et de rupture des composants et (iii) le troisième modèle est une extension de deuxième modèle qui
cherche à traiter un problème multi-période avec une restriction de capacité des ressources. La programmation mixte en nombre entier, la modélisation analytique, la programmation stochastique et l’agrégation par scénarios sont pro- posées pour résoudre les modèles proposés. Les performances des méthodes de résolution développées sont présentées en analysant les résultats d’optimisation sur un ensemble d’instances générées aléatoirement.

Mots-clés : Désassemblage, planification de désassemblage, délai de désassemblage incertain, programmation stochastique, modélisation analytique, agrégation par scénarios

************

Abstract: Our research proposes to model and optimize the problem concerning the determination of the optimal disassembly plan for end-of-life products while satisfying the demands on components over a given planning horizon. The contributions presented in this manuscript focus on disassembly planning in a certain and uncertain context. We have considered three main models with their resolution approaches: (i) a deterministic multi-period modeling that deals with a multi-level product structure with a commonality of components that aims to maximize total profit. (ii) a single-period stochastic model with a two-level structure and a single end-of-life product type under random lead times. This model seeks to minimize the total expected cost, composed of inventory and backlog costs, and (iii) the third model is an extension of the second model which treats a multi-period problem with a resource capacity constraint. Mixed-integer programming, analytical modeling, stochastic programming, and scenario aggregation are proposed to solve the proposed models. The per- formances of the proposed resolution methods are presented by analyzing the optimization results on a set of randomly generated instances.

Keywords: disassembly, disassembly lot-sizing, random disassembly lead times, stochastic programming, analytical modeling, scenarios aggregation, simulation

soutenance