Descriptif
Utiliser les techniques issues de la théorie des jeux infinis, stochastiques et différentiels pour trouver des solutions à des problèmes de décision séquentielle (de contrôle ou de coordination), qu'ils soient discrets ou discrétisés, antagonistes ou coopératifs, dans les systèmes robotiques multi-agents.
Objectifs pédagogiques
- Formuler les problèmes de contrôle multi-agents sous forme de jeux
- Comprendre les algorithmes de résolution de jeux
- Utiliser des techniques offrant des garanties de correctitude et de performance
- Gérer l'incertitude dans le contrôle multi-agents
- Modéliser le comportement multi-agents à grande échelle
- Distinguer les régimes coopératifs et antagonistes
- Utiliser des outils de pointe pour la synthèse de stratégies
- Appliquer ces techniques à des systèmes robotiques multi-agents simples
22.5 heures en présentiel (8 blocs ou créneaux)
réparties en:
- Travaux pratiques : 10.5
- Cours magistral : 10.5
Diplôme(s) concerné(s)
Domaine Université Paris Saclay
Mention Informatique, Mention Ingénierie des Systèmes Complexes, Mention Electronique, énergie électrique, automatique.Pour les étudiants du diplôme Diplôme d'Ingénieur de l'Ecole Nationale Supérieure de Techniques Avancées
Recommandé : connaissances de niveau licence ou d'initiation en logique, automates, graphes, langages formels, ainsi qu'en contrôle numérique et à événements discrets
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Diplôme d'Ingénieur de l'Ecole Nationale Supérieure de Techniques Avancées
Le rattrapage est autorisé (Max entre les deux notes écrêté à une note seuil)- le rattrapage est obligatoire si :
- Note initiale < 6
- le rattrapage peut être demandé par l'étudiant si :
- 6 ≤ note initiale < 10
- Crédits ECTS acquis : 1.5 ECTS
Le coefficient de l'UE est : 1
La note obtenue rentre dans le calcul de votre GPA.
L'UE est évaluée par les étudiants.
Programme détaillé
- Jeux discrets : notions fondamentales, adversaires
- a. Modélisation : actions, contrôlabilité, bien-formé
b. Stratégies sans mémoire : jeux de Büchi, solvabilité - a. Objectifs complexes : logique temporelle, encodages
b. Stratégies à mémoire finie : synthèse réactive, réalisabilité - a. Quantification : jeux stochastiques et pondérés
b. Objectifs stochastiques : logique temporelle probabiliste - Jeux différentiels : notions de base, information, coopération
- Consensus et formation de consensus basés sur les jeux
- Jeux de coalition, robustesse
- Examen écrit final