Program

https://www.ensta-bretagne.fr/jaulin/swim13_prog.pdf

SLIDES

*******************************************************************************************************************
Day 1

*******************************************************************************************************************


------------------------------------------------------------------------------------------------------------

Experimental Validation of Interval Sliding Mode Observers for Nonlinear Systems with Bounded Measurement and Parameter Uncertainty

Luise Senkel (speaker), Andreas Rauh, and Harald Aschemann

University of Rostock, Rostock, Germany

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Interval Methods for the Implementation of Real-Time Capable Robust Controllers for Solid Oxide Fuel Cell Systems

Andreas Rauh (speaker), Luise Senkel, Ekaterina Auer, Harald Aschemann

University of Rostock, Rostock, Germany

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

An Algorithm Approach for Model Order Reduction of Discrete Time Interval Systems
S. K. Bharadwaj (speaker), D. Kranthi Kumar

Department of Electrical Engineering, MANIT, India.

Abstract

Slides

------------------------------------------------------------------------------------------------------------

Model Order Reduction of Interval Systems for Mixed Methods

D. Kranthi Kumar (speaker), S. K. Nagar.
Department of Electrical Engineering, Indian Institute of Technology (BHU), Varanasi, U.

Abstract

Slides.

Video

------------------------------------------------------------------------------------------------------------

The Lorenz attractor exists

Warwick Tucker

Department of Mathematics, Uppsala University, Sweden

Abstract:

Slides.

------------------------------------------------------------------------------------------------------------

Outer approximation of attractors using an interval quantization
Luc Jaulin

Lab-STICC, IHSEV, OSM, ENSTA-Bretagne, France.

Abstract

Slides

Video 1

Video 2

------------------------------------------------------------------------------------------------------------

Feedback-induced attractors in controlled aeroelastic wing and

their detection via interval analysis
Max Demenkov, Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Numerical reproducibility in HPC: issues in interval arithmetic
Nathalie Revol,
Philippe Théveny,
INRIA, AriC team, LIP, ENS de Lyon, France

Abstract

Slides

------------------------------------------------------------------------------------------------------------

On Implementing the C++ Interval Library libieeep1788
Marco Nehmeier, Institute of Computer Science, University of Wurzburg, Germany

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Current developments in the nonlinear solver SONIC
Elke Just
Applied Computer Science Group, University of Wuppertal, Germany

Abstract

Slides.

Video

------------------------------------------------------------------------------------------------------------

IaTestGen, a unit test generator written in Java for implementations of the upcoming

IEEE P1788 interval arithmetic standard
M.Jedich, M.Nehmeier, A.Dallmann, J. Wol von Gudenberg
Institute of Computer Science, University of Wurzburg, Germany
Abstract

Slides
Video


*******************************************************************************************************************
Day 2

*******************************************************************************************************************

Subsquares Approach - Simple but Efficient Scheme for Solving OILS
Jaroslav Horacek and Milan Hladik
Abstract.

Slides

Video

------------------------------------------------------------------------------------------------------------

Polyhedral relaxations for constraint satisfaction problems
Milan Hladik

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Efficient Solution of a Class of Universally Quantified Constraints
Stefan Ratschan

Institute of Computer Science · Academy of Sciences of the Czech

Abstract.

Slides

Video

------------------------------------------------------------------------------------------------------------

Improving Newton Existence Test

Clément Aubry

IRENav, Ecole Navale, Brest, France.

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

On Continuation Methods for Non-Linear Multi-Objective Optimization
B. Martin, A. Goldsztejn, L. Granvilliers, C. Jermann
Université de Nantes, LINA, France

Abstract

Slides

Video 1

Video 2

------------------------------------------------------------------------------------------------------------

Interval based dynamic simulation in chemical process design
Carlos Perez-Galvan and I. D. L. Bogle
Department of Chemical Engineering, University College London.

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Linear Relaxations in Global Optimization: Combine and Compare Reformulation Methods, Gradient-based Method and Affine Arithmetic.
Jordan Ninin, Lab-STICC, IHSEV, OSM, ENSTA-Bretagne, France.

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Localization confidence domains via set-inversion on short-term trajectory
Vincent Drevelle and Philippe Bonnifait.
Heudiasyc, Université de Technologie de Compiègne, France

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Cooperative localization of underwater robots with unsynchronized clocks.
Authors: Aymeric Bethencourt, ENSTA-Bretagne, LABSTICC
.

Abstract

Slides

Video 1

Video 2

------------------------------------------------------------------------------------------------------------

Phase Based Localization Using Interval Analysis
Mohamed Saad Ibn Seddik

CGG Veritas - ENSTA-Bretagne.

Abstract.

Slides

Video
------------------------------------------------------------------------------------------------------------

*******************************************************************************************************************

Set-membership simultaneous localization and mapping with the interval contractor library IBEX

G. Chabert.

Ecole des mines de Nantes.

Abstract.
Slides

*******************************************************************************************************************
Day 3


Please note that there is NO FEES
for participation to the workshop. But you still need to complete the registration form







Classification of stable maps from a simply connected subset of R2 to R2
Nicolas Delanoue, Sebastien Lagrange, Universite d'Angers, France.

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Determination of Inner and Outer Bounds of Reachable Sets
Francisco C. Rego

Elwin de Weerdt, Eddy van Oort, Erik-Jan van Kampen, Antonio M. Pascoal, QiPing Chu

Engenharia Aeroespacial, Portugal.

Abstract

Slides

Video 1

Video 2

------------------------------------------------------------------------------------------------------------

------------------------------------------------------------------------------------------------------------

Level Sets and Controls in a Two Pursuers One Evader Differential Game
S. Le Ménec, EADS/MBDA, Paris, France

S.A. Ganebny, S.S. Kumkov, , and V.S. Patsko

Institute of Mathematics and Mechanics, Ural Branch of Russian Academy of Sciences,
Ekaterinburg,

Abstract.

Slides

------------------------------------------------------------------------------------------------------------

Improvements on flow/guard intersection for nonlinear hybrid reachability
M. Maiga (1,2), N. Ramdani (1), L. Trave-Massuyes (2)
(1) Université Orléans, PRISME, Bourges, France
(2) LAAS, Toulouse, France

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------

Preview on IOLAVABE - the iSAT-ODE layer around VNODE-LP and bracketing
enclosures - a nonlinear reachability library
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov & Martin Franzl

Carl von Ossietzky Universitat, Oldenburg, Germany,
Université d'Orléans, PRISME, 18020 Bourges, France,
McMaster University, Hamilton, Ontario, Canada,

Abstract

Slides

Video

------------------------------------------------------------------------------------------------------------