ENSTA Bretagne : recherche en sciences et technologie de l'information et de la communication
Simon Rohou

SWIM 2013: 6th Small Workshop on Interval Methods

Research
Information and Communication Sciences and Technologies
du
au

About SWIM

The goal of SWIM is to bring together researchers and practitioners working on interval methods and their applications, in the broader sense, providing a forum to review and discuss the state-of-the-art in this area and fostering cross-fertilization between different approaches.

The SWIM 2013 workshop is intended to build on the success of previous editions, held in Montpellier in 2008, Lausanne in 2009, Nantes in 2010, and Bourges in 2011, Odenburg in 2012, which was initiated by the french MEA working group on Set Computation and Interval Techniques of the French research group on Automatic Control GDR MACS. The MEA group aims at promoting interval analysis, constraint propagation and other set methods to apply them in estimation, robotics, control, planning, design, verification, computer aided proof, and other engineering, computer science and applied mathematics areas.

During previous editions of SWIM, talks were given by speakers coming from several countries among which are Brazil, Canada, France, Germany, Poland, Spain, and Switzerland. The participants could discuss their most recent ideas and developments and thought together about the most promising new directions.

The presentation slides are published online.

Learn more about Swim 2013
Call for presentation

If you want to present a talk addressing the theory of interval-related methods or their applications, please send a one page abstract (with title, authors, and affiliation) to luc.jaulin@ensta-bretagne.fr, nacim.ramdani@univ-orleans.fr, annick.billon-coat@ensta-bretagne.fr no later than May 7th. 

To help us for the organization, as soon as you can, please 
(i) send us your abstract, or
(ii) tell us that you plan to make a presentation but your abstract will be sent later, or 
(iii) tell us that you are planning to come without any presentation. 
All presentations and slides have to be in English.

Fee

The workshop is free, but you will have to pay your own meals (5 euros if you eat inside the school). We got some funds to pay some coffees and one meal in a restaurant.There is a possibility to have a room at ENSTA-Bretagne 11 euros (with the breakfast). The number of rooms is limited to 30, so please, make your reservation as soon as possible

Tentative program (Now available)

Invited Speaker

The invited speaker will be Warwick Tucker. See his website.

Department of Mathematics, Uppsala University, Sweden
Abstract

Before coming to the talk of Warwick Tucker, we strongly recommend you the introduction movie extracted from CHAO, available at

http://www.chaos-math.org/en/chaos-vii-strange-attractors

CAPA - Computer Aided Proof in Analysis

Professional Biography
After receiving his doctoral degree in mathematics at Uppsala University 
in 1998, proving that the Lorenz attractor exists, Tucker spent two years at IMPA (Rio de Janeiro, Brasil) as a postdoctoral fellow.

During the years 2000 to 2002, Tucker held a H.C. Wang assistant professorship at Cornell University (Ithaca, USA) teaching and doing research in mathematics. During this period, Tucker was awarded the Swedish Mathematical Society's Wallenberg Prize, and the R.E. Moore Prize for Applications of Interval Analysis.

Upon his return to Sweden, Tucker was awarded a five-year research fellowship from the Swedish Royal Academy of Sciences.

In 2004, Tucker was awarded the European Mathematical Society's Prize for distinguished contributions in Mathematics.

In 2007, Tucker formed the CAPA group at the University of Bergen (Bergen, Norway). In 2009, the group moved to its current location at Uppsala University.

Tucker was promoted to full professor in 2011.

Organization and Contact

SWIM 2013 is organized by Luc JaulinNacim Ramdani and Annick Billon-Coat.

Luc JAULIN, ENSTA Bretagne
Website
luc.jaulin@ensta-bretagne.fr

Nacim RAMDANI, Université d'Orléans
Website
nacim.ramdani@univ-orleans.fr

Conférence Secrétariat
Annick BILLON-COAT
+33(0)2 98 34 87 40
annick.billon-coat@ensta-bretagne.fr

SWIM 2013 is hosted by ENSTA-Bretagne.

Room, Wifi, ...

Room on the Campus
You can book a room on the Campus (100 meters to the workshop)
Price of the stay by night : 11 €
When you arrive at ENSTA, you have a guardian.
There, you ask for your room and he will give you the keys.
You need to bring your towel, soap, ...
Hopefully bed sheets are provided.
In case of problem, you can call me: +33 (0)6 82 99 00 41.

Pick up at the airport:
Tuesday, june 4, 
11: 30. Francisco Rego. Validated.
16:50 : Stefan Ratschan. Validated.
Milan Hladík. Validated.
Jarda Horacek. Validated. 

Drop at the airport.
Friday 17h35. Francisco Rego. Validated.

Wifi
Procedure to be connected by Wifi during the workshop 
 



 

Abstracts and 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

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