Département Automatique, Productique et Informatique (DAPI) - Recherche

Activités de recherche

Les activités de recherche et d’enseignement du département s’organisent autour de trois groupes de formation et de recherches :

• Génie Logiciel et Répartition. L’équipe STACK étudie les challenges liés à la gestion et aux utilisations avancées d'infrastructures Utility Computing (i.e., Cloud, Fog, Edge et plus encore). L’équipe NaoMod (Nantes Software Modeling Group) s’attaque à des défis liés à la construction continue du logiciel via l’ingénierie des modèles, avec de nombreuses applications industrielles dans des domaines tels que l'IoT ou les Cyber-Physical Systems (CPSs). L'équipe Gallinette travaille sur une nouvelle génération d'assistants de preuve (de langages de programmation notamment), avec l'idée directrice que l'expérimentation pratique va de pair avec la recherche fondamentale.
• Optimisation et Aide à la Décision. L’équipe MODELIS (Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services) développe des méthodes analytiques pour l'optimisation et l'aide à la décision en production, logistique et transport. L'apport de l'équipe inclut donc le développement de nouvelles approches (heuristiques, méta-heuristiques ou méthodes exactes), et aussi la modélisation et la résolution de nouveaux problèmes complexes. L’équipe TASC (Théorie et Applications des Systèmes de Contraintes) se concentre sur la théorie et la pratique de la résolution de problèmes combinatoires à l’aide de la programmation par contraintes, un paradigme unificateur et flexible combinant optimisation et relaxation et permettant la prise en compte de contraintes dynamiques et de règles métiers.
• Robotique, Commande et Interactions. Les travaux de l’équipe CODEx (Commande, Observation, Diagnostic et Expérimentation) ciblent les systèmes dynamiques incluant le temps continu, le temps discret, les systèmes linéaires, non linéaires ou à commutations ainsi que les systèmes à retards, dans le domaine des actionneurs, systèmes de transport, énergies renouvelables, ou du vivant. L’équipe ReV (Robotique Et Vivant) poursuit des recherches en robotique à l’interface avec le vivant comme une source d’inspiration (bio-robotique), ou comme l’environnement avec lequel un robot entre en interaction, dans le domaine de l’industrie et pour la société (santé, assistance humaine) via une approche multidisciplinaire. L'équipe PACCE (Perception, Action, Cognition pour la Conception et l’Ergonomie) s'intéresse à la conception centrée utilisateur, la conception des environnements virtuels et les activités coopératives humain-machine et entre humains. L’accent est porté sur les activités dynamiques, éventuellement à risque, comme les interventions médicales.

Ces équipes de recherches sont toutes intégrées à l'UMR CNRS 6004 LS2N (Laboratoire des Sciences du Numérique de Nantes). Les équipes STACK et Gallinette sont en outre des équipes-centre Inria rattachées au centre Inria de Rennes - Bretagne Atlantique.