Summer Workshop on Interval Methods 2023
27-29 Jun 2023 Angers (France)

Program

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  
  
Online user: 1 Privacy
Loading...