Bandeau du Laboratoire d'Informatique & Systèmes (LIS)

Recherche partenariale

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

MASTERPIECE
Porté par : Seifeddine BEN ELGHALI
Du : 01/01/2023 au 01/07/2026
FlexCHESS
Porté par : Seifeddine BEN ELGHALI
Du : 01/12/2022 au 01/12/2025

Résumé :
The large scale integration of renewable energy sources (RES) has introduced a new operating paradigm. Renewable energy sources are characterized by uncertainty and volatility. Moreover, overloading of transmission and distribution feeders have become more frequent. The curtailment of renewable power generation has thus increased, contradicting the goals for high shares of RES. A valuable solution to these challenges is the introduction of flexibility from flexible resources and loads. In this context, FlexCHESS project proposes cutting-edge solutions based on digital twin concept, Virtual energy storage systems (VESS) and Distributed Ledger Technology (DLT) to revolutionize the existing practices. Based on the aggregation of Connected Hybrid Energy Storage System (CHESS), FlexCHESS improves the grid stability while increasing the profitability of its installations by guaranteeing various ancillary services at the distribution and transmission network levels. FlexCHESS will also ensure the highest level of interoperability of the proposed solutions and enhance the innovation capacity and competitiveness of SMEs and Startups in Europe by unlocking access to meaningful information and co-creating new business opportunities. This will be achieved by the appropriate promoting of open innovation and making smart technologies an asset for intelligent business. In order to validate and evaluate the proposed solutions, five pilot sites demonstrations with diverse assets in different European countries are planned. The aggregation and optimization of different resources will be extended to take into account not only electrical energy storage systems (ESS), but also multi-ESSs. Thus, FlexCHESS project will define different scenarios allowing to evaluate the performances and flexibility capability of CHESS. FlexCHESS project Consortium gathers 3 universities, 2 large companies, 3DSOs, 4 SMEs, and 2 NGO.

Les Européens terminés

VPP4ISLANDS
Porté par : Seifeddine BEN ELGHALI
Du : 01/09/2020 au 01/03/2024
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 RTO’s or semiconductor equipment companies to exploit the results. The semiconductor equipment companies have direct links to the IDM’s, which are after all their customers. In addition, they have strong links with the RTO’s 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 IDM’s in the field such as Intel and TSMC, giving insight into the most advanced developments in the field. TNO’s 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.

En savoir plus...
GIAS
Porté par : Herve GLOTIN
Du : 01/04/2019 au 01/07/2022
PRODUCTIVE 4.0
Porté par : Guillaume GRATONMustapha 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

En savoir plus...
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.

En savoir plus...
ECOST MEETING IC1302 - 22-23/02/2016
Porté par : Omar BOUCELMA
Du : 01/02/2016 au 01/03/2016
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

MFC_DEPLOY
Porté par : Rachid OUTBIB
Du : 01/04/2024 au 01/10/2027
QuaSy
Porté par : Karoliina LEHTINEN
Du : 01/03/2024 au 01/03/2028
MENACES
Porté par : Isabel DEMONGODIN
Du : 06/02/2023 au 06/02/2027
SITI
Porté par : Frédéric FLOUVAT
Du : 06/02/2023 au 06/02/2027
ASDMOD
Porté par : Severine DUBUISSON
Du : 16/01/2023 au 16/01/2027
SargAlert
Porté par : Audrey MINGHELLI-ROMAN
Du : 01/01/2023 au 01/01/2027
DisQC
Porté par : Giuseppe DI MOLFETTA
Du : 01/10/2022 au 01/04/2026
SELEXINI Coord.
Porté par : Carlos RAMISCH
Du : 01/04/2022 au 01/01/2027

Résumé :
Semantic LEXicon Induction for Interpretable and robuste text processing

SYLVANIA / Porteur
Porté par : Herve GLOTIN
Du : 03/01/2022 au 03/01/2026

Résumé :
Edge Artificial Intelligence for Accurate Large Scale Biodiversity Surveys

ROV-Chasseur
Porté par : Thanh Phuong NGUYEN
Du : 01/01/2022 au 01/01/2025

Résumé :
Apprentissage faiblement supervisé et modèles profonds efficaces déployés sur un ROV pour la détection et la classification des objets sous-marins.

