Les Equipes
La composition des équipes du LS2N est le résultat de la restructuration entière de tous les axes de recherches de l’IRCCyN et du LINA, elles ont été remaniées pour que chaque domaine de recherche soit exploité efficacement, en favorisant les communications au sein d’une équipe mais aussi avec les autres équipes, de façon à créer une synergie propre à accélérer la recherche au LS2N.
- Composants logiciels corrects
- Multiformalisme et analyse multifacette des systèmes
- Architecture logicielle
- Modèles sémantiques de la concurrence et outils d’analyse associés
AeLoS
- Conception orientée environnements
- Interaction avec l’environnement
- Perception de l’environnement
ARMEN
ASCOLA
AtlanModels
- De la comparaison de génomes à la comparaison de graphes
- De la modélisation de processus biologiques à la modélisation de communautés
- Lier les échelles de modélisation pour extraire des biomarqueurs
COMBI
- Systèmes dynamiques
- Commande et Observation
- Domaines d'application
Commande
- social web
- ontology engineering
- Integrative biology
- Culture and education
DUKe
GDD
- Représentation discrète de l’information
- Représentation et perception : modèles psychovisuels
- Interaction et perception : qualité d’images et Qualité d’Expérience
- Représentation et communication multimédia
- Interprétation : apprentissage et reconnaissance de formes pour les documents manuscrits structurés
IPI
- Performance des systèmes
- Modèles et systèmes d’information
- Ingénierie des connaissances
IS3P
- Modélisation dynamique
- Modélisation statique
- Formalisation de la Connaissance Biologique
MéForBio
- Calcul garanti
- Résolution et optimisation globale
- Robotique, automatique, conception
OGRE
- L'homme coopérant
- L'homme et le virtuel
- L'homme au cœur du produit
PACCE
- Adaptation des outils de l’Automatique à la gestion de production
- Systèmes cyber-physiques de production
- Simulation de flux
PSI
- Action bio-inspirée
- Perception bio-inspirée
- Assistance et l’aide à l’humain
- Conception bio-inspirée
ReV
- Réseaux sans fil pour l'IoT
- Infrastructure pour l'IoT
- Sécurité/privacy pour l'IoT
RIO
- Développement de solutions robotisées reconfigurables pour la fabrication et la manutention de pièces de grandes dimensions
- Optimisation cinématique et dynamique des robots par le couplage des paramètres mécaniques et de commande
- Modélisation et maîtrise des procédés de fabrication multi-matériaux et des paramètres opératoires associés
- Pilotage intelligent des procédés de fabrication et d’assemblage
- Robotique au service de la personne et pour la santé
RoMas
- Décompositions parcimonieuses
- Contrôle non-destructif par ultrasons
- Reconstruction et analyse d’images en IRM
- Conception conjointe acquisition-traitement de mesures
- Séparation de sources et applications
- Pilotage de prothèses robotiques.
- Analyse computationnelle de la perception de scènes sonores.
SIMS
- Maîtrise des risques pour les systèmes industriels et les services
- Conception, planification et ordonnancement des systèmes de production et de services
- Conception et optimisation des réseaux logistiques et de transport
SLP
- Supports d’exécution
- Ordonnancement
- Méthodes formelles
STR
- Analyse & Découverte
- Alignement & Multilinguisme
TALN
- Transformation de modèles et synthèse de code pour des problèmes combinatoires
- Aide à la décision dynamique
- Modèles probabiliste pour maitriser la combinatoire
- Apprentissage de modèles à contraintes, d’heuristiques, de stratégies et d’invariants
TASC