SWIM 2012: Small Workshop on Interval Methods, 4-6 June 2012, Carl von Ossietzky Universität Oldenburg, Germany

SWIM 2013 will take place at ENSTA Bretagne, Brest, France
Oldenburg

About SWIM

The goal of SWIM 2012 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 2012 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, 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 and can be found in the workshop program below (just click on the title to unfold the abstract and view attached files).

Complete list of participants.

Call for Presentations and Participation

If you want to present a talk addressing the theory of interval-related methods or their application in any area, please send a one page abstract (with title, authors, and affiliation) to [---], no later than April 30th (extended deadline) May 7th, 2012.

If you simply plan to attend the workshop, please just send us an [email] with your name and affiliation, preferably before May 28th, 2012.

Alternatively, you can also use the [registration form] to submit your registration and an abstract.

Program

Monday, 2012-06-04

12:30 -- 13:00: Arrival & Registration

13:00 -- 13:15: Opening

Session: State Estimation

13:15 -- 13:50: Jan Sliwka: Sea glider navigation around a circle using distance measurements to a drifting acoustic source

13:50 -- 14:25: Vu Tuan Hieu Le: Guaranteed state estimation by zonotopes for systems with interval uncertainties

14:25 -- 15:00: Jun Xiong: Advances in Interval Kalman Filtering: theoretical aspects and examples

15:00 -- 15:15: Break

Session: The IBEX Library

15:15 -- 15:50: Gilles Chabert: IBEX 2.0, a constraint programming library over the reals

15:50 -- 16:25: Moussa Maïga: First results on nonlinear hybrid reachability combining interval Taylor method and IBEX library.

16:25 -- 16:40: Break

Session: Solving and Optimization

16:40 -- 17:15: Elke Just: Recent Progress in SONIC

17:15 -- 17:50: Karsten Scheibler: Integration of Fourier-Motzkin based Variable-Elimination into iSAT

19:00 -- 23:00: Workshop dinner

Tuesday, 2012-06-05

Session: Stability Analysis and Control

09:00 -- 09:35: Luc Jaulin: An interval approach for stability analysis of nonlinear systems

09:35 -- 10:10: Fabrice Le Bars: An experimental validation of reliable controllers on a sailboat robot

10:10 -- 10:45: Max Demenkov: Real-time control allocation using zonotopes

10:45 -- 11:00: Break

Session: Computing with Interval Representations

11:00 -- 11:35: Tomáš Dzetkulič: Endpoint and Midpoint Interval Representations - Theoretical and Computational Comparison

11:35 -- 12:10: Jaroslav Horáček: Pitfalls of Computing Enclosures of Overdetermined Interval Linear Systems

12:10 -- 13:15: Lunch

Session: Geometric Reasoning

13:15 -- 13:50: Aymeric Bethencourt: 3D reconstruction with interval analysis using the Kinect device and an IMU

13:50 -- 14:25: Andreas Baumgart: Solving geometric constraints to verify independence properties for safety-relevant systems

14:25 -- 14:40: Break

Session: Analyzing Parameter Dependencies and Disturbances

14:40 -- 15:15: Clément Aubry: Existence and uniqueness tests to solve image evaluation problem

15:15 -- 15:50: Evgenija D. Popova: Properties and Estimations of Parametric AE Solution Sets

15:50 -- 16:05: Break

Session: Constraint Solving Involving ODEs

16:05 -- 16:40: Andreas Eggers: Recent Improvements of iSAT-ODE

16:40 -- 17:15: Nacim Ramdani: On Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE

Wednesday, 2012-06-06

Session: ODE Enclosures

09:00 -- 09:35: Tomáš Dzetkulič: Rigorous Computation with Function Enclosures in Chebyshev Basis

09:35 -- 10:10: Xin Chen: Using Taylor Models in the Reachability Analysis of Non-linear Hybrid Systems

10:10 -- 10:25: Break

Session: Control and Optimization

10:25 -- 11:00: Thomas Dötschel: Sliding Mode Control for Uncertain Thermal SOFC Models with Physical Actuator Constraints