CAMUDI
Porté par : Paul VILLOUTREIX
Du : 01/01/2022 au 01/04/2025

Résumé :
INTÉGRATION DES DONNÉES MULTIMODALES EN BIOMÉDECINE

ANR RECONFIDURABLE
Porté par : Lyes BENYOUCEF
Du : 01/10/2021 au 01/10/2026
LAMBDACOMB
Porté par : Luigi SANTOCANALE
Du : 01/10/2021 au 01/10/2025

Résumé :
Le projet "LambdaComb" ayant pour objet "une expédition cartographique entre le lambda-calcul, la logique et la combinatoire".

MACOMIC
Porté par : Abdellah FOURTASSI
Du : 01/10/2021 au 01/04/2025

Résumé :
Cognition Education Formation

SoundBrainSem
Porté par : Thierry ARTIERES
Du : 01/10/2021 au 01/10/2025

Résumé :
Représentation of naatural sounds in the human brain : Transforming acoustics into the semantics of sound sources in the environment

REVITALISE Coord.
Porté par : Magalie OCHS
Du : 01/10/2021 au 01/11/2025

Résumé :
Formation virtuelle des compétences comportementales pour la prise de parole en public

RECIPROG
Porté par : Luigi SANTOCANALE
Du : 01/10/2021 au 01/12/2025

Résumé :
Le projet "RECIPROG" ayant pour objet "Raisonner avec des preuves circulaires pour la programmation".

TRANSDEV
Porté par : Paul VILLOUTREIX
Du : 01/10/2021 au 01/10/2025

Résumé :
PRÉCISION DE LA TRANSCRIPTION AU COURS DU DEVELOPPEMENT : LE PROBLEME DES GENES EMBOITES

DIAMELEX Coord.
Porté par : Djamal MERAD
Du : 01/06/2021 au 01/06/2025

Résumé :
Aide au DIAgnostic de MElanome par l'EXemple

TERRA-FORMA
Porté par : Herve GLOTIN
Du : 01/05/2021 au 01/05/2029

Résumé :
Equipements structurants pour la recherche/EQUIPEX+

TAUDoS
Porté par : Thierry ARTIERES
Du : 01/04/2021 au 01/04/2025

Résumé :
Theory and Algorithms for the Understanding of Deep learning on Sequential data

DUCAT
Porté par : Jeremie CHALOPIN
Du : 15/03/2021 au 15/03/2025

Résumé :
Distributed Network Computong through the lens of Combinatorial Topology

COHERENCE 4D
Porté par : Jean-Luc MARI
Du : 01/10/2020 au 01/04/2025

Résumé :
Modélisation, visualisation et inreaction de maquettes numériques 4D interfacées aux systèmes physiques

MASSAL'IA Coord.
Porté par : Djamal HABETChu min LI
Du : 01/09/2020 au 01/09/2025

Résumé :
Raisonnement propositionel pour l'optimisation à grande échelle. Application à la mobilité via les énergies propres.

DYVERSE
Porté par : Pierre CLAIRAMBAULT
Du : 01/01/2020 au 01/07/2025
ACTIVIS Coord.
Porté par : Severine DUBUISSON
Du : 01/10/2019 au 01/07/2025

Les ANR terminées

PRESAGE / Porteur
Porté par : Adeline PAIEMENT
Du : 01/09/2021 au 01/09/2024

Résumé :
PREdicting Solar Activity using machine learning on heteroGEneous data

APPRENTIS
Porté par : Isabel DEMONGODIN
Du : 01/05/2021 au 01/05/2023
DEAL Coord.
Porté par : Zhongliang LI
Du : 01/04/2021 au 01/09/2022

Résumé :
Durability enhancement of fuel cell electric vehicles by exploring multi level learning based control Amélioration de la durabilité des véhicules électriques à pile à combustible en explorant le contrôle basé sur l'apprentissage à plusieurs niveaux – DEAL

MIM
Porté par : Ricard MARXER
Du : 01/10/2020 au 01/10/2024
ADSIL
Porté par : Herve GLOTIN
Du : 01/06/2020 au 01/12/2024

