Program

Time	Title	Presenter
9:00	Welcome Address	Steffen Schön
9:15	Plenary Lecture: Testing interval arithmetic libraries	Nathalie Revol
10:15	Coffee Break
	Session 1: Mathematical Tools and Software
10:45	The Codac library	Simon Rohou
11:15	A new type of intervals for solving problems involving partially defined functions	Luc Jaulin
11:45	Differential Inclusion using Matrix Exponential	Damien Massé
12:15	Lunchbreak
	Session 2: Fault Tolerant Systems and Identification
13:45	Fault Detection in Networked Control Systems. A Robust Approach	Carlos Eduardo Valero
14:15	Online Identification of the Open-Circuit Voltage of Lithium-Ion Batteries with the Use of Interval Methods	Marit Lahme
14:45	Rigorous bounds on the failure probability with the SIVIA algorithm	Marco de Angelis
15:15	Coffee Break
15:45	Social Program

Time	Titel	Presenter
9:00	Plenary Lecture Efficient engineering analysis with imprecise probabilities	Michael Beer
10:00	Coffee Break
	Session 3: Methods with Result Verification 1
10:30	A constraint programming approach for polytopic simulation of ordinary differential equations - a collision detection application	Julien Alexandre dit Sandretto
11:00	Symmetries for Interval Analysis	Luc Jaulin
11:30	Lie symmetries applied to guaranteed integration: application to mobile robotics localisation	Julien Damers
12:00	Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation	Martin Fränzle
12:30	Lunchbreak
	Session 4: Methods with Result Verification 2
14:00	Higher-Order Methods for Differential Inclusions	Pieter Collins
14:30	Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle	Jonathan Wunderlich
15:00	Uses of Methods with Result Verification in the Context of MIMO Systems	Ekaterina Auer
15:30	Eigenvalues enclosures of skew symmetric/Hermitian matrices having bounded uncertainty	Suman Maiti
16:00	Coffee Break
	Session 5: Interval Methods for Localization 1
16:30	Robust 3D target localization using UAVs with state uncertainty	Maxime ZAGAR
17:00	A Geometric Approach to the Coverage Measure of the Area Explored by a Robot	Maria Luiza Costa Vianna
17:30	Sea route monitoring by weather buoys using interval analysis	Quentin Brateau

Time	Titel	Presenter
	Session 6: Interval Methods for Localization 2
9:00	How to determine uncertainty interval: Practice in GNSS and LiDAR localisation	Jingyao Su
9:30	An investigation of interval and set-based uncertainty representation for GNSS navigation	Steffen Schön
10:00	Interval-based Global Localization in Building Maps	Aaronkumar Ehambram
10:30	Coffee Break
	Session 7: Robust Control and State Estimation
11:00	High-gain interval observer for continuous-discrete time systems : Application to a quadcopter	Antoine Hugo
11:30	Stabilizing Controller Design Using an Iterative LMIs Approach for Quadrotors	Oussama Benzinane
12:00	Validated Model Predictive Control based on Exponential Enclosures	Andreas Rauh

Last Change: 21.07.22 Print