Syllabus

Semestre 9

Méta-modélisation (META)

Intervenants

Alain Plantec (Responsable, UBO), Joël Champeau (ENSTA).

Volume horaire et ECTS

24h CM-TP. 4 ECTS.

Présentation

Ce cours introduit les aspects généraux du domaine de la modélisation et de la méta-modélisation : enjeux, terminologie, langages spécifiques, environnements et applications.

Structure générale

Introduction : Motivations, définitions préliminaires, terminologie et enjeux - Qu'est-ce qu'un modèle - Relation de description - méta-modèle, tour de modélisation et espaces techniques - transformation de modèles - lien de causalité - Environnements de modélisation et de méta-modélisation

Langages à domaine spécifique (DSL) : justification, usage, spécification et outillage. Dans un premier temps, toutes les notions fondamentales liées au traitement des langages formels sont rappelées. Ces notions comprennent en particulier la notion de syntaxe abstraite et son lien naturel avec la notion de métamodèle. Ces notions comprennent également la notion de sémantique, notamment axiomatique, et son lien naturel avec la notion de contrainte de métamodèle. Le lien ainsi formellement établi entre la théorie des langages et l'ingénierie dirigée par les modèles permet d'introduire l'outillage des DSL avec les technologies courantes liées au MOF - Rappels sur les langages: Définitions, syntaxe concrète et abstraite, sémantique - Rappels sur les métamodèles: Définitions et modèles métiers - DSL: Définitions, spécifications et formes de DSL, Outillage - Notions connexes et littérature

Compétences visées

- savoir définir un Language - savoir quand définir un language - savoir outiller un language

Relation Cognition Interaction Environnement (RCIE)

Intervenants

Pierre de Loor (Responsable, ENIB), Loannis Kanellos (IMT Atlantique), Pierre Chevaillier (ENIB).

Volume horaire et ECTS

24h CM-TP. 4 ECTS.

Présentation

Cette UE a pour objectif de présenter ce que les principaux champs des sciences cognitives permettent de savoir sur les relations entre la cognition et l'interaction individu-environnement afin de mieux comprendre les enjeux liés aux nouvelles technologies, que ce soit les environnements numériques, la réalité virtuelle ou les relations aux robots. Les champs disciplinaires abordés sont la psychologie, la philosophie, les neurosciences, l’intelligence artificielle et la réalité virtuelle.

On y abordera notamment la notion d'homme augmenté et son rapport avec les connaissances en sciences cognitives, un point sur les dernières avancées en IA et leur relation aux connaissances en science cognitive, ainsi qu'une compréhension des principes, des objectifs, des capacités et limites des expérimentations menées en psychologies cognitives sur les notion liées à l'interaction homme/système.

Structure générale

Introduction aux sciences cognitives : - Les paradigmes des sciences cognitives : cognitivisme, connexionnisme, constructivisme, gestalt, approches écologiques. - L’apport respectif des domaines des SC : philosophie, psychologie, informatique, neuroscience, anthropologie, - L’interprétation, son lien à la perception et son évolution liée aux nouvelles technologies - L'intelligence artificielle au service des sciences cognitives : modèles (cognitifs, neuro-inspirés) - Focus sur le paradigme de l’énaction et son impact sur le développement des nouvelles technologies (Env numériques, I.A., RV, Robotique)

L’évaluation de l’expérience : - Immersion et présence dans les environnements immersifs - Engagement de l’utilisateur dans l’interaction avec une entité autonome (humain virtuel, robot)

Compétences visées

Les définitions des différents champs des sciences cognitives, le paradigme de l'énaction, la notion d'interprétation, l'impact des nouvelles technologies sur l'homme, les techniques d'intelligence artificielle inspirées des connaissances en sciences cognitives, les questions de recherche et protocoles d'évaluation utilisés en psychologie liés à l'usage des nouvelles technologies.

Interaction et Vérification (IV)

Intervenants

Antoine Beugnard (Responsable, IMT Atlantique), Thierry Duval (IMT Atlantique), Philippe Dhaussy (ENSTA).

Volume horaire et ECTS

24h CM-TP. 4 ECTS.

Présentation

La composition est un problème crucial du logiciel. Nous l’abordons ici sous l’angle de sa spécification sous la forme de contrats pour décrire les comportements attendus et offerts puis de la vérification de ses contrats à l’aide de l’approche dite model-checking.

Structure générale

1. La notion d’interface et de contrat (SysML, contrat niveau sémantique pré/post, OCL, contrat niveau synchronisation interactions) 2. Modélisation des interactions (statecharts, automates, sémantiques de la synchronisation ) 3. Sémantique des automates temporisé 4. Logiques temporelles (type LTL et CTL) pour la spécifications de propriétés 5. Techniques et algorithmes pour le model-checking 6. Illustration avec le langage le model-checker UPPAAL

