Summer Workshop on Interval Methods 2025

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)

Programme