Le LIS travaille depuis des années en collaboration avec des entreprises, à travers des recherches dirigées par les problématiques des entreprises, ou à travers des recherches dans lesquelles les entreprises investissent avec leur savoir faire. Les financements, au delà de ceux des entreprises, proviennent de l’Europe, de l’ANR, de la région, de fonds internationaux dédiés, mais aussi de nos partenaires comme l’Institut Carnot STAR, ou les instituts de convergence ILCB et Centuri.

Nous travaillons régulièrement avec des grands groupes comme par exemple EDF, EUROCOPTER, DCNS, Thales, AREVA, COMEX, STMicroéltronics, Cybernetix, Orange Labs, etc., mais aussi avec des PME-PMI ou des start-ups, par exemple PREDICT, PIXXIM, SEMANTIA, NUMERICOMPTA, PRAXIM, ITSOFT, VIRTAL DRIVE, Géomatys, etc.

Plusieurs doctorants du LIS sont financés grâce à nos liens avec les industriels, sous forme de CIFRE ou d’emploi « Jeune Docteur » de la région PACA.

Nos projets Européens depuis 2017 :

Les Européens en cours

SCISSOR
    Porté par :
    Christophe GONZALES

    Du : 01/01/2020 au 01/01/2022
MADEin4
    Porté par :
    Mustapha OULADSINE

    Du : 01/04/2019 au 01/04/2022

    Résumé :
    To address the scientific and industrial challenges highly specialized academic and industrial partners are part of the consortium. They will have a link via the RTOs or semiconductor equipment companies to exploit the results. The semiconductor equipment companies have direct links to the IDMs, which are after all their customers. In addition, they have strong links with the RTOs as IMEC, both in terms of shared development projects but also as commercial customers. The role of IMEC is crucial in the value chain of the consortium: they conduct research on metrology instruments and methods and provide test-samples of beyond state-of-the-art process technologies. This enables the hybrid metrology activities. In addition, they provide a main link between the consortium and other IDMs in the field such as Intel and TSMC, giving insight into the most advanced developments in the field. TNOs role, although also an RTO, is somewhat different in this project, where they concentrate on the research and development of specific techniques. In this project, TNO will support metrology OEMs with contamination control expertise. The global network of the project partners and R&D staff involved will support MADEin4. The institutes have the necessary global spanning network of partners, large numbers of staff and scientific publications to disseminate and exploit the developed metrology and characterization technology the industrial partners play a critical role in making the novel productivity technology of MADEin4 project available to the endusers. The significant involvement of both research institutes and industry ensures viable routes to commercialize MADEin4 technology. At the end of the project the metrology suppliers, with the help of the other consortium partners, will have developed and evaluated techniques and methods to measure and characterize new generations of semiconductor processes and devices all the way down to the 5nm technology nodes, MM and MtM applications, and will know which techniques provide valuable results worth to commercialize and to produce in new generation tool.

    Lien : https://www.semi.org/eu/MADEin4
GIAS
    Porté par :
    Herve GLOTIN

    Du : 01/04/2019 au 01/04/2022

Les Européens terminées

PRODUCTIVE 4.0
    Porté par :
    Guillaume GRATON
    ,
    Mustapha OULADSINE
    ,
    Du : 01/04/2017 au 01/04/2020

    Résumé :
    Opening the gates to the digital future Productive4.0 is an ambitious holistic innovation project, meant to open the doors to the potentials of Digital Industry and to maintain a leadership position of the industries in Europe. All partners involved will work on creating the capability to efficiently design and integrate hardware and software of Internet of Things (IoT) devices. Linking the real with the digital world takes more than just adding software to the hardware. covering the entire product lifecycle

    Lien : http://productive40.eu/
