|
Tuesday, June 27, 2023
| Time | Event | (+) |
| 09:00 - 09:50 | Reception - Welcome coffee - SWIM 2023 - Welcome coffee - SWIM 2023 | |
| 09:50 - 10:00 | Introduction - Sébastien Lahaye | |
| 10:00 - 11:00 | Plenary | (+) |
| 10:00 - 11:00 | › Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application - Andreas Rauh, Carl von Ossitzeky Universität Oldenburg | |
| 11:00 - 12:00 | Parameter Identification | (+) |
| 11:00 - 11:30 | › Interval-based Exhaustive 2D Rigid Registration with Uniform Scaling - Verlein Radwan, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier | |
| 11:30 - 12:00 | › Interval Methods for the GPU - Lorenz Gillner, University of Applied Sciences Wismar | |
| 12:00 - 14:00 | Lunch | |
| 14:00 - 15:30 | Robotics | (+) |
| 14:00 - 14:30 | › Acceleration of contractor algebra on RISCV in the context of mobile robotic - Pierre Filiol, ensta bretagne | |
| 14:30 - 15:00 | › Hybrid Interval-Probabilistic Localization in Urban Environments - Aaronkumar Ehambram, Leibniz Universität Hannover, Institute for Systems Engineering, Real-Time Systems Group | |
| 15:00 - 15:30 | › Union of adjacent contractors - Quentin Brateau, École Nationale Supérieure de Techniques Avancées Bretagne | |
| 15:30 - 16:00 | Coffee break | |
| 16:00 - 17:00 | Robotics | (+) |
| 16:00 - 16:30 | › Manifold decomposition for interval analysis - Arthur Ignazi, Polytech Angers | |
| 16:30 - 17:00 | › Brunovsky decomposition for dynamic interval localization - Simon Rohou, Laboratoire des sciences et techniques de línformation, de la communication et de la connaissance |
Wednesday, June 28, 2023
| Time | Event | (+) |
| 09:00 - 09:30 | Reception - Welcome coffee - SWIM 2023 | |
| 09:30 - 10:30 | Plenary | (+) |
| 09:30 - 10:30 | › A contractor which is minimal for narrow boxes - Luc Jaulin, Equipe ROBotics for EXploration | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 12:30 | Reliable Software Design | (+) |
| 11:00 - 11:30 | › Possible preliminary test for the optimality condition in Interval Branch and Bound method - Gencsi Mihály, University of Szeged [Szeged] | |
| 11:30 - 12:00 | › Sparse tensors and subdivision methods for finding the zero set of polynomials - Guillaume Moroz, INRIA Nancy-Grand-Est, Project Vegas | |
| 12:00 - 12:30 | › A new type of intervals for solving problems involving partially defined functions - Nathalie Revol, AriC | |
| 12:30 - 14:00 | Lunch | |
| 14:00 - 15:30 | Mathematics | (+) |
| 14:00 - 14:30 | › Interval-Based Uncertainty Propagation for Multimodal Response Functions - Stavros Adam, University of Ioannina | |
| 14:30 - 15:00 | › Numerical Scheme of Generalised Moment Problem Based on Interval Analysis - Diallo Algassimou, Laboratoire Angevin de Recherche en Ingénierie des Systèmes | |
| 15:00 - 15:30 | › Explaining neural classifiers decisions: A parameter estimation problem solved using intervals - Stavros Adam, University of Ioannina | |
| 15:30 - 16:00 | Coffee break | |
| 16:00 - 17:00 | State Estimation | (+) |
| 16:00 - 16:30 | › State-Estimation of Uncertain Timed Event Graphs : an SMT approach - GUILHERME ESPINDOLA WINCK, Laboratoire Angevin de Recherche en Ingénierie des Systèmes | |
| 16:30 - 17:00 | › Interval Observer Design for State Estimation of Lithium-Ion Batteries - Marit Lahme, Carl-von-Ossietzky Universität, Oldenburg |
Thursday, June 29, 2023
| Time | Event | (+) |
| 08:30 - 09:00 | Reception - Welcome coffee | |
| 09:00 - 10:30 | Verified Solution of Algebraic and Dynamic System Models | (+) |
| 09:00 - 09:30 | › Propagation of degenerate ellipsoids towards computer-assisted proofs - Morgan Louédec, Laboratoire des sciences et techniques de línformation, de la communication et de la connaissance | |
| 09:30 - 10:00 | › Set-Based Simulation Approaches for the Numerical Analysis of Dynamic Spiking Neuron Models - Andreas Rauh, Carl von Ossitzeky Universität Oldenburg | |
| 10:00 - 10:30 | › Computing invariants for discrete-time dynamical systems using polynomial zonotopes - Nathan Chiche, Laboratoire dínformatique de l\'École polytechnique [Palaiseau] | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 12:00 | Mathematics | (+) |
| 11:00 - 11:30 | › Number of connected components using interval analisys - Hugo Rémin, Laboratoire Angevin de Recherche en Ingénierie des Systèmes | |
| 11:30 - 12:00 | › Imprecise Bayesian Neural Networks - Michele Caprio, University of Pennsylvania | |
| 12:00 - 12:10 | Conclusion - Sébastien Lahaye |
|
|