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
1- Send us your abstract, or
2- tell us that you plan to make a presentation but your abstract will be sent later, or
3- 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
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 Jaulin, Nacim 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
------------------------------------------------------------------------------------------------------------
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.
------------------------------------------------------------------------------------------------------------
The Lorenz attractor exists
Warwick Tucker
Department of Mathematics, Uppsala University, Sweden
------------------------------------------------------------------------------------------------------------
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
------------------------------------------------------------------------------------------------------------
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
------------------------------------------------------------------------------------------------------------
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
day 2
Subsquares Approach - Simple but Efficient Scheme for Solving OILS
Jaroslav Horacek and Milan Hladik
------------------------------------------------------------------------------------------------------------
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
------------------------------------------------------------------------------------------------------------
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
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.
------------------------------------------------------------------------------------------------------------
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.
------------------------------------------------------------------------------------------------------------
Localization confidence domains via set-inversion on short-term trajectory
Vincent Drevelle and Philippe Bonnifait.
Heudiasyc, Université de Technologie de Compiègne, France
------------------------------------------------------------------------------------------------------------
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.
day 3
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.
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,
------------------------------------------------------------------------------------------------------------
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
------------------------------------------------------------------------------------------------------------
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,