iMARECULTURE
    Porté par :
    Pierre DRAP

    Du : 01/11/2016 au 01/11/2019

    Résumé :
    Objectives Objective 1: Study and analyze the ship routes of the classical and Hellenistic period through the re-use and spatial analysis from open GIS maritime data, ocean and weather data. Objective 2: Study of existing data and digitizing about ancient ships, amphorae and anchors to create corresponding 3D libraries. Objective 3: Digital narratives, media content and storytelling will accompany each ship and underwater archaeological site. Objective 4: Study, analysis and modelling of the wreck site formation processes in order to feed the virtual reality applications as well as the serious game of underwater excavation with real or realistic data. Objective 5: Study and analysis of the 3D models of the ships by naval experts in order to obtain knowledge about their buoyancy, Data will be used as input to the seafaring serious game and the storytelling. Objective 6: The 3D amphorae library will be used as input to the 3D automatic recognition and localization of amphorae, in shipwreck sites. Automatic extraction of different types of amphorae present on the site, will help automatic the process of importing more shipwreck sites on the u-excavation serious game. Objective 7: Development of two serious games: (i) a Seafaring game where the player will choose a ship loaded with merchandise and will navigate it over the recovered routes and (ii) an U-excavation game where the player will have to surface finds excavating a realistic but randomly re-generated underwater archaeological site. Objective 8: Research over enhanced immersive VR experience for interactive u-visits in real underwater sites, such as Mazotos shipwreck, Baiae archaeological site and Xlendi shipwreck. Objective 9: Research will be carried out for an underwater AR tablet, which will support several aspects of an underwater actual visit. The implementation will be done in Baiae (MBAC) submerged archaeological site. The tablet will be used as a visual digital guide, where the diver could get additional information about specific archaeological objects or structures, and marine life during the dive, hence personalizing the experience. Objective 10: Deliver online available 3D models for3D printing at home for creating handicraft toys and puzzles of amphorae and ancient ships in scale in order to enhance hands on experience, as supported by personalized 3D printing.

    Lien : https://imareculture.eu/project/
SEE4C
    Porté par :
    Stephane AYACHE

    Du : 01/01/2016 au 01/07/2017

    Résumé :
    SpatiotEmporal ForEcasting: Coopetition to meet Current Cross-modal Challenges

Nos projets ANR depuis 2017 :

Les ANR en cours

ACTIVIS
    Porté par :
    Severine DUBUISSON

    Du : 01/01/2020 au 01/01/2024
QuantML
    Porté par :
    Hachem KADRI

    Du : 01/11/2019 au 01/05/2023

    Résumé :
    Apprentissage automatique quantique :fondements thoriques et algorithmes

ARCHIVAL
    Porté par :
    Frederic BECHET

    Du : 01/10/2019 au 01/04/2023

    Résumé :
    Valorisation d'archives multimdia : comprhension automatique multimodal du langage pour de nouvelles interfaces intelligentes de mdiation et de transmission des savoirs

FORESEA
    Porté par :
    Audrey MINGHELLI-ROMAN

    Du : 01/01/2019 au 01/01/2021
QualiHealth
    Porté par :
    Noel NOVELLI

    Du : 01/10/2018 au 01/10/2022

    Résumé :
    Les activits des tablissements hospitaliers comme les activits de recherche scientifique des instituts de sciences de la vie produisent quotidiennement une quantit dinformation considrable. Ces donnes sont prcieuses pour amliorer la qualit des soins et peuvent jouer un rle essentiel en recherche clinique. Cependant, la collecte de telles donnes est souvent ralise par des outils varis et des processus dacquisition de donnes aux degrs de fiabilit variables. Les donnes, qui se trouvent ainsi disperses dans des sources htrognes, souffrent de problmes aigus de qualit qui nuisent leur exploitation des fins de recherche. Les problmes classiques de qualit, comme les donnes errones ou manquantes, sont observables mais dautres problmes plus subtils surgissent lors de lintgration, notamment quand un nouvel usage est vis dans un contexte autre que celui initialement prvu. De plus, les distributions statistiques des donnes peuvent voluer dans le temps, ce qui conduit la prsence d'aberrations (data-glitches) qui peuvent induire de graves erreurs dinterprtation. A ce jour, aucun systme nest capable dassister les cliniciens et les chercheurs dans leurs activits en prenant en compte la qualit des donnes. Labsence dindicateurs de qualit limite considrablement lexploitation des donnes de sant pour la recherche translationnelle. Nous soutenons que des analyses bien plus riches et des interactions bien plus fertiles entre recherche clinique et pr-clinique seraient possibles si les donnes disponibles taient annotes par des indicateurs de qualit qui seraient ensuite exploits lors de l'interrogation et lanalyse des donnes existantes.

    Lien : http://www.agence-nationale-recherche.fr/projet-anr/?tx_lwmsuivibilan_pi2%5BCODE%5D=ANR-18-CE23-0002
