• Numérique et Robotique

Centre de Recherche en Informatique, Signal et Automatique (CRIStAL)

Unité de recherche - UMR 9189

Description

Nos recherches portent sur les thématiques liées aux grands enjeux scientifiques et sociétaux du moment tels que : BigData, logiciel, image et ses usages, interactions homme-machine, robotique, commande et supervision de grands systèmes, systèmes embarqués intelligents, bio-informatique… avec des applications notamment dans les secteurs de l’industrie du commerce, des technologies pour la santé, des smart grids. Nous sommes reconnus par des contributions originales, des réalisations (matérielles et logicielles) et des collaborations pluridisciplinaires aussi bien dans le domaine des Sciences Humaines et Sociales, que dans le domaine des interactions des sciences du numérique avec la biologie, les mathématiques et les sciences de l’ingénieur. La recherche est effectuée au sein de trente trois équipes de recherche réparties dans les 9 groupes thématiques: Commande et calcul scientifique (CO2); Intelligence des données (DatInG); Génie Logiciel (GL); Interactions et Intelligence collective (I2C); Image; Modélisation pour les Sciences du Vivant (MSV); OPTImisation : Modèles et Applications (OPTIMA); Systèmes Embarqués Adaptatifs et Sécurisés (SEAS); Tolérance Pronostic Système de Systèmes (ToPSyS). Nous sommes ouverts aux collaborations académiques et industrielles et proposons des offres de formations et de services en lien avec nos expertises.

Contacts

  • Myriam Caudrelier
    Contact

Informations

Bâtiment ESPRIT, Avenue Henri Poincaré
Campus Cité Scientifique, Université de Lille
59655 VILLENEUVE D'ASCQ

https://www.cristal.univ-lille.fr/

Centre de Recherche en Informatique, Signal et Automatique

Effectif

Effectif total : 459

Personnel de recherche : 216

Personnel d'appui à la recherche : 34

Expertises

Compétences

• Systèmes tolérants aux fautes
• Modélisation, analyse, commande et surveillance de systèmes multi-physiques
• Méthodes formelles pour la conception et l’exploitation des systèmes à événements discrets
• Calcul formel, calcul haute performance, géométrie et algèbre
• Robots déformables
• Estimation et contrôle robustes pour les systèmes dynamiques à forte complexité
• Différentiation numérique
• Linked data (web des données)
• Bases de données
• Méthodes et modèles d’apprentissage automatique au sein de réseaux d’information
• Apprentissage automatique - machine learning, décision séquentielle dans l’incertain
• Traitement et modélisation statistique des signaux
• Inférence Bayésienne
• Théorie des fonctions de croyance
• Imagerie polarimétrique
• Sécurité de l’information
• Modélisation logicielle et ses rapports avec les utilisateurs
• Création et maintenance du logiciel, contrôle de la production de logiciels
• Remodularisation des applications orientées objets
• Interface cerveau-ordinateur, Homme-Machine
• Interaction tactile et gestuelle
• Interactions humaines assistées par ordinateur
• Systèmes multi-agents
• Outils et méthodes pour analyser les formes des objets 3D statiques et dynamiques
• Détection, suivi et reconnaissance d’objets et de personnes
• Méthodes automatiques d’analyse d’images
• Modélisation et simulation de systèmes bio-moléculaires
• Analyse des séquences biologiques
• Algorithmes et applications d'optimisation
• Extraction de connaissances
• Systèmes Embarqués Adaptatifs et Sécurisés
• Conception conjointe logicielle et matérielle
• Architecture de systèmes d’exploitation
• Analyse musicale computationelle
• Réalité Étendue et réalité Virtuelle
• Logiciel pour la Réalité Étendue et les Interactions Avancées
• Numérisation 3D
• Interface annotative
• Médiation Muséale
• Visualisation de données

Exemple(s) de projets

