Cité des Congrés Tour LU Nantes by night

Description

The goal of the SWIM 2010 workshop 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 2010 workshop is intended to build on the success of previous editions, held in Montpellier in 2008 and Lausanne in 2009, which was initiated by the french MEA working group on Set Computation Techniques of the French research group on Automatic Control GDR MACS (http://www.lirmm.fr/ensemble). 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 2008 and 2009 editions of SWIM, twenty five talks were given by speakers coming from several countries among which 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.
This year we will have an invited talk by Daniel Wilczak about "Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system".

Workshop Highlights:

Call for talks

If you want to present a talk addressing theory of interval related methods, or their application in any area, please send an email with an one page abstract (with title, authors and affiliation) to the organizers, no later than May 1st, 2010.
If you simply plan to attend the workshop, please send an email to the organizers.

Dates

Accommodation

The workshop will be held in the LINA building of the Science Faculty of the University of Nantes,in Nantes (see campus map). The LINA is easily reached from Nantes downtown using Tramway or buses. Thus participants may book any hotel in the city center (see Tourism Office website).

Sponsors

The organizers are grateful to the University of Nantes, the "Laboratoire d'Informatique de Nantes Atlantique" (LINA) and the team "Méthode Ensembliste pour l'Optimisation" (MEO) for supporting this third edition of the SWIM workshop.
University of Nantes LINA

Organizers

Chairs
Dr. Alexandre Goldsztejn, Pr. Luc Jaulin, Dr. Nacim Ramdani

Committee
Dr. Gilles Chabert, Dr. Frédéric Goualard, Pr. Laurent Granvilliers, Dr. Christophe Jermann

Talks

abstractslidesDaniel Wilczak (invited speaker) Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
abstractIgnacio Araya, Gilles Trombettoni, Bertrand Neveu Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity
abstractslidesNicolas Berger, Ricardo Soto, Alexandre Goldsztejn, Nicolas Binaud, Philippe Cardou, Stéphane Caro Finding the Maximal Pose Error in Robotic Manipulators Using Constraint Programming
abstractslidesGilles Chabert and Rémi Douence Interval-based identification of hybrid systems with smooth transitions: the case of electrolocation
abstractslidesBenoît Clément A Combining LMI and Interval Tools for Robust Optimization
abstractslidesJorge Cruz A Constraint Composition Approach for Numerical CSPs
abstractslidesJérôme De Miras Box filtering for estimation of the altitude
abstractslidesAlexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe Including ordinary differential equations based constraints in the standard CP framework
abstractslidesYounis Hijazi, Aaron Knoll Interval arithmetic in visualization and graphics
abstractslidesDaisuke Ishii Bounded Reachability Analysis of Nonlinear Hybrid Systems Based on Interval Consistency Techniques
abstractslidesLuc Jaulin Solving set-valued constraint satisfaction problems
abstractslidesMioara Joldes, N. Brisebarre Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing
abstractslidesSofiane Khadraoui, Micky Rakotondrabe, Philippe Lutz Robust control of parametric uncertain systems: application to the control of piezoelectric cantilevers
abstractslidesFabrice Le Bars Presentation of an operational interval-based software for mine detection using lateral sonar
abstractslidesSéastien Lengagne, Nacim Ramdani, Philippe Fraisse Interval analysis at the core of methods for planning and fast replanning safe motions for humanoid robots.
abstractslidesNacim Meslem, Nacim Ramdani On the use of hybrid automata for set-membership state estimation with uncertain nonlinear continuous-time systems
abstractslidesJean-Luc Paillat, Philippe Lucidarme, Laurent Hardouin, Sébastien Lagrange A non-linear set membership approach for the control of tracked vehicles
abstractslidesNacim Ramdani, Nedialko S.Nedialkov Computing reachable sets for uncertain nonlinear hybrid systems using solution techniques for numerical constraint satisfaction problems.
abstractslidesJan Sliwka Image derived contractor and its application in robot localization
abstractslidesMikhael Tannous, Stéphane Caro, Alexandre Goldsztejn Sensitivity Analysis of Planar Parallel Manipulators Using A Fixed Point Interval Iteration

Program

Tuesday 15/6 Wednesday 16/6
09:15welcome
09:30Luc Jaulin - Solving set-valued constraint satisfaction problems
10:00Nicolas Berger, Ricardo Soto, Alexandre Goldsztejn, Nicolas Binaud, Philippe Cardou, Stéphane Caro - Finding the Maximal Pose Error in Robotic Manipulators Using Constraint Programming
10:30coffee break
11:00Gilles Chabert and Rémi Douence - Interval-based identification of hybrid systems with smooth transitions: the case of electrolocation
11:30Younis Hijazi, Aaron Knoll - Interval arithmetic in visualization and graphics
12:00Mioara Joldes, N. Brisebarre - Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing
12:30lunch break
14:30Wilczak - Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
15:30Ignacio Araya, Gilles Trombettoni, Bertrand Neveu - Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity
16:00Daisuke Ishii - Bounded Reachability Analysis of Nonlinear Hybrid Systems Based on Interval Consistency Techniques
16:30coffee break
17:00Benoît Clément - A Combining LMI and Interval Tools for Robust Optimization
17:30Jérôme De Miras - Box filtering for estimation of the altitude
18:00Jorge Cruz - A Constraint Composition Approach for Numerical CSPs
18:30discussion
20:00restaurant
08:45welcome
09:00Olivier Reynet - Interval Contractors Design For Distributed Localization (canceled)
09:30Sofiane Khadraoui, Micky Rakotondrabe, Philippe Lutz - Robust control of parametric uncertain systems: application to the control of piezoelectric cantilevers
10:00Nacim Meslem, Nacim Ramdani - On the use of hybrid automata for set-membership state estimation with uncertain nonlinear continuous-time systems
10:30coffee break
11:00Fabrice Le Bars - Presentation of an operational interval-based software for mine detection using lateral sonar
11:30Sébastien Lengagne, Nacim Ramdani, Philippe Fraisse - Interval analysis at the core of methods for planning and fast replanning safe motions for humanoid robots
12:00Jean-Luc Paillat, Philippe Lucidarme, Laurent Hardouin, Sébastien Lagrange - A non-linear set membership approach for the control of tracked vehicles
12:30lunch break
14:30Nacim Ramdani, Nedialko S.Nedialkov - Computing reachable sets for uncertain nonlinear hybrid systems using solution techniques for numerical constraint satisfaction problems
15:00Jan Sliwka - Image derived contractor and its application in robot localization
15:30Mikhael Tannous, Stéphane Caro, Alexandre Goldsztejn - Sensitivity Analysis of Planar Parallel Manipulators Using A Fixed Point Interval Iteration
16:00Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe - Including ordinary differential equations based constraints in the standard CP framework
16:30coffee break
17:00discussion