ECTS
4 crédits
Composante
Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)
Volume horaire
36h
Description
L’objectif de ce cours est de modéliser et de vérifier les interactions dans les Systèmes Multi-Agents (SMA) dans lesquelles plusieurs agents logiciels interagissent. Les agents (entités logicielles) peuvent communiquer, coopérer, se coordonner, négocier les uns avec les autres, à travers des protocoles pour requérir ou fournir des services, tant pour poursuivre leurs propres buts que pour atteindre ensemble un but global.
Description :
- Rappels : définitions d’agent et de systèmes multi-agents ;
- Communication, Interaction et Planification ;
- Coordination par protocoles d’interaction ;
- Modélisation et vérification par modèles des protocoles d’interaction (automates, réseaux de Petri de Haut niveau et Logique Temporelle).
Objectifs
À la fin de cette UE/EC, vous serez capable de :
● Maitriser les modèles de coordination et d’interactions dans les SMA,
● Modéliser et vérifier par modèles des protocoles d’interaction
Contrôle des connaissances
Projet et examen
Compétences visées
|
Bloc Usages avancés et spécialisés des outils numériques |
Identifier les usages numériques et les impacts de leur évolution sur le ou les domaines concernés par la mention |
|
|
Se servir de façon autonome des outils numériques avancés pour un ou plusieurs métiers ou secteurs de recherche du domaine |
| |
|
Bloc Développement et intégration de savoirs hautement spécialisés |
Maîtriser plusieurs paradigmes de modélisation et de programmation et être capable de s'adapter à de nouveaux langages |
Niveau C |
|
Proposer une architecture matérielle et logicielle permettant d’intégrer les données du problème et le résoudre |
| |
|
Connaître et mettre en œuvre les principes de gestion des bases de données structurées ou non |
| |
|
Développer des applications informatiques sur des infrastructures variées (machines parallèles, environnement distribué, programmation Web…) |
Niveau I | |
|
Mettre en relation une catégorie de problèmes avec les algorithmes de résolution, en évaluer la pertinence : limites d’utilisation et efficacité |
Niveau C | |
|
Déployer des applications informatiques, gérer les phases de test et les évolutions |
| |
|
Développer des interfaces homme-machines à destination des usagers |
| |
|
Bloc Communication spécialisée pour le transfert de connaissances |
Identifier, sélectionner et analyser avec esprit critique diverses ressources spécialisées pour documenter un sujet et synthétiser ces données en vue de leur exploitation |
|
|
Communiquer à des fins de formation ou de transfert de connaissances, par oral et par écrit, en français et dans au moins une langue étrangère |
| |
|
Bloc Appui à la transformation en contexte professionnel |
Analyser et modéliser du point de vue informatique un problème dans toute son étendue et dans des champs d’applications variés en lien avec les usagers |
|
|
Maîtriser les grands enjeux de la sécurité des systèmes informatiques et de la protection des données, analyser un système du point de vue de la sécurité et mettre en œuvre des solutions sécurisées |
| |
|
Prendre en compte les enjeux industriels, économiques et professionnels : compétitivité et productivité, innovation, propriété intellectuelle et industrielle, respect des procédures qualité, sécurité |
| |
|
Respecter les principes d’éthique, de déontologie et de responsabilité environnementale |
| |
|
Conduire un projet (conception, pilotage, coordination d’équipe, mise en œuvre et gestion, évaluation, diffusion) pouvant mobiliser des compétences pluridisciplinaires dans un cadre collaboratif |
|
