01 PlanCoursHistoMath
01 PlanCoursHistoMath
01 PlanCoursHistoMath
Automne 2019
Pourquoi êtes-vous ici?
• Parce que les autres cours disponibles
m’intéressent moins ?
• Par intérêt personnel (cours à option) ?
• Pour me préparer à design III ?
• Maitrise IA professionnel ?
• Pour faire carrière dans le domaine ?
• Pour poursuivre des études dans le domaine ?
78%
68%
58%
48%
remise
23h55
0%
remise +
1jour
8
Politique sur le plagiat
• Veuillez en prendre connaissance
odométrie
(11.7 impuls./mm)
télémètre infrarouge
scanneur
laser 2D 2x Kinect
10
Laboratoires du vendredi
• ~9 séances d’expérimentations
– familiariser avec les capteurs et le robot
– application concrète et visible des algorithmes
• 14 robots
• Vendredi 8h30-10h20 ou 10h30 à 12h20
– selon votre inscription
• Instructeur: Maxime Vaidis
• Premier laboratoire: 13 septembre
11
3 facettes
(1) Boîte à outils des connaissances,
technologies et algorithmes utilisés en
robotique mobile
algorithmes
(2) Développer une compréhension verticale
capteurs actionn. et holistique d’un système robotisé
environnement
(3) Expérimenter!
on construit 60 millions
GLO-4001/7021 Introduction à la robotique mobile voiture par an… 13
Pourquoi la robotique mobile?
• Waymo (Google) • nuTonomy
• Zoox • Argo AI
• Tesla • AutoX
• Uber ATG • Cruise Automation
• Nissan • Lyft
• Toyota Research Institute • NIO
• Bosch R&D (Palo Alto) • et +…
• Groupe Volkswagen (Audi)
• Ford
15
Pourquoi la robotique mobile?
• Endroits dangereux pour les humains
– Centrales nucléaires Fukushima en 2011
Sojourner
(1997)
Curiosity (2012)
Spirit + Oportunity
(2003) 19
Pourquoi la robotique mobile?
• Entretient ménager
d’Husqvarna
Automower
LawnBott
GLO-4001/7021 Introduction à la robotique mobile 20
À quand la certification des V.A.?
• Taux de mortalité : 1.09 / 100 millions miles
• Pour démontrer fiabilité d’un V.A.
– conduire environ 8.8 milliards de miles
– Pour 100 V.A., 24h/365j @25 m/h: 400 ans!
Beaucoup de Certification
V.A. sur la route des V.A.
23
Boucle sense-think-act
Abstrait intelligence
(algo)
Réalité
• batteries
• communication (radio)
GLO-4001/7021 Introduction à la robotique mobile 24
Tout est étroitement imbriqué
• Bons capteurs ($)
– facile d’interpréter l’information (perception)
– algorithmes traitement moins poussés
– e.g. caméra 3D Kinect vs. 1 caméra RGB
• Bons actionneurs/design mécanique
– « intelligence mécanique »
– réduit les besoins en capteurs et intelligence
RHex
25
Expérimentation en robotique
• Permet de voir si la théorie tient la route!
– Nos approximation sont-elles valides?
– Est-ce que nos modèles (capteurs) sont valides?
– L’algorithme est-il robuste?
– A-t-on pensé à tout?
– Qu’en est-il des changements de lieu d’opération,
d’éclairage, de température, sol, météo, etc.
– « when the rubber meets the road »
En théorie, il n’y a pas de différence entre la théorie
et la pratique, mais en pratique, il y en a une.
GLO-4001/7021 Introduction à la robotique mobile 26
Robotique vs. Robotique Mobile
• Travail dans un espace beaucoup plus grand
– quelques m3 pour un bras robotisé vs. plusieurs
millions de m3 pour un véhicule routier autonome
• Beaucoup plus d’inattendus
– environnements non-contrôlés
– distributions à longue traîne
Aller de A à B
monde W
A
B
Où suis-je?
Xt ?
• A: En me basant sur mes commandes u?
• B: En me basant sur un capteur? deux capteurs?
dix capteurs? Les plus fiables seulement?
(fusion d’information)
• En combinant A et B?
31
Sous-problème 2
Comment me déplacer?
• Plusieurs designs mécaniques possibles
• Roues, pattes, chenilles, ailes, hélices
• Quelles sont les modèles (équations) de
déplacement selon les commandes u?
32
Sous-problème 3
Carte du monde
• Comment représenter le monde W? (problème universel
de la représentation de la connaissance en IA)
38
Sous-problème 6
Comment construire une carte?
• SLAM : Simultaneous Localization and Mapping
Pose
X
pour pour
estimer la créer
pose la carte
carte
m
39
Sous-problème 7
Suis-je déjà passé par là?
• Pour ne pas dupliquer les lieux dans la carte
• Fermeture de boucle pour SLAM
• Reconnaissance de lieux (par vision)
“Corn maze”
Mesures z actionneurs
capteurs
41
Approche traditionnelle vs. Deep
Modèles Agent autonome
dynamiques
Estimateur (traditionnel)
d’état
Capteurs
Détecteur Planificateur Contrôleur Actionneurs
objets
Agent end-to-end
(Deep learning)
Capteurs Réseau de neurones Actionneurs
Difficile de débugger/vérifier/certifier
une approche non-modulaire! 42
Paradoxe de Moravec
• Raisonnement de haut niveau est plus facile à reproduire
dans un robot que les aptitudes sensorimotrices
• Selon Moravec, l’évolution explique ce paradoxe
• Tâches sensorimotrices
– perfectionnées durant des millions d'années (œil: 400M ans)
– co-évolution sens, muscles, système nerveux
• Facultés de raisonnement
– apparues très récemment sur le plan biologique
– ne se sont pas encore aussi perfectionnées
Ce qui vous semble simple est
souvent difficile pour un robot
43
https://en.wikipedia.org/wiki/Moravec%27s_paradox
Paradoxe de Moravec
45
Gestion de l’incertitude : probabilités
• Changement de paradigme : stochastique
déterministe (en partie aléatoire)
représentation
Variable aléatoire X
Variable x
p(x)
float x;
x
float x, sx;
47
Outils mathématiques
ON
Et
Non
Moi-même
derrière
mes
sur
NE
non
mon
TOUCHE
outils,
mais
mon
j'y
établi,
c'est
ai
char,
c'est
PAS
jamais
ysacré.
parce
j'ai
aÀmesMES
mon
touché.
que
outils.
OUTILS!
établi.
moi dans
mon garage,
« …Et su mon établi, y a MES outils. Et ça, mes outils, c'est sacré. O.K.
là? Bon. ON TOUCHE PAS À MES OUTILS! Moé-même j'y ai jamais touché. »
Yvon Deschamps, « Les adolescents » 48
Exemple d’application des outils math.
• Objet en chute libre, départ à hauteur h0 et angle q0, mesures bruitées
(V) de distance l via capteur infrarouge, vitesse angulaire w (rad/s) via
gyroscope. Cherche la hauteur h(t) et l’angle q(t).
Probabilités : Filtre Kalman Étendu
1 2
1 T
Algèbre linéaire :
T
x(k 1) x(k ) 2 g
0 1
T Intégrale : h(t ) accélération
capteur de
distance
h
Trigo : l = r
cos(q )
q
g=9.8 m/s²
l h
Mesure
z
(Projet de 2013) 49
Contenu du cours
51
Contenu (1)
• Introduction et historique
algorithmes
paramètres
modélisation probabiliste
principe de fonctionnement
des capteurs + déplacements
59
Historique
60
Talos : 400 av. J.-C.
• Homme géant de bronze
• 3 tours/jours
• Côte de Crète :1 046 km
• Vitesse moyenne: 130 Km/h
61
Héron d’Alexandrie 10-70 ap. J.-C.
tube pneumatique
•Ingénieur et mathématicien grec
•Traité des automates Αυτόματα
•Un des premiers capteurs: l’odomètre
L'éolipyle
« boule d’Éole »
automate programmable
64
Automates “modernes”
« Canard Digérateur » de
Jacques de Vaucanson « Le turc mécanique », 1770
1793 Gagnant contre Napoléon
Bonaparte, Benjamin Franklin,
Catherine de Russie
GLO-4001/7021 Introduction à la robotique mobile 65
Automates “modernes”
« Canard Digérateur » de
Jacques de Vaucanson « Le turc mécanique », 1770
1793 Supercherie découverte en 1820
seulement!
69
Invention du terme “Robot” (1923)
• “Rossum's Universal Robots” par Karel Čapek.
• Tchèque robota travail forcé
autopilote capteur
actionneur
GLO-4001/7021 Introduction à la robotique mobile 71
Robots mobiles (1950)
• La Tortue (turtoise) de Walter
75
Stanford Cart (1973-1979)
– Développé par Hans Moravec
– Évaluation automatique de la
distance vers les obstacles
réseau
neurones
30x32
image Video Input
Retina
83
DARPA Grand Challenge (2004)
• But: conduite
autonome dans le
désert sur trajet de
240 km
– Prix: 1 million $
– Meilleure équipe :
11.8 km!
Aurora
GLO-4001/7021 Introduction à la robotique mobile 86
« Google Car » (2010)
87
Ford aussi… (13 déc. 2013)
http://www.motorauthority.com/news/1089080_ford-testing-autonomous-
driving-with-fusion-hybrid-research-vehicle
GLO-4001/7021 Introduction à la robotique mobile 88
2015 Darpa Robotics Challenge (DRC)
• 1. Drive a utility vehicle at the site. • 5. Climb an industrial
• 2. Travel dismounted across rubble. ladder and traverse an
• 3. Remove debris blocking an entryway. industrial walkway.
• 4. Open a door and enter a building. • 6. Use a tool to break
through a concrete panel.
• 7. Locate and close a valve
near a leaking pipe.
• 8. Connect a fire hose to a
standpipe and turn on a
valve.
neurones profonds
convolutifs (CNN)
250,000 paramètres
Apprentissage
http://images.nvidia.com/content/tegra/automotive/images/
2016/solutions/pdf/end-to-end-dl-using-px.pdf 3 caméras 90
Nvidia end-to-end learning (2016)
Curiosity
Spirit+Oportunity (2012)
(2003)
Sojourner
(1997)
Exploration Mars
MER (2003) Mars Exploration Rover
• Vitesse : 50 mm/s
• Distance totale: 22 mars juin
2010 2018
– Spirit : 7,7 km.
– Opportunity : 45,16 km.
• Processeur
– RAD 6000 (RISC 32 Bits, 20 MIPS)
– 128 Mo i386 – i486
• Vitesse : 25 mm/s
• Processeur PowerPC
– RAD750 (200 MHz, 266 MIPS)
– 256 Mo Processeurs peu puissants :
algorithmes efficaces!