• Urbiviz : Développement d'application pour la visualisation et manipulation de données ouvertes citoyennes 🡭
• Ikonikat 3D : Conception d'un outil permettant la désignation virtuelle sur sculpture, grâce au dessin augmenté 🡭
• RMapViewer : un outil pour les chimistes pour visualiser et analyser les cartes de réactions chimiques 🡭
• «The Open Reality Experience» (TORE) : dispositif innovant de réalité virtuelle de conception totalement originale, unique au monde, l’écran est courbé dans toutes ses dimensions et dénué d’arêtes 🡭
• Robots mous : conception de robots en silicone ou en plastique pour des applications médicales par exemple comme les interventions chirurgicales minimalement invasives 🡭
• VASCO (véhicule automatisé supervisé pour conteneurs) : développement du premier système 100 % automatisé avec guidage sans infrastructure pour le transport de containers dans les terminaux portuaires 🡭
• AI Song Contest, compétition internationale dédiée aux musiques composées à partir de l'intelligence artificielle (IA) - 3ème place du concours sur 38 équipes 🡭

Exemple(s) de publications

• Thor Morales Bieze, Frederick Largilliere, Alexandre Kruszewski, Zhongkai Zhang, Rochdi Merzouki, et al.. Finite element method-based kinematics and closed-loop control of soft, continuum manipulators. Soft Robotics, Mary Ann Liebert, Inc., 2018, 5 (3), pp.348-364. ⟨10.1089/soro.2017.0079⟩ 🡭
• Hafiz Ahmed, Rosane Ushirobira, Denis Efimov, Damien Tran, Mohamedou Sow, et al.. A fault detection method for an automatic detection of spawning in oysters. IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2016, 24 (3), pp.1140--1147. ⟨10.1109/TCST.2015.2472999⟩ 🡭
• Rémi Bardenet, Arnaud Doucet, Chris Holmes. On Markov chain Monte Carlo methods for tall data. Journal of Machine Learning Research, Microtome Publishing, 2017. 🡭
• Adel Noureddine, Romain Rouvoy, Lionel Seinturier. Monitoring Energy Hotspots in Software. Journal of Automated Software Engineering, Springer, 2015, 22, pp.291-332. ⟨10.1007/s10515-014-0171-1⟩ 🡭
• Alix Goguey, Daniel Vogel, Fanny Chevalier, Thomas Pietrzak, Nicolas Roussel, et al.. Leveraging finger identification to integrate multi-touch command selection and parameter manipulation. International Journal of Human-Computer Studies, Elsevier, 2017, 99, pp.21-36. ⟨10.1016/j.ijhcs.2016.11.002⟩ 🡭
• Pierre Pericard, Yoann Dufresne, Loïc Couderc, Samuel Blanquart, Hélène Touzet. MATAM: reconstruction of phylogenetic marker genes from short sequencing reads in metagenomes. Bioinformatics, Oxford University Press (OUP), 2017, 34 (4), pp.585-591. ⟨10.1093/bioinformatics/btx644⟩ 🡭
• Blot, A., Kessaci, MÉ. & Jourdan, L. Survey and unification of local search techniques in metaheuristics for multi-objective combinatorial optimisation. J Heuristics 24, 853–877 (2018). https://doi.org/10.1007/s10732-018-9381-1 🡭
• Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym. Formal proof of dynamic memory isolation based on MMU. Science of Computer Programming, Elsevier, 2018, 162, pp.76-92. ⟨10.1016/j.scico.2017.06.012⟩. 🡭
• Mathieu Giraud, Sławek Staworko. Modeling Musical Structure with Parametric Grammars. Mathematics and Computation in Music (MCM 2015), Jun 2015, London, United Kingdom. pp.85-96, ⟨10.1007/978-3-319-20603-5_8⟩. 🡭

Découvrez la liste complète des publications ici.

Collaborations/Partenaires/Clients scientifiques

