09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
9:00 - 9:20 (20min)
Reception and welcoming coffee (at INRIA / Irisa)
INRIA Salle Markov
9:20 - 9:30 (10min)
Opening
INRIA Salle Markov
9:30 - 11:00 (1h30)
Codac workshop
INRIA Salle Markov
Simon Rohou
https://swim2025.sciencesconf.org/data/program/tuto_swim_2025.pdf 11:00 - 12:00 (1h)
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 (30min)
Moving to Centrale Supelec
Moving from the INRIA building to Centrale Supelec (place for conference talks and lunches)
12:30 - 13:30 (1h)
Lunch
Centrale Supelec restaurant
14:00 - 15:30 (1h30)
Robotics
Centrale Supelec (room 151)
› 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:00-14:30 (30min)
› 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
14:30-15:00 (30min)
› Reliable SLAM in ambiguous environments
- Simon Rohou, ENSTA, Lab-STICC, UMR CNRS 6285, Brest
15:00-15:30 (30min)
15:30 - 16:00 (30min)
Coffee break
Centrale Supelec (room 151)
16:00 - 17:30 (1h30)
Robotics
Centrale Supelec (room 151)
› A discrete Search and Rescue Problem under uncertain interval parameters
- Joël Bougron, U2IS
16:00-16:30 (30min)
› Towards Safe & Spare Robot Navigation: Self-Triggered Control on Invariant Sets
- Florian Pouthier, LS2N
16:30-17:00 (30min)
› ROS2 implementation of an optimal local path planner using Interval B-splines
- Lucas Si Larbi, CEA, ENSTA
17:00-17:30 (30min)
9:00 - 10:30 (1h30)
Numerical methods
Centrale Supelec (room 151)
› Approximation of the inverse of a function near an extremum
- Christophe Jermann, Laboratoire des Sciences du Numérique de Nantes
09:00-09:30 (30min)
› A hybrid algorithm to solve Chebyshev approximation problem with interval certification
- Valentin Guy-Deroubaix, Laboratoire des Sciences du Numérique de Nantes
09:30-10:00 (30min)
10:30 - 11:00 (30min)
Coffee break
Centrale Supelec (room 151)
11:00 - 12:30 (1h30)
Numerical methods
Centrale Supelec (room 151)
› 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:00-11:30 (30min)
› A Study on Linear Regression of Interval-valued Data
- Spyridon Siouras, University of Ioannina - Stavros Adam, University of Ioannina
11:30-12:00 (30min)
12:30 - 13:30 (1h)
Lunch
Centrale Supelec restaurant
16:30 - 18:30 (2h)
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").
https://swim2025.sciencesconf.org/data/program/Going_to_Bretone.jpg 19:00 - 22:00 (3h)
Dinner
Crêperie La Rozell, 14 rue de Penhoet (city centre)
9:00 - 10:30 (1h30)
Estimation
Centrale Supelec (room 151)
› The Theorem of Ehlich and Zeller to Develop Polytopic Models for Set-Based Observers
- Andreas Rauh, Carl-von-Ossietzky Universität, Oldenburg
09:00-09:30 (30min)
› Polytope-Based Interval State Estimation for an Electrochemical Model of a Lithium-Ion Battery
- Wissam KHENNOUNE, CNAM Paris
09:30-10:00 (30min)
› Assessment of the Accuracy of Interval Observers by a Zonotopic Approach
- Andreas Rauh, Carl-von-Ossietzky Universität, Oldenburg
10:00-10:30 (30min)
10:30 - 11:00 (30min)
Coffee break
Centrale Supelec (room 151)
11:00 - 12:10 (1h10)
Robotics
Centrale Supelec (room 151)
› Parking Spot Tracking using Interval Methods
- Fabrice Le Bars, École Nationale Supérieure de Techniques Avancées
11:00-11:30 (30min)
› Ultra-wideband Sensor Based Robust Model Predictive Control
- Théo Le Terrier, Univ Rennes, CNRS, Inria, IRISA
11:30-12:00 (30min)
12:10 - 12:30 (20min)
Closing
Centrale Supelec (room 151)
12:30 - 13:30 (1h)
Lunch
Centrale Supelec restaurant
14:00 - 16:00 (2h)
Assistive robotics bootcamp visit
Visit of the RAINBOW assistive robotics bootcamp, with robots (wheelchairs, exoskeleton) and experiments.