CoPains
    Porté par :
    Magalie OCHS

    Du : 01/10/2018 au 01/10/2021

    Résumé :
    L'objectif gnral du projet CoPains est de dvelopper un agent artificiel qui soit capable de : (i) infrer les tats cognitif et affectif de l'utilisateur humain partir de ses comportements observables, (ii) persuader l'utilisateur croire quelque chose ou se comporter d'une certaine manire, et (iii) interagir avec l'utilisateur d'une faon multimodale par expressions textuelles, expressions faciales et gestes. Les application envisages sont dans les domaines de l'assistance aux personnes ges et de la nutrition : un systme artificiel, comme un agent conversationnel anim (ECA), pour s'occuper de la sant et du bien tre de l'utilisateur. Afin d'atteindre son objectif, CoPains exploitera la fois des approches thoriques et empiriques en combinant, d'une faon innovante, l'analyse base sur les corpus avec les mthodes formels dvelopps dans le domaine de l'IA. Ceci inclut la logique, la planification, l'analyse des sentiments et la fouille de donns.

    Lien : http://www.agence-nationale-recherche.fr/Projet-ANR-18-CE33-0012
TICKTAC
    Porté par :
    Benjamin MONMEGE

    Du : 01/10/2018 au 01/10/2022

    Résumé :
    Techniques et outils efficaces pour la vrification et synthse des systmes temps-rels. La ve?rification formelle, et en particulier le model checking, vise a? assurer la correction des syste?mes critiques. Pour de nombreux syste?mes temps-re?els, la correction concerne non seulement le calcul exact des valeurs de sortie, mais aussi de mesures quantitatives comme le temps d'exe?cution et la consommation d'e?nergie. Les automates temporise?s sont un formalisme standard pour mode?liser des syste?mes avec des contraintes de temps, qui bnficie d'algorithmes et d'outils de vrification efficaces. Le premier objectif de ce projet est de surmonter certains verrous pour passer a? l'e?chelle dans la ve?rification et la synthe?se des automates temporise?s, en e?tudiant de nouveaux algorithmes, des spe?cifications plus riches, et de nouvelles techniques d'abstraction. Un outil libre sera de?veloppe? pour valider ces re?sultats ; il sera applique? a? la planification de mouvement en robotique, et aux diffe?rents cas d'e?tudes qui viennent de nos collaborations avec des partenaires industriels.

    Lien : http://www.irisa.fr/sumo/ticktac/
SMILES
    Porté par :
    Herve GLOTIN

    Du : 01/10/2018 au 01/04/2022
FANs
    Porté par :
    Sylvain SEN

    Du : 01/10/2018 au 01/10/2022

    Résumé :
    Fondements des rseaux d'automates (boolens) Les systmes d'interaction sont de mieux en mieux compris comme des processus informatiques. Aux fondements de ceux-ci, les interactions et la dynamique se combinent de manire fascinante. De notre connaissance de tels processus dpendra notre comprhension des systmes rels, omniprsents en physique, en biologie, dans notre vie quotidienne. L'objectif de FANs est prcisment de dvelopper la connaissance sur les rseaux dautomates (RA) qui constituent un modle abstrait de rfrence de tels systmes, au travers d'tudes fondamentales et profondes sur les caractristiques des processus informatiques qui les gouvernent. Autrement dit, FANs vise augmenter la thorie des RA , au moyen d'approches issues de l'informatique fondamentale. Notre motivation vient : 1) du fait que nous pensons que l'informatique fondamentale fournit un cadre appropri pour traiter de tels rseaux, 2) de notre intrt pour les rseaux rels, qui nous pousse tudier les RA per se plutt que comme des outils de modlisation. En effet, nous sommes convaincus que cette approche constructive et innovante (un retour aux fondamentaux) est parfaitement adapte pour trouver des lois gnrales, indispensables pour comprendre les systmes rels. Malgr la simplicit (dlibre) des RA, ceux-ci peuvent en mme temps simuler une machine de Turing en espace constant, capturer la manire naturelle de concevoir les interactions et modliser leur dynamique telle qu'observe dans les rseaux rels. Cependant, bien que ce modle ait t introduit dans les annes 1940, l'tat de l'art force le constat d'une forme de paradoxe entre l'intrt donn aux RA du point de vue applicatif et les actuelles faiblesses du point de vue thorique. Or, il semble essentiel de rduire ce paradoxe en dveloppant cette thorie pour renouveler les retombes applicatives. En ce sens, FANs appelle un retour aux racines de la thorie des RA, en s'attachant aux problmes de dynamique, de complexit et de calculabilit. FANs propose d'tudier la dynamique des RA en portant une attention particulire sur le concept de simulation intrinsque. Bien que dj largement tudi dans le cadre des automates cellulaires, des pavages et de lauto-assemblage, le concept de simulation intrinsque ne la jamais t en profondeur dans le contexte des RA. Or, il est central pour comprendre les fondements des transmissions dinformation et des calculs oprs dans les systmes dynamiques discrets. Ainsi, FANs propose de dvelopper ce concept innovant afin de comprendre la complexit dynamique et calculatoire des RA. Par ailleurs, un autre objectif de FANs est d'tablir des relations formelles entre les caractristiques statiques (i.e., leurs graphes dinteraction et leurs fonctions locales de transition) et dynamiques (i.e., leur graphe de transition) des RA, en s'attachant en particulier aux liens entre les cycles d'interaction et les attracteurs et leurs bassins. Ici, nous proposons de mener des travaux mlant thorie des systmes dynamiques et combinatoire, en amliorant la borne existante du nombre de points fixes des RA admettant un graphe dinteraction donn. Pour ce faire, nous considrerons linfluence des cycles ngatifs, ce qui na jamais t fait jusque l. Nous poursuivrons ces travaux en initiant des tudes de comptage dattracteurs complexes, qui dpendent fortement des modes de mise jour. Ceux-ci organisent les mises jour dans le temps discret, et leur influence sera galement tudie pour mieux comprendre les relations causales des dynamiques des RA. plus long terme, ces dveloppements permettront galement de mieux apprhender les problmes de synthse et de composition dans ces rseaux, qui ont des portes applicatives relles en biologie, sur les questions actuellement cls de modularit fonctionnelle des rseaux de rgulation et de reprogrammation cellulaire.

    Lien : http://www.agence-nationale-recherche.fr/Projet-ANR-18-CE40-0002