CRIStAL entretient des collaborations pluridisciplinaires et interdisciplinaires au niveau régionales avec toutes les Universités Lille Nord de France (Université d'Artois, Béthune, Picardie Jules Verne, Université Polytechnique des Hauts de France, Université du Littoral) également aves les centres hospitalo-universitaire CHRU et centre sur le cancer COL.

Nationales :
LIRSA, CNAM Paris, ICUBE, STRASBOURG, liris lyon, LIP6, LIRM, LS2N Nantes, Université de Rennes, Université de Polynésie Française, INRIA Lorraine LORIA, Université Grenoble Alpes, Maison de la simulation de Saclay, Université de Versailles-Paris Saclay, Sorbonne Université, Université de Cergy (LPPI EA2528), Inserm Paris (UMR-S1159), Inria/CNRS I-Cube Strasbourg, Inria/Irisa Rennes, Cirad, Inria Rennes, Inria Saclay Parietal, Université Paris-Dauphine, Université de Troyes, Université de Rouen (CETAPS, LITIS), Institut de Recherche en Informatique de Toulouse (IRIT), GIPSA-Lab, AstroParticule & Cosmologie, Université Paris Diderot, ENS Paris, Observatoire de Paris Meudon, IRAM Grenoble, Ecole Polytechnique, Université Paris-Saclay, LPICM, I3S, CRAN, S2N de l’Université de Nantes, ENS-Cachan, observatoire de la côte d’azur, université de Nanterre, Université de Marne-la-Vallée, Centrale Supelec, Institut du Cerveau et de la Moelle Epinière, UTC, Université Aix-Marseille, Inria Bordeaux, IPL AVATAR, Université de Poitiers, Inria Grenoble IRMES / INSEP, LIMOS, Université Clermont Ferrand, CIS à St Etienne, UTBM, IFFSTAR, ESIEE Paris, Onera Toulouse, CEA LIST, IRIT, IRT2, LTCI, L2SN, Institut de Neurosciences de la Timone, INRIA Nancy, UGE/IFSTTAR LEOST-COSYS - Institut des Sciences du Mouvement (ISM, UMR 7287 CNRS-AMU)

Internationales :
Japanese-French Laboratory for Informatics (Japon), University of Kyoto (Japon), Université de Waterloo (Belgique), City University (Hong-Kong), University of Oxford (Royaume-Uni)

Collaborations/Partenaires/Clients privés

Airbus, Auchan, Décathlon, Gemalto, Orange, Renault, Stormshield, SNCF, Thalès, Vekia, Worldline, InSimo, Naviworks, A.I. Mergence, ATOS, ONERA, ORANGE, MCQ-SCAN, Axelience, Mandarine, GAUSSIN, AMARIS, TOTAL, Facebook AI Research, Berger Levrault, Siemens, Arolla, Davindson Consulting, Scalair, Lexiane consulting, EOMYS, Lipofabrik, EDF, Computer Engineering, CITC, CERTIA, Niryo, Arobas Music, OVH, Comptoir des pêcheurs boulonnais, Ferme de la Gontière, BA Systèmes, Véolia, TDR Groupe, LuxOndes....

Offres de services

Secteurs d'applications

  • Recherche / Science

Prestations de service

• Modélisation, analyse, commande et surveillance de systèmes multi-physiques
• Méthodes formelles pour la conception et l’exploitation des systèmes à événements discrets
• Estimation et contrôle robustes pour les systèmes dynamiques à forte complexité
• Différentiation numérique
• Méthodes et modèles d’apprentissage automatique au sein de réseaux d’information
• Traitement et modélisation statistique des signaux
• Imagerie polarimétrique
• Contrôle de la production de logiciels
• Modélisation logicielle et ses rapports avec les utilisateurs
• Création et de maintenance du logiciel
• Remodularisation des applications orientées objets
• Outils et méthodes pour analyser les formes des objets 3D statiques et dynamiques
• Détection, suivi et reconnaissance d’objets et de personnes
• Méthodes automatiques d’analyse d’images
• Modélisation et simulation de systèmes bio-moléculaires
• Analyse des séquences biologiques
• Extraction de connaissances
• Conception conjointe logicielle et matérielle
• Analyse musicale computationelle
• Conception intégrée de Systèmes et Supervision
• Modélisation, analyse, commande et surveillance de systèmes multi-physiques
• Conception et exploitation des systèmes à événements discrets
• Calcul formel, calcul haute performance, géométrie et algèbre
• Conception de logiciels en robotique
• Estimation et contrôle robustes pour les systèmes dynamiques à forte complexité
• Méthodes et modèles d’apprentissage automatique au sein de réseaux d’information
• Traitement et modélisation statistique des signaux
• Contrôle de la production de logiciels
• Modélisation logicielle et ses rapports avec les utilisateurs
• Création et de maintenance du logiciel
• Analyse des formes des objets 3D statiques et dynamiques
• Prestations d'évaluation et d'audits de sécurité du système d'information
• Étude de dispositifs matériels pour la Réalité Étendue
• Gestion et mise à disposition d’équipements de Réalité Virtuelle
• Expertise en développement logiciel pour la Réalité Étendue et les Interactions Avancées
• Accompagnement à la numérisation 3D
• Capture de mouvement pour des robots ou des humains
• Expérimentation, tests et validation de systèmes robotiques
• Impression 3D
• Matériel et outils sécurité de sites
• Mise à disposition d'un ensemble d'outils pour le développement d'applications complexes
• Mise à disposition d'outils de devops et connecteurs sur de nombreuses bibliothèques

Offres de formations

• Formations en informatique, développement et déploiement.
• Méthodes statistiques, Intelligence Artificielle.
• Formation en génie logiciel (git, gitlab, intégration continue, ...)
• Conception de logiciel, Un MOOC sous licence Creative Commons http://mooc.pharo.org
• Formation en robotique mobile et manipulation, accès à l'AIP S.mart
• Plusieurs livres sous licence Creative Commons sont disponibles sur http://books.pharo.org

Prestations de conseil

Prestations de conseil sur l'ensemble de nos expertises

Equipements

Nous disposons de nombreux équipements liées à plusieurs plateformes :
• robots de la plateforme PRETIL (robots déformables, porte container, véhicules autonomes, robot d’impression 3D béton, robots médicaux curithérapie et brachythérapie)
• salles et équipements de réalité virtuelle à l’IRCICA
• bio-informatique PLBS en lien avec l’IFB
• mésocentre de calculs, réseaux GRID5000 et MESONET
• plateforme énergie et pile à combustible
• auditorium Immersif REVICA (écran cylindrique tactilisé 6mx3m, 6 vidéoprojecteurs, captation mouvement)
• showroom pourvu d’équipements légers de visualisation et d’interaction
• laboratoire de photogrammétrie et macro-photogrammétrie
• salle d’expérimentation dotée de dispositifs variés (casques d’immersion, table et écrans tactiles, tapis de marche virtuelle, équipements son et lumière...)

Écosystème

Établissements / Organismes de rattachement

Établissement(s) partenaires

Groupements/Réseaux/Fédérations

Equipex/EquipEx+/ESR

Écoles doctorales

Pôle de compétitivité

Domaines d'activités stratégiques régionales

  • Numérique et Robotique
    • Cybersécurité et confiance numérique
    • Electronique
    • Ingénierie, conception logicielle, logiciels libres
    • Intelligence artificielle, traitement d'images, data science
    • Internet des objets, cloud computing et big data
    • Modélisation numérique, jumeaux numériques, visualisation des données
    • Numérique frugal
    • Robotique, cobotique, interaction Homme- Machine
    • Telecom, réseaux, photonique
    • Transformation numérique, inclusion sociale numérique