Résumé :
Cette chaire ouvre le paradigme "ADvanced Submarine Intelligent Listening". Elle est portée par H. Glotin, membre honoraire IUF, et ses 3 collègues LIS à Toulon experts en Deep Learning et acoustique / bioacoustique. Cette équipe avait notamment sur projet connexe reçu Y. Lecun en 2013 et lancé des travaux avec S. Mallat. Cette chaire est la continuité de plusieurs années de travaux IA en acoustique sous-marine. L'équipe est renforcée par un 5ieme expert en acoustique et deep learning à Nancy INRIA, et par un expert en HPC acoustique sous marine et un expert en HPC et optimisation pour les problèmes d'assimilation de masses de données. La chaire pour son volet recherche porte sur 3 Taches liées: T1: propagation et apprentissage / accélération de modèle physique par DNN; T2 Classification et localisation jointe par fusion de traits hétérogènes; T3 optimisation d'efforts distribuées sur une flottilles de drones acoustiques. Les formations L M et D existantes et dans 5 ans seront impactées par ADSIL du fait de l’équipe enseignante porteuse. Enfin la Chaire est soutenue par deux industriels, déjà en lien étroit avec des applications bioacoustiques et ou de la marine nationale / défense. Ainsi le projet est dual avec des innovations théoriques et des validations opérationnelles en mer.

FORESEA
Porté par : Audrey MINGHELLI-ROMAN
Du : 01/01/2020 au 01/01/2024
QuantML Coord.
Porté par : Hachem KADRI
Du : 01/11/2019 au 01/11/2023

Résumé :
Apprentissage automatique quantique :fondements théoriques et algorithmes

UnLIR / Porteur
Porté par : Ronan SICRE
Du : 01/10/2019 au 01/10/2023

Résumé :
Apprentissage non super visé de représentation pour la reconnaissance visuelle

ARCHIVAL
Porté par : Frederic BECHET
Du : 01/10/2019 au 01/10/2023

Résumé :
Valorisation d'archives multimédia : compréhension automatique multimodal du langage pour de nouvelles interfaces intelligentes de médiation et de transmission des savoirs

QualiHealth
Porté par : Noel NOVELLI
Du : 01/02/2019 au 01/08/2024

Résumé :
Les activités des établissements hospitaliers comme les activités de recherche scientifique des instituts de sciences de la vie produisent quotidiennement une quantité d’information considérable. Ces données sont précieuses pour améliorer la qualité des soins et peuvent jouer un rôle essentiel en recherche clinique. Cependant, la collecte de telles données est souvent réalisée par des outils variés et des processus d’acquisition de données aux degrés de fiabilité variables. Les données, qui se trouvent ainsi dispersées dans des sources hétérogènes, souffrent de problèmes aigus de qualité qui nuisent à leur exploitation à des fins de recherche. Les problèmes classiques de qualité, comme les données erronées ou manquantes, sont observables mais d’autres problèmes plus subtils surgissent lors de l’intégration, notamment quand un nouvel usage est visé dans un contexte autre que celui initialement prévu. De plus, les distributions statistiques des données peuvent évoluer dans le temps, ce qui conduit à la présence d'aberrations (data-glitches) qui peuvent induire de graves erreurs d’interprétation. A ce jour, aucun système n’est capable d’assister les cliniciens et les chercheurs dans leurs activités en prenant en compte la qualité des données. L’absence d’indicateurs de qualité limite considérablement l’exploitation des données 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 données disponibles étaient annotées par des indicateurs de qualité qui seraient ensuite exploités lors de l'interrogation et l’analyse des données existantes.

En savoir plus...
CoPains
Porté par : Magalie OCHS
Du : 31/12/2018 au 31/12/2023

Résumé :
L'objectif général du projet CoPains est de développer un agent artificiel qui soit capable de : (i) inférer 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 manière, et (iii) interagir avec l'utilisateur d'une façon multimodale par expressions textuelles, expressions faciales et gestes. Les application envisagées sont dans les domaines de l'assistance aux personnes âgées et de la nutrition : un système 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 théoriques et empiriques en combinant, d'une façon innovante, l'analyse basée sur les corpus avec les méthodes formels développés dans le domaine de l'IA. Ceci inclut la logique, la planification, l'analyse des sentiments et la fouille de donnés.