SunSTONE
    Porté par :
    Christophe GONZALES

    Du : 18/12/2017 au 18/12/2021

    Résumé :
    Le projet SunSTONE se propose de dvelopper un outil de contrle intelligent des rseaux urbains de chaleur. Ce nouvel outil fait particulirement sens dans le cadre du dveloppement des rseaux forte fraction solaire, impliquant un stockage intersaisonnier de chaleur. Par rapport aux travaux existants, SunSTONE met en uvre des innovations tant sur le plan de la modlisation physique du rseau avec notamment le choix d'une approche exergo-conomique et de la gestion multizone d'un champ de sondes pour le stockage thermique souterrain que sur le plan du calcul stochastique avec l'introduction des Rseaux Baysiens pour la prdiction de la demande et des diagrammes d'influence comme outil d'aide la dcision. Afin de garantir l'obtention d'un outil pertinent, le projet prvoit des interactions nombreuses entre acadmique et industriels: collecte et analyse de donnes, identification de critre de dcision, validation et comparaison avec l'existant.

    Lien : https://anr.fr/Projet-ANR-17-CE05-0035
DISTANCIA
    Porté par :
    Victor CEPOI

    Du : 01/10/2017 au 01/11/2021

    Résumé :
    Thorie Mtrique des graphes

Deep_in_France
    Porté par :
    Hachem KADRI

    Du : 01/03/2017 au 01/09/2020

    Résumé :
    Rseaux de neurones profonds pour l'apprentissage