11:00 -- 11:35: Andreas Rauh: Interval-Based Model-Predictive Control for Uncertain Dynamic Systems with Actuator Constraints

11:35 -- 12:10: Stefan Kiel: Application of Verified Optimization Techniques to Parameter Identification for Solid Oxide Fuel Cells

12:10 -- 12:20: Closing

12:20 -- 13:30: Lunch

Venue

The workshop will be held in room F02 of the OFFIS building, Escherweg 2, D-26121 Oldenburg.


View Larger Map

Or see in google maps.

Travel Information

Getting to Oldenburg

From within central Europe, you can reach Oldenburg by train. In order to find your connection, use the website of DB (Search for train connections) and enter "Oldenburg(Oldb)" as your destination. Be careful not to accidentally travel to Oldenburg(Holst)! For most connections within Germany you can also directly buy a ticket online and print it out (it is then valid only in connection with an identification card, that you selected during purchase). This is also possible for some international connections, however, not for all of them. In Germany you can also buy tickets at automatic vending machines and counters in virtually every station.

The closest international airports are Bremen (BRE), Hamburg (HAM), and Hannover (HAJ). Once there, you can use the train to get to Oldenburg (Search for train connections, again using Oldenburg(Oldb) as destination) or a taxi (which can be very expensive!). If your flight is scheduled to arrive late at night or early in the morning, pay special attention to limited train services at those times.

The Bremen and Oldenburg area are covered by a transport association called "Verkehrsverbund Bremen Niedersachsen (VBN)". If you arrive at Bremen airport, you can hence buy a ticket that is valid for the tram in Bremen, regional trains (Regionalexpress (RE), Nordwestbahn (NWB), or Regio-S-Bahn (RS), but not on Intercity (IC) or IntercityExpress (ICE) trains), and the city buses in Oldenburg. The ticket is a "Preisstufe F" (7,70 EUR) and may have to be stamped ("entwertet") before use depending on where it is bought. Tickets bought directly from a vending machine on the tram in Bremen or from a bus driver in Oldenburg are already validated.

Getting around in Oldenburg

Unless you walk or rent a bicycle, using the city buses for getting around is probably the best option. OFFIS is located near bus stop "Industriestraße". Buses must be entered through the front door and tickets always be shown to the driver. You can also buy a ticket from the driver by naming the destination stop. From all bus stops within the city, a ticket of "Preisstufe 1" (2.25 EUR) is sufficient (from stops that are within the same zone as the destination, a "Kurzstrecke" ticket (1.75 EUR) is also enough). Please see the map of the bus network in Oldenburg, the FahrPlaner with a zoomable map and bus-stop overlay, or use the "Personal Time Table" (with detailed static maps in the result) in which you can directly enter e.g. the address of your hotel and the destination address, using "Oldenburg (Oldenbg)" as city in both fields.

Accomodation

We have not pre-booked any rooms but you will probably find good and inexpensive accomodation in one of the following hotels. If you use a hotel booking portal, again, please make sure to select Oldenburg in Niedersachsen (Lower Saxony), Oldenburg (Oldb) or similar.

About Oldenburg

If you have some spare time left, make sure to take a walk through the old town, taking a look at sights like Lamberti church, the castle, the old townhall, and the Schlossgarten. Stroll through some of the shops, get a hot chocolate in one of the nice cafés, and maybe pick a museum (from history to modern art) or a play, concert, or opera in the Staatstheater. On Wednesdays, Fridays, and Saturdays, the later the night, the more the city fills up with young people heading to bars and clubs. So if dancing the night away is part of your cultural experience, be there not too early...

Organization and Contact

The SWIM 2012 workshop is organized by Andreas Eggers, Martin Fränzle, Luc Jaulin, and Nacim Ramdani. To contact all organizers at once, send an email to [---]. Please use the individual email addresses that can be found on the respective homepages to contact the organizers.

SWIM 2012 is hosted by the OFFIS Institute for Information Technology and is kindly supported by the transregional collaborative research center AVACS ("Automatic Verification and Analysis of Complex Systems") which is funded by the German Research Council DFG.

OFFIS   AVACS   DFG