SWIM 2013

————————————————————————————————————

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

————————————————————————————————————

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.

————————————————————————————————————

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.

Slides.

————————————————————————————————————

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

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

————————————————————————————————————

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

————————————————————————————————————

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

————————————————————————————————————

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

Slides.

————————————————————————————————————

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.

————————————————————————————————————

Polyhedral relaxations for constraint satisfaction problems
Milan Hladik

————————————————————————————————————

Efficient Solution of a Class of Universally Quantified Constraints
Stefan Ratschan

Institute of Computer Science · Academy of Sciences of the Czech

Abstract.

————————————————————————————————————

Improving Newton Existence Test

Clément Aubry

IRENav, Ecole Navale, Brest, France.

————————————————————————————————————

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

Abstract

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.

————————————————————————————————————

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

————————————————————————————————————

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

Abstract

————————————————————————————————————

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

————————————————————————————————————

Phase Based Localization Using Interval Analysis
Mohamed Saad Ibn Seddik

CGG Veritas – ENSTA-Bretagne.

Abstract.

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.

————————————————————————————————————

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.

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.

————————————————————————————————————

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

————————————————————————————————————

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,