En savoir plus...
SMILES
Porté par : Herve GLOTIN
Du : 01/10/2018 au 01/10/2022
FANs Coord.
Porté par : Sylvain SENé
Du : 01/10/2018 au 01/01/2024

Résumé :
Fondements des réseaux d'automates (booléens) Les systèmes 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 manière fascinante. De notre connaissance de tels processus dépendra notre compréhension des systèmes réels, omniprésents en physique, en biologie, dans notre vie quotidienne. L'objectif de FANs est précisément de développer la connaissance sur les réseaux d’automates (RA) qui constituent un modèle abstrait de référence de tels systèmes, au travers d'études fondamentales et profondes sur les caractéristiques des processus informatiques qui les gouvernent. Autrement dit, FANs vise à « augmenter la théorie 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 réseaux, 2) de notre intérêt pour les réseaux réels, qui nous pousse à étudier les RA per se plutôt que comme des outils de modélisation. En effet, nous sommes convaincus que cette approche constructive et innovante (un retour aux fondamentaux) est parfaitement adaptée pour trouver des lois générales, indispensables pour comprendre les systèmes réels. Malgré la simplicité (délibérée) des RA, ceux-ci peuvent en même temps simuler une machine de Turing en espace constant, capturer la manière naturelle de concevoir les interactions et modéliser leur dynamique telle qu'observée dans les réseaux réels. Cependant, bien que ce modèle ait été introduit dans les années 1940, l'état de l'art force le constat d'une forme de paradoxe entre l'intérêt donné aux RA du point de vue applicatif et les actuelles faiblesses du point de vue théorique. Or, il semble essentiel de réduire ce paradoxe en développant cette théorie pour renouveler les retombées applicatives. En ce sens, FANs appelle à un retour aux racines de la théorie des RA, en s'attachant aux problèmes de dynamique, de complexité et de calculabilité. FANs propose d'étudier la dynamique des RA en portant une attention particulière sur le concept de simulation intrinsèque. Bien que déjà largement étudié dans le cadre des automates cellulaires, des pavages et de l’auto-assemblage, le concept de simulation intrinsèque ne l’a jamais été en profondeur dans le contexte des RA. Or, il est central pour comprendre les fondements des transmissions d’information et des calculs opérés dans les systèmes dynamiques discrets. Ainsi, FANs propose de développer 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 caractéristiques statiques (i.e., leurs graphes d’interaction 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 mêlant théorie des systèmes dynamiques et combinatoire, en améliorant la borne existante du nombre de points fixes des RA admettant un graphe d’interaction donné. Pour ce faire, nous considérerons l’influence des cycles négatifs, ce qui n’a jamais été fait jusque là. Nous poursuivrons ces travaux en initiant des études de comptage d’attracteurs complexes, qui dépendent fortement des modes de mise à jour. Ceux-ci organisent les mises à jour dans le temps discret, et leur influence sera également étudiée pour mieux comprendre les relations causales des dynamiques des RA. À plus long terme, ces développements permettront également de mieux appréhender les problèmes de synthèse et de composition dans ces réseaux, qui ont des portées applicatives réelles en biologie, sur les questions actuellement clés de modularité fonctionnelle des réseaux de régulation et de reprogrammation cellulaire.

En savoir plus...
TICKTAC
Porté par : Benjamin MONMEGE
Du : 01/10/2018 au 01/09/2023

Résumé :
Techniques et outils efficaces pour la vérification et synthèse des systèmes temps-réels. 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 bénéficie d'algorithmes et d'outils de vérification 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.

En savoir plus...
SunSTONE
Porté par : Christophe GONZALES
Du : 18/12/2017 au 18/06/2022

Résumé :
Le projet SunSTONE se propose de développer un outil de contrôle intelligent des réseaux urbains de chaleur. Ce nouvel outil fait particulièrement sens dans le cadre du développement des réseaux à 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 modélisation physique du réseau 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 Réseaux Bayésiens pour la prédiction de la demande et des diagrammes d'influence comme outil d'aide à la décision. Afin de garantir l'obtention d'un outil pertinent, le projet prévoit des interactions nombreuses entre académique et industriels: collecte et analyse de données, identification de critère de décision, validation et comparaison avec l'existant.

En savoir plus...
DISTANCIA
Porté par : Victor CEPOI
Du : 01/10/2017 au 01/08/2023

Résumé :
Théorie Métrique des graphes

DE-MO-GRAPH
Porté par : Philippe JEGOU
Du : 16/01/2017 au 16/03/2022

Résumé :
Projet DE-MO-GRAPH Décomposition de Modèles Graphiques La résolution de problèmes NP-difficiles constitue toujours un défi sur le plan théorique ainsi que pratique. Ce projet vise à résoudre des problèmes de décision, d'optimisation et de comptage (intégration discrète) exprimés en termes de « modèles graphiques » (réseaux de contraintes ou de fonction de coût, réseaux bayésiens, logique propositionnelle, champs de Markov). Il s'agit de modèles où une fonction conjointe sur un ensemble de variables est décrite comme une combinaison factorisée de fonctions de quelques variables. Cette approche est intensivement utilisée en intelligence artificielle, en physique statistique et en statistique. Le terme « modèle graphique » souligne le fait que cette factorisation définit un (hyper)graphe dont les sommets sont les variables et dont les (hyper)arêtes comprennent les variables de chaque facteur. L'expressivité de ces modèles les rend capables de représenter une très large variété de problèmes réels (en traitement d'image, allocation de ressources, bio-informatique,...). Mais la résolution de ces problèmes est difficile en termes de complexité : NP-complète pour la décision, NP-difficile pour l'optimisation et #P-complète pour le comptage. Ce projet a pour but de traiter ces questions en exploitant des techniques récentes de décomposition d'(hyper)graphes sur les graphes (ou hypergraphes) induits par chaque modèle graphique. L’intérêt pratique de ces approches n’a été démontré qu’au cours des dix dernières années (avec la seule notion de décomposition arborescente) - tout en soulignant leurs limites actuelles - mais présente un fort potentiel de progrès. En effet, la communauté de la théorie des graphes a indépendamment produit un grand nombre de résultats au cours de ces dernières années. Ils sont restés pour l’essentiel au niveau d’objets théoriques (cf. branch/clique/rank/boolean/matching/treecut/tree-depth-decompositions pour n'en citer que quelques-unes). Actuellement, les résultats théoriques sur ces décompositions n’ont pas encore été exploités pour améliorer les algorithmes de traitement de modèles graphiques et, a fortiori, pour mener à des systèmes efficaces en pratique. Cela n’est pas surprenant dans la mesure où la plupart de ces résultats ont été obtenus pour des motivations théoriques, sans l'objectif affiché de la résolution des modèles graphiques en pratique. Ce type de situation n'est pas nouveau, la notion de décomposition arborescente avait été introduite et étudiée par Roberston et Seymour comme un outil théorique pour prouver la conjecture de Wagner sur les mineurs de graphes. Cet objet mathématique est désormais un outil de base pour les méthodes de résolution qui exploitent la structure des modèles graphiques à traiter. Sur cette base, un vaste champ d'étude est désormais ouvert autour de la décomposition de graphes, champ qui combine théorie, résultats algorithmiques et outils de résolution pratique. Les objectifs du projet se déclinent donc sur trois axes principaux: (1) Sur le plan théorique, le but est d'étudier les décompositions existantes ou définir de nouvelles approches de décomposition plus adaptées au traitement efficace de problèmes définis sur des modèles graphiques en s'appuyant sur l'expérience acquise avec les décompositions arborescentes. (2) Compte tenu des algorithmes de traitement, l'objectif est d'exploiter efficacement les différentes techniques de décomposition de graphes qui ont été développées par la communauté mathématique 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 décomposition existantes pour traiter efficacement des problèmes à la fois plus grands et plus difficiles. Cela se fera via l'extension de la plateforme de traitement de modèles graphiques « toulbar2 » et le transfert de ces résultats vers les domaines d’application déjà identifiés et vers d'autres domaines de l'optimisation combinatoire.

En savoir plus...
TICAMORE PRCI
Porté par : Nicola OLIVETTI
Du : 31/10/2016 au 31/01/2021

Résumé :
Projet TICAMORE Traduction et Découverte des Calculs pour les logiques Modales et dérivées L'utilisation fructueuse d'approches logiques dans de nombreux domaines des sciences de l'informatique, de l'épistémologie, et de l'intelligence artificielle, a conduit à une multiplication de nouveaux formalismes en logique même. Ces formalismes disposent d'un pouvoir expressif plus étendu que celui de la logique classique, autorisant du même 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 représentation de différents modes de vérité d'une formule (logiques modales), ainsi que la représentation d'autres formes de raisonnement, de type hypothétique et plausible (logiques conditionnelles), sur la connaissance (logiques épistémiques), ou sur la séparation et le partage de ressources (logiques BI de « bunched implication »). Ces logiques permettent en outre de modéliser différents systèmes, et d'établir leur propriétés par l'intermédiaire de cadres de preuve assurant un comportement adéquat. Dans ce projet nous considérons des logiques qui généralisent les logiques modales (incluant les formalismes évoqués) et qui sont caractérisés par des variantes des sémantiques de Kripke et dont le domaine d'application couvre la vérification formelle, l'épistémologie et la représentation des connaissances. Nos recherches porteront sur les cadres de preuve de ces logiques. L'intérêt de la théorie de la preuve est qu'elle fournit, par la constitution d'un calcul analytique associé, une approche constructive pour l'étude des propriétés méta-logiques et calculatoires du système étudié. De plus, la notion de calcul analytique est au coeur du développement d'outils tels que démonstrateurs et assistants de preuve. Dans la littérature des trente dernières années, de nombreux calculs, généralisant le calcul de séquents initialement proposé par Gentzen, ont été proposés pour les logiques modales et des systèmes associés (calculs hyperséquents, calculs étiquetés, "display calculi"). Les systèmes de preuve en question se partagent en deux catégories : d'une part les calculs internes au sein desquels tout objet élémentaire peut être interprété comme une formule du langage, d'autre part les calculs externes dont les objets élémentaires sont les formules d'un langage plus expressif encodant partiellement la sémantique. Les résultats obtenus sur l'ensemble de ces systèmes 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 représentent pourtant des façons distinctes d'aborder la logique, toutes deux utiles et complémentaires. Les relations entre calculs internes et externes est un sujet très peu exploré. Notre objectif principal se rapporte à une étude systématique des relations entre ces deux approches dans le but de féconder chacune d'elles avec les avantages respectifs de l'autre. Une telle étude doit jeter une lumière nouvelle sur la notion de prouvabilité tant du coté des calculs syntaxiques que du coté des calculs sémantiques, permettre le transfert de propriétés d'un calcul à l'autre, et conduire à la découverte de calculs internes pour les logiques qui n'en sont pas dotées. Enfin, la découverte de nouveaux calculs internes permettra d'aborder des problèmes théoriques encore ouverts autour de la conservativité, l'interpolation, et la décidabilité. En résumé, le projet TICAMORE, en clarifiant la relation liant deux approches fondamentales, mais historiquement séparées, apportera une vision unificatrice permettant d'aborder des problèmes théoriques importants et toujours ouverts. Il contribuera en outre au développement de nouveaux outils automatiques de raisonnement.

En savoir plus...
Deep_in_France
Porté par : Hachem KADRI
Du : 01/10/2016 au 01/10/2021

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

DELTA
Porté par : Jean-Marc TALBOT
Du : 01/10/2016 au 01/04/2022

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

CROCO
Porté par : Francesco ROSSI
Du : 01/10/2016 au 01/10/2017

Résumé :
Projet CroCo Commande de foules : de la théorie du contrôle aux applications au trafic routier Ces dernières années, l'étude du comportement collectif d'une foule d'agents autonomes s'est développée dans plusieurs communautés scientifiques, par exemple en ingénierie (problèmes de régulation du trafic routier et d'évacuation), en robotique (coordination de robots), en informatique et sociologie (réseaux sociaux) ainsi qu'en biologie (foule d'animaux). En particulier, il est connu que des règles simples d'interactions entre agents peuvent conduire à la formation de motif particuliers comme les nuées 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 intéressant de comprendre quels changements peuvent être induits sur la foule par une intervention extérieure. Par exemple, on peut penser à forcer la création de motifs spéciaux (telle une nuée) lorsque ceux-ci ne se forment pas naturellement, ou à l'inverse empêcher la création de tels motifs. C'est le problème de la commande de foules, qui est le sujet principal de ce projet. Deux méthodes de contrôle sont envisagées dans ce projet. La première (TASK 1) est la commande par leaders, qui consiste à agir seulement sur un faible nombre d'individus fixés. Cette méthode a l'avantage de se concentrer sur un faible nombre d'agents et ainsi d'induire des stratégies parcimonieuses. La seconde stratégie (TASK 2) est la commande par stratégies locales, modélisées comme perturbations de la dynamique sur un sous-domaine restreint de l'espace des configurations. Cette stratégie est elle aussi parcimonieuse, ici pour la taille du domaine de contrôle. L’application principale du projet (TASK 3) est la commande de modèles de trafic routier. L’objectif est autant de résoudre certains problèmes spécifiques de contrôle, que d’utiliser cette application comme un test pour les résultats théoriques des TASKS 1-2. En effet, nous étudions des problèmes de contrôle du trafic autant avec des véhicules autonomes agissant comme leaders, qu’avec des limitations de vitesse variables dans le temps qui sont des contrôles localisés. Les problèmes de commande de foules traités dans ce projet peuvent être définis dans différents cadres mathématiques, qui dépendent du modèle utilisé pour décrire la dynamique de la foule. Nous considérons trois possibilités : les modèles microscopiques (systèmes dynamiques), les modèles macroscopiques (équation aux dérivées partielles de transport) et les modèles multi-échelles (évolution de mesures). Les problèmes de commande seront résolus en construisant des ponts entre les trois approches, en étudiant notamment dans quels cas une stratégie peut être transportée d’un modèle à un autre Plusieurs méthodes permettant ces connexions ont été développées et améliorées par l'équipe du projet. En particulier : - la limite de champ moyen permet de passer d'un modèle microscopique à un modèle macroscopique. Dans le cas de systèmes contrôlés, une telle limite doit être traitée avec la plus grande précaution. Le P.I. et ses co-auteurs ont développé des techniques à cet effet. - les modèles multi-échelles combinent des éléments des cadres discrets et continus. Notre équipe a déjà prouvé des résultats pour les modèles de type leaders-followers. - la distance de Wasserstein et ses généralisations permettent d'unifier les trois formalismes. - des schémas numériques ont été développé par le P.I. et ses co-auteurs pour les trois formalismes. Les recherches présentées dans ce projet sont développées par une équipe basée à Marseille. Ce projet ambitionne de construire un groupe spécialisé dans le contrôle de systèmes multi-agents en rapprochant la théorie du contrôle et les mathématiques appliquées. La force de notre équipe est de réunir des compétences variées (contrôle géométrique, contrôle des EDPs, automatique) et la maîtrise d'outils spécifiques afin d'envisager des avancées significatives dans ce domaine. Pour ces raisons, notre équipe est par nature inter-disciplinaire.

En savoir plus...
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-opérateurs

PARSEME
Porté par : Carlos RAMISCH
Du : 01/10/2015 au 01/10/2020

Résumé :
Analyse syntaxique et expressions polylexicales pour le français

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 modèles de transfert radiatif précis 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

SRGI
Porté par : Jean-Paul GAUTHIER
Du : 01/10/2015 au 01/04/2021

Résumé :
Géométrie sous-Riemannienne et Interactions

SPID
Porté par : Herve GLOTIN
Du : 01/06/2015 au 01/12/2016

Résumé :
Détection et neutralisation de drones civils

Nos projets FUI depuis 2017 :

Les FUI en cours

Les FUI terminés

GREENEXPLORER
Porté par : Pierre DRAP
Du : 27/03/2017 au 27/03/2021

Résumé :
Véhicule sous-marin télé-opéré à très grandes distances horizontales pour relevés photogrammétriques à haute résolution

En savoir plus...
ABYSOUND
Porté par : Herve GLOTIN
Du : 01/02/2017 au 01/09/2020

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

PROJET MMCD
Porté par : Kouider Nacer M'SIRDIMohand DJEZIRI
Du : 24/03/2015 au 24/09/2019

Résumé :
Multi Functions Modular Cockpit Display a pour ambition de développer une architecture mécatronique modulable et rectifiable des systèmes embarqués dans l'aéronautique.