Date et lieu
Lundi 17 Septembre 2018 — LIX, Ecole Polytechnique, Palaiseau
Salle: Grace Hopper
Programme
9 h 00 : Accueil Café
9 h 15 – 9 h 30 : Bilan du projet (Eric Goubault)
[slides] (Contient les slides de la démo technique)
9 h 30 – 10 h 05 : Démonstrations logiciels et exposés techniques
Alexandre Chapoutot
A CSP approach with ODE
Marco Biroli et Adina Panchea
A graphical interface for motions planning. Guaranteed motion planners.
[slides]
Benjamin Martin
A tool for Quantified Constraint Programming for the Analysis of dynamical systems.
[slides]
10 h 05 : Pause café / Discussion
10 h 20 – 10 h 40 : Démonstration technique (LIX)
Vers de la vérification embarquée sur Crazyfly
10 h 40 – 11 h 00 : Démonstration technique (ENSTA Paristech, Thibault Toralba)
Tracking visuel pour robot terrestre
[slides]
11 h 00 : Départ pour le lac de polytechnique (pause / discussion)
11 h 10 – 12 h 00 : Démonstration technique (ENSTA Bretagne)
Démonstration de The Brave, voilier autonome qui a remporté la WRSC’18 à Southampton. Vidéo ici.
Vidéo du bateau sur le lac de Polytechnique ici
12 h 00 – 13 h 30 : Repas Club Magnan
13 h 30 – 14 h 00 : Pause café
14 h 00 – 16 h 00 : Présentations (Tavaux courants, travaux futurs)
Luc Jaulin
Titre
A constraint approach for the data association problem with application to underwater localization
Résumé
We consider a state estimation problem in the case where the data association has
to be solved conjointly. This problem occurs in an underwater localization context
in the case where the landmarks (for instance rocks at the bottom of the ocean) are indistinguishable.
We show that a interval constraint programming approach can solve the problem efficiently and rigorously.
[slides]
Benjamin Martin et Adina Panchea
Titre
Controller design and formal verification
Résumé
This brief presentation is about an incoming short project on minding the gap between a controller design, in practice, and its formal verification to fulfill a given task, with an application to the design of specific maneuvers of an autonomous quadrotor.
(La discussion a rappelé les perspectives issues du papier FVAV [slides], et aller vers des modèles de quadrotor présentés le matin)
Joris Tillet et Maël Le Gallic
Titre
Boatbot pour la recherche de la Cordelière
Résumé
Le robot “Boatbot” a été conçu pour la recherche d’épaves enfouies en milieu marin difficile avec des courants, du vent et de la houle. Il tracte un magnétomètre proche le fond afin de construire une carte magnétique et ainsi repérer des pièces métalliques potentiellement enfouies.
Nous décrirons le fonctionnement du robot, ses différents mode opératoires, ses capteurs et ses algorithmes de régulation.
Nous montrerons les expérimentations qui se sont tenues en juin et juillet 2018 en collaboration avec le DRASSM dans le cadre de la recherche de la Cordelière et du Regent.
[slides]
Titre
The Brave, vainqueur de la compétition WRSC’18
Résumé
Présentation de la compétition de voilier robot à la WRSC’18 de Southampton.
[slides]
16 h 00 – 17 h 00 – Cocktail
Précédentes réunions
Réunion du 15 Mars 2018
Réunion du 7 Novembre 2017
Réunion du 22 Juin 2017
Réunion du 28 Mars 2017
Réunion du 24 Novembre 2016
Réunion du 28 Juin 2016