- Home
- →
- Proceedings
- →
- Summer Workshop on Interval Methods 2022
Summer Workshop on Interval Methods 2022
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
Recent Submissions
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]
-
(Hannover : Gottfried Wilhelm Leibniz Universität, 2022)[no abstract available]