Présentation
Introduction
Communicating systems are made up of a set of agents (processes, robots, humans, etc.) active and mobile in a certain environment, and interacting according to certain rules.
An agent is an entity characterized by the fact that it is at least partially autonomous, which rules out centralized control of the overall system.
The study of communicating systems in the context of mobile robotics brings together different disciplines such as :
- artificial intelligence
- control theory ;
- distributed computing ;
- networks;
Course.
Start programs in python.
Note Examen.
Vous aurez une évaluation écrite d'une heure en salle d'examen.
Vous avez le droit uniquement à vos notes manuscrites.
La calculatrice et autres appareils électroniques sont interdits.
Vous pouvez avoir les anciens sujets d'examen ici : 
Séquencement
Mardi 10 décembre 2024.
Communicating with sockets for control
Using a communication based on sockets Taddéo explain tou how to control a robot moving in a given virtual environment
The control is made from your own laptop
Mardi 7 janvier 2025.
Logic programming
Notions on logic programming are given and some examples are treated with Prolog.
We will use an online version : https://swish.swi-prolog.org/
Mardi 14 janvier 2025, matin.
Dynamic Epistemic Logic
We introduce the basic of Dynamic Epistemic Logic. We will show how communications may
help to solve coordination problems when different robots are moving in the world.
As an application, we will show how to take the control of an autonomous robot
by communicating fake messages.
Mardi 14 janvier 2025, après-midi.
Cryptography
Cryptography studies how to secure communications in the presence of adversarial behavior.
Practical applications of cryptography is needed as soon as robots communicate.
We introduce the notion of one-way function, molular arithmetic and show how it can be used in the context of robotics.
Vendredi 17 janvier, après-midi.
Sparrowhawk
It is a collaborative game where students have to make collaborative communicating stategies
to capture a fast robot. The fast robot is controlled by the server.
Mardi 28 janvier, matin.
Leader election + Zone A or Zone B problem
Mars 2025.
Examen (1h) en salle d'examen
Vous avez le droit à des vos notes uniquement (pas de photocopies, pas d'appareils électronique).
2023-24 :