Compétences visées

Modélisation des interactions entre logiciels, applications (et humains). Vérification de propriétés des interactions.

Interaction avec les Environnements de réalité Virtuelle ou Augmentée (IEVA)

Intervenants

Pierre Chevaillier (Responsable de l'UE, ENIB), Thierry Duval (IMT Atlantique), Eric Maisel (ENIB)

Volume horaire et ECTS

24h CM-TP. 4 ECTS.

Présentation

L’objectif de cette unité d’enseignement est d’acquérir les connaissances nécessaires à la réalisation d’une application de réalité virtuelle mettant en jeu des entités intelligentes, notamment des personnages autonomes. Les principaux aspects théoriques et techniques sont abordés : modélisation de l’environnement virtuel, interactions naturelles avec l’environnement et les entités autonomes, simulation de comportements autonomes, interactions conversationnelles avec des personnages. Les technologies abordées sont celles de la réalité virtuelle (immersion et interaction), du jeu vidéo (simulation de comportement) et de l’interaction en langue naturelle parlée. L'accent est mis sur les environnements informés peuplés d'entités autonomes, notamment des humains virtuels expressifs capables d'exploiter les ressources de l'environnement virtuel et de communiquer avec l'utilisateur.

Structure générale

Modélisation sémantique des environnements virtuels

• Modèles d'environnements informés comme modèle de connaissance « métier » : modélisation ontologique, modélisation des comportement, déploiement dans une application de réalité virtuelle
• Modèles d'activités collaboratives

Modélisation du comportement d'entités autonomes

• Comportement réactif d’entités autonomes : modèles bio-inspirés (steering, flocking)
• Modélisation de l’environnement pour la navigation (path-planning, champ de potentiel, etc.)
• Modèles pour la perception artificielle des entités autonomes : perception de l’environnement et perception pour les interactions sociales
• Modèles de comportements réactifs pour l'animation comportementale

Interaction naturelle avec agents conversationnels expressifs

• Architecture d’agents cognitifs pour des agents autonomes intelligents
• Humains virtuels conversationnels et expressifs

Compétences visées

• Savoir construire une application de réalité virtuelle en utilisant un moteur de jeu vidéo
• Savoir programmer un comportement réactif pour une entité virtuelle intelligente et adaptative
• Savoir modéliser des connaissances métiers et les utiliser pour la conception du comportement cognitif d’un agent autonome
• Connaitre les principales architectures d'agent conversationnel et les solutions techniques existantes

SMA et simulation interactive (SMA)

Intervenants

Vincent Rodin (Responsable, UBO), Pierre Chevaillier (ENIB), Pascal Ballet (UBO), Jérémy Rivière (UBO).

Volume horaire et ECTS

24h CM-TP. 4 ECTS.

Présentation

L'objectif de cette UE est l'étude des systèmes multi-agents pour la modélisation et la simulation de systèmes complexes. L'accent sera mis sur le paradigme des systèmes multi-agents tant du point de vue des concepts que du point de vue des modèles théoriques sous-jacents. Ce paradigme sera la clef de voute de la modélisation de systèmes complexes. Afin d'approfondir cette notion de modélisation de systèmes complexes, l'accent sera mis sur la modélisation et la simulation de phénomènes biologiques qui sont par nature des phénomènes complexes. Cette phase de modélisation et la simulation permet une meilleure compréhension des interactions et des phénomènes au sein de systèmes complexes.

Structure générale

SMA concepts, modèles théoriques, etc. : Principes et modèles théoriques des systèmes multi-agents. Les différentes approches de modélisation multi-agents: centrées agent, interaction, environnement, organisation. Programmation orientée agent - études de cas : coordination décentralisé, résolution distribuée de problèmes.

SMA et modélisation de systèmes Complexes : Introduction et généralités sur les systèmes complexes, exemples ; Adéquation des SMA pour l'approche "bottom-up" ; SMA pour la simulation et la modélisation de systèmes complexes : pourquoi simuler ? Comment construire un modèle ? Exemples et applications en Biologie.

SMA et modélisation en biologie : Introduction aux laboratoires virtuels, modélisation et simulation multi-agents in-virtuo.

Exemple de Laboratoire Virtuel (NetBioDyn): Présentation des défis de la simulation dans le cadre de la médecine ré-générative et de NetBioDyn: définition des agents, leurs comportements, les interactions possibles. Ordonnancement chaotique ; Exemples et applications en Biologie : systèmes complexes multi-cellulaire.

Compétences visées

Système Multi-Agents: concepts, modèles théoriques, modélisation de systèmes complexes et laboratoires virtuels pour la biologie.

Interactive Machine Learning (IML)

Intervenants

Cédric Buche (Responsable, ENIB), Mai Nguyen (IMT Atlantique), Pierre de Loor (ENIB).

Volume horaire et ECTS

24h CM-TP. 4 ECTS.

Présentation

L'UE Interactive Machine learning (IML) propose d'aborder la thématique des algorithmes d'apprentissage artificielle où le processus d'apprentissage est fondé sur les interactions avec un environnement et/ou avec des humains.

Structure générale (en anglais)

Introduction : Interaction & Machine Learning

Learning from demonstration/observation/interaction - Detection (feature extraction, classification) - Navigation (waypoint, GNG, SGNG ...) - Prediction (KNN, SVM, HMM ...) - Optimization (Genetic Algorithms, Simulated annealing, Ants colony)

- Enactive artificial intelligence - Developmental approaches - Reinforcement learning - Learning by demonstration, imitation learning, interactive learning - Deep Learning

Evaluation - Believability - Interaction assessment

Professionnalisation de la recherche (PROF)

Intervenants

Jérémy Rivière (Responsable, UBO).

Volume horaire et ECTS

20 Conférences. 0 ECTS.

Présentation

Ce module offre une culture scientifique général, par une série de présentations de recherche et de rencontres avec des professionnels de l'innovation. Il développe les capacités de rédaction de résumé d'articles et conférences scientifiques, notamment en anglais. Il est commun en partie avec le module Conférences du parcours ILIADE.

Préparation à la Vie Professionnelle (PVP)

Intervenants

Ahcène Bounceur (Responsable, UBO), Marie-Christine Bot-Cabanes (intervenante en PVP Communication), Michel Rafini et Gwenola Le Gall (intervenants en PVP Anglais).

Volume horaire et ECTS

72h CM-TD. 6 ECTS.

Semestre 10

Robotique et Réseaux de Capteurs pour l'Interaction avec l'environnement (R2CI)

Intervenants

Laurent Nana (Responsable, UBO), Jean Vareille (UBO), Bernard Pottier (UBO).

Volume horaire et ECTS

24h CM-TP. 4 ECTS.

Présentation

Les capteurs font partie de notre quotidien depuis de nombreuses années. Ils permettent d’obtenir des informations précieuses sur l’environnement, mais aussi d’agir sur ce dernier par le biais d’actionneurs de différentes natures. Leurs applications sont nombreuses : gestion de parking, mesures de paramètres dans le domaine de la santé, automatisation de la production, robotique, utilisation dans le domaine du sport, de la télésurveillance, etc. La mise en réseaux des capteurs permet de collecter des informations sur l’environnement en quantité plus importante et de façon plus efficace. Cette UE a pour but d'aborder les problématiques relatives aux réseaux de capteurs et d'actionneurs, ainsi qu'aux systèmes basés sur ces derniers pour l'interaction avec l'environnement, plus particulièrement les systèmes robotiques et de production.

Structure générale

Réseaux de capteurs et couplage à la modélisation physique de l'environnement.

Systèmes et architectures à bases de capteurs et d’actionneurs : systèmes et architectures robotiques, systèmes de production, langages et environnements logiciels pour le contrôle de ces systèmes.

Compétences visées

- Langages, architectures et programmation robotique et téléproductique. - Sûreté de fonctionnement dans la programmation robotique et téléproductique. - Technologie des réseaux de capteurs et couplage des réseaux de capteurs à l'environnement. - Maîtrise du processus de contrôle de systèmes robotique et téléproductique;

Méthodologie Scientifique (METH)

Intervenants

Gilles Coppin (Responsable, IMT Atlantique).

Volume horaire et ECTS

10h CM-TD. 2 ECTS.

Présentation

Ce module présente la méthodologie scientifique requise pour valider expérimentalement une hypothèse de recherche (traitement statistique des résultats, impact matériel ou logiciel, sondages, réalisation de courbes pertinentes) et de rendre les expériences associées reproductibles.

Bibliographie (BIBL)

Intervenants

Pierre Chevaillier (Responsable, ENIB).

Volume horaire et ECTS

4h TD. 4 ECTS.

Présentation

Ce module développe la capacité à réaliser un état de l'art ou une veille technologique relative à une question scientifique ou un problème d'innovation. Il présente également les techniques permettant de rédiger un article scientifique selon les normes internationales, et de présenter son travail à l'oral. Le travail consiste à effectuer une recherche bibliographique avec les outils approprié, puis de rédiger document présentant cet état de l'art (scientifique ou technologique). L'étude doit présenter de manière synthétique et critique les solutions existantes et les comparer.

Stages

Intervenants

Thierry Duval (Responsable, IMT Atlantique).

Volume horaire et ECTS

Minimum 5 mois. 20 ECTS.

Présentation

Stage de 5 à 6 mois en Laboratoire de Recherche ou en Entreprise (de préférence dans un service de R&D) à partir de mi-janvier.