Programme
Time |
Event |
(+)
|
09:00 - 09:20
|
Reception and welcoming coffee (at INRIA / Irisa) (INRIA Salle Markov) |
|
09:20 - 09:30
|
Opening (INRIA Salle Markov) |
|
09:30 - 11:00
|
Codac workshop (INRIA Salle Markov) - Simon Rohou |
|
11:00 - 12:00
|
Visit of the ROBSTAR robotics platform - Visit of the ROBSTAR robotics platform of the Inria/IRISA RAINBOW team. Demonstrations of robots and drones. |
|
12:00 - 12:30
|
Moving to Centrale Supelec - Moving from the INRIA building to Centrale Supelec (place for conference talks and lunches) |
|
12:30 - 13:30
|
Lunch (Centrale Supelec restaurant) |
|
14:00 - 15:30
|
Robotics (Centrale Supelec (room 151)) |
(+)
|
14:00 - 14:30 |
› Inner and outer approximation of the workspace of a robotic arm - Maël GODARD, École Nationale Supérieure de Techniques Avancées, Lab-STICC |
|
14:30 - 15:00 |
› EgoNav: A Reliable, Interval-based Egocentric Navigation and Obstacle Avoidance Approach for Autonomous Marine Vehicles - Quentin Brateau, École Nationale Supérieure de Techniques Avancées Bretagne |
|
15:00 - 15:30 |
› Reliable SLAM in ambiguous environments - Simon Rohou, ENSTA, Lab-STICC, UMR CNRS 6285, Brest |
|
15:30 - 16:00
|
Coffee break (Centrale Supelec (room 151)) |
|
16:00 - 17:30
|
Robotics (Centrale Supelec (room 151)) |
(+)
|
16:00 - 16:30 |
› A discrete Search and Rescue Problem under uncertain interval parameters - Joël Bougron, U2IS |
|
16:30 - 17:00 |
› Towards Safe & Spare Robot Navigation: Self-Triggered Control on Invariant Sets - Florian Pouthier, LS2N |
|
17:00 - 17:30 |
› ROS2 implementation of an optimal local path planner using Interval B-splines - Lucas Si Larbi, CEA, ENSTA |
|
Time |
Event |
(+)
|
09:00 - 10:30
|
Numerical methods (Centrale Supelec (room 151)) |
(+)
|
09:00 - 09:30 |
› Approximation of the inverse of a function near an extremum - Christophe Jermann, Laboratoire des Sciences du Numérique de Nantes |
|
09:30 - 10:00 |
› A hybrid algorithm to solve Chebyshev approximation problem with interval certification - Valentin Guy-Deroubaix, Laboratoire des Sciences du Numérique de Nantes |
|
10:00 - 10:30 |
› Matryoshka arithmetic - Arnaud Minondo, CNRS, LIX |
|
10:30 - 11:00
|
Coffee break (Centrale Supelec (room 151)) |
|
11:00 - 12:30
|
Numerical methods (Centrale Supelec (room 151)) |
(+)
|
11:00 - 11:30 |
› Floating-point Formats and Numerical Accuracy for the Training Phase in Machine Learning - Nathalie Revol, Arithmétique des ordinateurs, calcul formel et vérification formelle |
|
11:30 - 12:00 |
› A Study on Linear Regression of Interval-valued Data - Spyridon Siouras, University of Ioannina - Stavros Adam, University of Ioannina |
|
12:00 - 12:30 |
› Interval Integration of Triangular Systems - Luc Jaulin, Lab-STICC |
|
12:30 - 13:30
|
Lunch (Centrale Supelec restaurant) |
|
16:30 - 18:30
|
Visit of Rennes - A guided tour of the historic city center of Rennes, with a focus on the works of the Odorico mosaicists family.
The meeting point is in front of crêperie Bretone, 7 rue Joseph Sauveur.
Access by metro B "Saint Germain" or bus C4/C6 "Musée Beaux Arts" (or métro A "République"). |
|
19:00 - 22:00
|
Dinner (Crêperie La Rozell, 14 rue de Penhoet (city centre)) |
|
Time |
Event |
(+)
|
09:00 - 10:30
|
Estimation (Centrale Supelec (room 151)) |
(+)
|
09:00 - 09:30 |
› The Theorem of Ehlich and Zeller to Develop Polytopic Models for Set-Based Observers - Andreas Rauh, Carl-von-Ossietzky Universität, Oldenburg |
|
09:30 - 10:00 |
› Polytope-Based Interval State Estimation for an Electrochemical Model of a Lithium-Ion Battery - Wissam KHENNOUNE, CNAM Paris |
|
10:00 - 10:30 |
› Assessment of the Accuracy of Interval Observers by a Zonotopic Approach - Andreas Rauh, Carl-von-Ossietzky Universität, Oldenburg |
|
10:30 - 11:00
|
Coffee break (Centrale Supelec (room 151)) |
|
11:00 - 12:10
|
Robotics (Centrale Supelec (room 151)) |
(+)
|
11:00 - 11:30 |
› Parking Spot Tracking using Interval Methods - Fabrice Le Bars, École Nationale Supérieure de Techniques Avancées |
|
11:30 - 12:00 |
› Ultra-wideband Sensor Based Robust Model Predictive Control - Théo Le Terrier, Univ Rennes, CNRS, Inria, IRISA |
|
12:10 - 12:30
|
Closing (Centrale Supelec (room 151)) |
|
12:30 - 13:30
|
Lunch (Centrale Supelec restaurant) |
|
14:00 - 16:00
|
Assistive robotics bootcamp visit - Visit of the RAINBOW assistive robotics bootcamp, with robots (wheelchairs, exoskeleton) and experiments. |
|
|