Summer Workshop on Interval Methods 2022
Permanent URI for this collection
The SWIM workshop aims at gathering researchers working on or with interval methods and their applications. The workshop series was initiated by the French MEA working group on Set Computation and Interval Techniques of the French research group on Automatic Control GDR MACS, where the MEA group especially aimed at promoting interval analysis techniques and applications to a broader community of researchers. Since 2008, SWIM has become an annual keystone event for researchers dealing with various aspects of interval and set-membership methods.
SWIM 2022 was held at the Leibniz University Hannover on July 19 - 21, 2022.
Inhaltsverzeichnis
Plenary Lectures
Testing interval arithmetic libraries
Nathalie Revol, Luis Benet Fernández, Luca Ferranti, Sergei Zhilin
Efficient engineering analysis with imprecise probabilities
Michael Beer, Matteo Broggi, Matthias G.R. Faes, Marcos A. Valdebenito, Pengfei Wie
Session: Mathematical Tools and Software
The Codac library
Simon Rohou
A new type of intervals for solving problems involving partially defined functions
Pierre Filiol, Théotime Bollengier, Luc Jaulin, Jean-Christophe Le Lann
Differential Inclusion using Matrix Exponential
Damien Massé
Session: Fault Tolerant Systems and Identification
Fault Detection in Networked Control Systems. A Robust Approach
Carlos E. Valero, Radoslav Paulen
Online Identification of the Open-Circuit Voltage of Lithium-Ion Batteries with the Use of Interval Methods
Marit Lahme, Andreas Rauh
Rigorous bounds on the failure probability with the SIVIA algorithm
Marco de Angelis
Session: Methods with Result Verification
A constraint programming approach for polytopic simulation of ordinary differential equations - a collision detection application
Julien Alexandre dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
Symmetries for Interval Analysis
Luc Jaulin
Lie symmetries applied to guaranteed integration: application to mobile robotics localisation
Julien Damers, Luc Jaulin, Simon Rohou
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
Martin Fränzle
Higher-Order Methods for Differential Inclusions
Pieter Collins, Luca Geretti, Tiziano Villa, Sanja Zivanovic Gonzalez
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle
Jonathan Wunderlich
Uses of Methods with Result Verification in the Context of MIMO Systems
Ekaterina Auer, Andreas Ahrens
Eigenvalues enclosures of skew symmetric/Hermitian matrices having bounded uncertainty
Suman Maiti, Snehashish Chakraverty
Session: Interval Methods for Localization
Robust 3D target localization using UAVs with state uncertainty
M. Zagar, M. Kieffer, H. Piet-Lahanier, L. Meyer
A Geometric Approach to the Coverage Measure of the Area Explored by a Robot
Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot
Sea route monitoring by weather buoys using interval analysis
Quentin Brateau, Luc Jaulin
How to determine uncertainty interval: Practice in GNSS and LiDAR localisation
Jingyao Su
An investigation of interval and set-based uncertainty representation for GNSS navigation
Jingyao Su, Steffen Schön
Interval-based Global Localization in Building Maps
Aaronkumar Ehambram, Luc Jaulin, Bernardo Wagner
Session: Robust Control and State Estimation
High-gain interval observer for continuousdiscrete time systems : Application to a quadcopter
Antoine Hugo, Rihab El Houda Thabet, Luc Meyer, Sofiane Ahmed Ali, Hélène Piet-Lahanier, Felipe Kataoka Ishikawa
Stabilizing Controller Design Using an Iterative LMIs Approach for Quadrotors
Oussama Benzinane, Andreas Rauh
Validated Model Predictive Control based on Exponential Enclosures
Mohamed Fnadi, Andreas Rauh