DE-MO-GRAPH
    Porté par :
    Philippe JEGOU

    Du : 16/01/2017 au 16/01/2022

    Résumé :
    Projet DE-MO-GRAPH Dcomposition de Modles Graphiques La rsolution de problmes NP-difficiles constitue toujours un dfi sur le plan thorique ainsi que pratique. Ce projet vise rsoudre des problmes de dcision, d'optimisation et de comptage (intgration discrte) exprims en termes de modles graphiques (rseaux de contraintes ou de fonction de cot, rseaux baysiens, logique propositionnelle, champs de Markov). Il s'agit de modles o une fonction conjointe sur un ensemble de variables est dcrite comme une combinaison factorise de fonctions de quelques variables. Cette approche est intensivement utilise en intelligence artificielle, en physique statistique et en statistique. Le terme modle graphique souligne le fait que cette factorisation dfinit un (hyper)graphe dont les sommets sont les variables et dont les (hyper)artes comprennent les variables de chaque facteur. L'expressivit de ces modles les rend capables de reprsenter une trs large varit de problmes rels (en traitement d'image, allocation de ressources, bio-informatique,...). Mais la rsolution de ces problmes est difficile en termes de complexit : NP-complte pour la dcision, NP-difficile pour l'optimisation et #P-complte pour le comptage. Ce projet a pour but de traiter ces questions en exploitant des techniques rcentes de dcomposition d'(hyper)graphes sur les graphes (ou hypergraphes) induits par chaque modle graphique. Lintrt pratique de ces approches na t dmontr quau cours des dix dernires annes (avec la seule notion de dcomposition arborescente) - tout en soulignant leurs limites actuelles - mais prsente un fort potentiel de progrs. En effet, la communaut de la thorie des graphes a indpendamment produit un grand nombre de rsultats au cours de ces dernires annes. Ils sont rests pour lessentiel au niveau dobjets thoriques (cf. branch/clique/rank/boolean/matching/treecut/tree-depth-decompositions pour n'en citer que quelques-unes). Actuellement, les rsultats thoriques sur ces dcompositions nont pas encore t exploits pour amliorer les algorithmes de traitement de modles graphiques et, a fortiori, pour mener des systmes efficaces en pratique. Cela nest pas surprenant dans la mesure o la plupart de ces rsultats ont t obtenus pour des motivations thoriques, sans l'objectif affich de la rsolution des modles graphiques en pratique. Ce type de situation n'est pas nouveau, la notion de dcomposition arborescente avait t introduite et tudie par Roberston et Seymour comme un outil thorique pour prouver la conjecture de Wagner sur les mineurs de graphes. Cet objet mathmatique est dsormais un outil de base pour les mthodes de rsolution qui exploitent la structure des modles graphiques traiter. Sur cette base, un vaste champ d'tude est dsormais ouvert autour de la dcomposition de graphes, champ qui combine thorie, rsultats algorithmiques et outils de rsolution pratique. Les objectifs du projet se dclinent donc sur trois axes principaux: (1) Sur le plan thorique, le but est d'tudier les dcompositions existantes ou dfinir de nouvelles approches de dcomposition plus adaptes au traitement efficace de problmes dfinis sur des modles graphiques en s'appuyant sur l'exprience acquise avec les dcompositions arborescentes. (2) Compte tenu des algorithmes de traitement, l'objectif est d'exploiter efficacement les diffrentes techniques de dcomposition de graphes qui ont t dveloppes par la communaut mathmatique pour aboutir des algorithmes plus efficaces en temps et ou en espace. (3) Sur un plan plus pratique, l'objectif est de repousser les limites de calcul des approches de dcomposition existantes pour traiter efficacement des problmes la fois plus grands et plus difficiles. Cela se fera via l'extension de la plateforme de traitement de modles graphiques toulbar2 et le transfert de ces rsultats vers les domaines dapplication dj identifis et vers d'autres domaines de l'optimisation combinatoire.

    Lien : http://www.agence-nationale-recherche.fr/projet-anr/?tx_lwmsuivibilan_pi2%5BCODE%5D=ANR-16-CE40-0028
TICAMORE PRCI
    Porté par :
    Nicola OLIVETTI

    Du : 31/10/2016 au 31/01/2021

    Résumé :
    Projet TICAMORE Traduction et Dcouverte des Calculs pour les logiques Modales et drives L'utilisation fructueuse d'approches logiques dans de nombreux domaines des sciences de l'informatique, de l'pistmologie, et de l'intelligence artificielle, a conduit une multiplication de nouveaux formalismes en logique mme. Ces formalismes disposent d'un pouvoir expressif plus tendu que celui de la logique classique, autorisant du mme coup une granularit plus fine dans l'analyse de notions qui ne s'expriment pas naturellement avec le langage de la logique classique. Ces formalismes permettent la reprsentation de diffrents modes de vrit d'une formule (logiques modales), ainsi que la reprsentation d'autres formes de raisonnement, de type hypothtique et plausible (logiques conditionnelles), sur la connaissance (logiques pistmiques), ou sur la sparation et le partage de ressources (logiques BI de bunched implication ). Ces logiques permettent en outre de modliser diffrents systmes, et d'tablir leur proprits par l'intermdiaire de cadres de preuve assurant un comportement adquat. Dans ce projet nous considrons des logiques qui gnralisent les logiques modales (incluant les formalismes voqus) et qui sont caractriss par des variantes des smantiques de Kripke et dont le domaine d'application couvre la vrification formelle, l'pistmologie et la reprsentation des connaissances. Nos recherches porteront sur les cadres de preuve de ces logiques. L'intrt de la thorie de la preuve est qu'elle fournit, par la constitution d'un calcul analytique associ, une approche constructive pour l'tude des proprits mta-logiques et calculatoires du systme tudi. De plus, la notion de calcul analytique est au coeur du dveloppement d'outils tels que dmonstrateurs et assistants de preuve. Dans la littrature des trente dernires annes, de nombreux calculs, gnralisant le calcul de squents initialement propos par Gentzen, ont t proposs pour les logiques modales et des systmes associs (calculs hypersquents, calculs tiquets, "display calculi"). Les systmes de preuve en question se partagent en deux catgories : d'une part les calculs internes au sein desquels tout objet lmentaire peut tre interprt comme une formule du langage, d'autre part les calculs externes dont les objets lmentaires sont les formules d'un langage plus expressif encodant partiellement la smantique. Les rsultats obtenus sur l'ensemble de ces systmes est mitig : pour certaines classes importantes de logiques, aucun calcul interne n'est connu, tandis que pour d'autres classes, aucun calcul externe optimal, voire garantissant une terminaison, n'a t tabli. Les deux types de calcul reprsentent pourtant des faons distinctes d'aborder la logique, toutes deux utiles et complmentaires. Les relations entre calculs internes et externes est un sujet trs peu explor. Notre objectif principal se rapporte une tude systmatique des relations entre ces deux approches dans le but de fconder chacune d'elles avec les avantages respectifs de l'autre. Une telle tude doit jeter une lumire nouvelle sur la notion de prouvabilit tant du cot des calculs syntaxiques que du cot des calculs smantiques, permettre le transfert de proprits d'un calcul l'autre, et conduire la dcouverte de calculs internes pour les logiques qui n'en sont pas dotes. Enfin, la dcouverte de nouveaux calculs internes permettra d'aborder des problmes thoriques encore ouverts autour de la conservativit, l'interpolation, et la dcidabilit. En rsum, le projet TICAMORE, en clarifiant la relation liant deux approches fondamentales, mais historiquement spares, apportera une vision unificatrice permettant d'aborder des problmes thoriques importants et toujours ouverts. Il contribuera en outre au dveloppement de nouveaux outils automatiques de raisonnement.

    Lien : http://www.agence-nationale-recherche.fr/Projet-ANR-16-CE91-0002
DELTA
    Porté par :
    Jean-Marc TALBOT

    Du : 01/10/2016 au 01/10/2021

    Résumé :
    Dfis pour la Logique, les Transducteurs et les Automates

PARSEME
    Porté par :
    Carlos RAMISCH

    Du : 01/10/2015 au 01/10/2020

    Résumé :
    Analyse syntaxique et expressions polylexicales pour le franais

SRGI
    Porté par :
    Jean-Paul GAUTHIER

    Du : 01/10/2015 au 01/10/2020

    Résumé :
    Gomtrie sous-Riemannienne et Interactions

Les ANR terminées

CROCO
    Porté par :
    Francesco ROSSI

    Du : 01/10/2016 au 01/10/2017

    Résumé :
    Projet CroCo Commande de foules : de la thorie du contrle aux applications au trafic routier Ces dernires annes, l'tude du comportement collectif d'une foule d'agents autonomes s'est dveloppe dans plusieurs communauts scientifiques, par exemple en ingnierie (problmes de rgulation du trafic routier et d'vacuation), en robotique (coordination de robots), en informatique et sociologie (rseaux sociaux) ainsi qu'en biologie (foule d'animaux). En particulier, il est connu que des rgles simples d'interactions entre agents peuvent conduire la formation de motif particuliers comme les nues d'oiseaux ou les bancs de poisson. On parle alors d'auto-organisation ou comportement mergent. En plus de l'analyse de ces mouvements collectifs, il est intressant de comprendre quels changements peuvent tre induits sur la foule par une intervention extrieure. Par exemple, on peut penser forcer la cration de motifs spciaux (telle une nue) lorsque ceux-ci ne se forment pas naturellement, ou l'inverse empcher la cration de tels motifs. C'est le problme de la commande de foules, qui est le sujet principal de ce projet. Deux mthodes de contrle sont envisages dans ce projet. La premire (TASK 1) est la commande par leaders, qui consiste agir seulement sur un faible nombre d'individus fixs. Cette mthode a l'avantage de se concentrer sur un faible nombre d'agents et ainsi d'induire des stratgies parcimonieuses. La seconde stratgie (TASK 2) est la commande par stratgies locales, modlises comme perturbations de la dynamique sur un sous-domaine restreint de l'espace des configurations. Cette stratgie est elle aussi parcimonieuse, ici pour la taille du domaine de contrle. Lapplication principale du projet (TASK 3) est la commande de modles de trafic routier. Lobjectif est autant de rsoudre certains problmes spcifiques de contrle, que dutiliser cette application comme un test pour les rsultats thoriques des TASKS 1-2. En effet, nous tudions des problmes de contrle du trafic autant avec des vhicules autonomes agissant comme leaders, quavec des limitations de vitesse variables dans le temps qui sont des contrles localiss. Les problmes de commande de foules traits dans ce projet peuvent tre dfinis dans diffrents cadres mathmatiques, qui dpendent du modle utilis pour dcrire la dynamique de la foule. Nous considrons trois possibilits : les modles microscopiques (systmes dynamiques), les modles macroscopiques (quation aux drives partielles de transport) et les modles multi-chelles (volution de mesures). Les problmes de commande seront rsolus en construisant des ponts entre les trois approches, en tudiant notamment dans quels cas une stratgie peut tre transporte dun modle un autre Plusieurs mthodes permettant ces connexions ont t dveloppes et amliores par l'quipe du projet. En particulier : - la limite de champ moyen permet de passer d'un modle microscopique un modle macroscopique. Dans le cas de systmes contrls, une telle limite doit tre traite avec la plus grande prcaution. Le P.I. et ses co-auteurs ont dvelopp des techniques cet effet. - les modles multi-chelles combinent des lments des cadres discrets et continus. Notre quipe a dj prouv des rsultats pour les modles de type leaders-followers. - la distance de Wasserstein et ses gnralisations permettent d'unifier les trois formalismes. - des schmas numriques ont t dvelopp par le P.I. et ses co-auteurs pour les trois formalismes. Les recherches prsentes dans ce projet sont dveloppes par une quipe base Marseille. Ce projet ambitionne de construire un groupe spcialis dans le contrle de systmes multi-agents en rapprochant la thorie du contrle et les mathmatiques appliques. La force de notre quipe est de runir des comptences varies (contrle gomtrique, contrle des EDPs, automatique) et la matrise d'outils spcifiques afin d'envisager des avances significatives dans ce domaine. Pour ces raisons, notre quipe est par nature inter-disciplinaire.

    Lien : http://www.agence-nationale-recherche.fr/Projet-ANR-16-CE33-0008
DATCHA
    Porté par :
    Frederic BECHET

    Du : 01/10/2015 au 01/04/2020

    Résumé :
    Extraction de connaissances partir de vastes corpus de conversations "chat" client-oprateurs

HypFoM
    Porté par :
    Audrey MINGHELLI-ROMAN

    Du : 01/10/2015 au 01/01/2019

    Résumé :
    Analyse du fond marin par imagerie Hyperspectrale : une approche sub-pixel ; prise en compte de modles de transfert radiatif prcis de la colonne d'eau et du fond

LIVES
    Porté par :
    Cecile CAPPONI

    Du : 01/10/2015 au 01/04/2020

    Résumé :
    Apprendre avec des vues interactionnelles

SPID
    Porté par :
    Herve GLOTIN

    Du : 01/06/2015 au 01/12/2016

    Résumé :
    Dtection et neutralisation de drones civils

Nos projets FUI depuis 2017 :

Les FUI en cours

GREENEXPLORER

Les FUI terminés

ABYSOUND
    Porté par :
    Herve GLOTIN

    Du : 01/02/2017 au 01/08/2020

    Résumé :
    Evaluation de l'impact environnemental acoustique de l'exploitation sous-marine profonde

ABYSOUN
    Porté par :
    Herve GLOTIN

    Du : 01/02/2017 au 01/08/2020
PROJET MMCD
    Porté par :
    Kouider Nacer M'SIRDI
    Mohand DJEZIRI

    Du : 24/03/2015 au 24/09/2019

    Résumé :
    Multi Functions Modular Cockpit Display a pour ambition de dvelopper une architecture mcatronique modulable et rectifiable des systmes embarqus dans l'aronautique.