Conception et Conduite de Systèmes

Élaborer des méthodes et des outils de modélisation, de pilotage et de contrôle de systèmes industriels complexes, en temps réel.

Commande, Observation, Diagnostic et Expérimentation
CODEx

Comprendre, maîtriser et optimiser les systèmes dynamiques en interaction : applications au pilotage des systèmes multi-physiques et multi-secteurs.

Conception, Pilotage, Surveillance et Supervision des Systèmes
CPS3

Concevoir rigoureusement, piloter intelligemment, surveiller efficacement, superviser automatiquement les systèmes, tous les systèmes d’hier, d’aujourd’hui et de demain.

Systèmes Temps Réel
STR

Concevoir des systèmes embarqués innovants, pour réinventer un monde numérique plus sobre et plus fiable

Robotique, Procédés, Calcul

Contribuer au développement de la robotique (systèmes autonomes et multi-agents, cobotique et traitements embarqués), des procédés de fabrication (Industrie 4.0), et aux modèles et algorithmes de calcul garanti.

Autonomie des Robots et Maîtrise des interactions avec l’ENvironnement
ARMEN

Eco-concevoir et contrôler des systèmes robotiques en interaction avec l’environnement ; percevoir, naviguer et coopérer en milieux dynamiques et hétérogènes

Optimisation Globale et Résolution Ensembliste
OGRE

Garantir les calculs pour la résolution de problèmes non linéaires : applications en automatique, robotique et conception de systèmes.

Robotique et Vivant
ReV

Modéliser le vivant pour concevoir et contrôler des robots souples, frugaux et en interaction harmonieuse avec l’humain et l’environnement.

Robots and Machines for Manufactoring, Society and Services
RoMas

Contribuer au développement de la société en inventant les robots de demain pour assister ouvriers, bâtisseurs et chirurgiens.

Science des Données et de la Décision

Concevoir et développer des méthodes génériques pour la modélisation, l’intégration, l’optimisation, la décision et la restitution des résultats.

Combinatoire & Bio-informatique
ComBi

Analyser les données biologiques, modéliser et simuler les systèmes complexes pour analyser, comprendre et prédire le vivant, des molécules aux éco-systèmes

Données Utilisateurs Connaissances
DUKe

Développer des méthodes centrées sur l’utilisateur pour la gestion des données, l’exploration de données ou l’apprentissage automatique.

Modélisation, Optimisation et DEcision pour la Logistique, l’Industrie et les Services
modelis

Modéliser pour décider et optimiser les processus, la production, les transports, les services, en incluant les aspects humains et environnementaux.

Théorie, Algorithmes et Systèmes en Contraintes
TASC

Développer des solutions d’aide à la décision fondées sur notre expertise en IA exacte et transparente, centrées sur notre solver open-source Choco

Signaux, Images, Ergonomie et Langues

Analyser, modéliser, compresser et transmettre des signaux et données dans des contextes applicatifs spécifiques, en prenant en compte les facteurs humains.

Image Perception Interaction
IPI

Experimenter, modéliser avec l’IA, la vision et le comportement des humains et des machines dans la santé, les industries manufacturières, culturelles et créatives

Perception, Action, Cognition pour la Conception et l’Ergonomie
PACCE

Comprendre les humains pour concevoir des systèmes, utiliser les systèmes pour comprendre les humains.

Signal Image et Son
SIMS

Extraire l’information de signaux et d’images en santé, industrie et instrumentation scientifique, grâce à des algorithmes d’inférence statistique et d’apprentissage automatique.

Traitement automatique de la Langue Naturelle
TALN

Modéliser les connaissances langagières de domaines spécialisés avec l’IA : droit, santé, science, éducation…

Science du Logiciel et des Systèmes Distribués

Exploiter la puissance des sciences du logiciel et des systèmes distribués pour une informatique durable, sûre et ouverte.

Gallinette
Gallinette

Fiabiliser logiciels et mathématiques grâce à la preuve assistée par ordinateur.

Gestion de Données Distribuées
GDD

Interroger le Web des données pour permettre aux humains et aux machines de coopérer et de raisonner sur des connaissances structurées et décentralisées à l’échelle mondiale.

Groupe de Modélisation du Logiciel de Nantes
NaoMod

Bâtir et exploiter des abstractions pour modéliser, développer, générer, maintenir et faire évoluer des systèmes logiciels de manière responsable.

Software – Stack – for Massively Geo-Distributed Infrastructures
STACK

Mettre à disposition et programmer des ressources informatiques géodistribuées, fiables, sécurisées et respectueuses de l’environnement.

Vérification pour l’Environnement et le LOgiciel
VELO

Développer des modèles scientifiques et les appliquer dans le monde réel en particulier pour l’environnement