Program
| 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 |
|
| 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 |
|
| 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 |
|
|
