Luise Senkel, Andreas Rauh, Harald Aschemann — University of Rostock, Germany
SWIM 2013
6th Small Workshop on Interval Methods
ENSTA Bretagne, Brest, France
June 5–7, 2013
The goal of SWIM is to bring together researchers and practitioners working on interval methods and their applications, providing a forum to review and discuss the state of the art and to foster cross-fertilization between different approaches.
The SWIM 2013 workshop builds on the success of previous editions held in Montpellier (2008), Lausanne (2009), Nantes (2010), Bourges (2011), and Oldenburg (2012). It was initiated by the French MEA working group on Set Computation and Interval Techniques of the GDR MACS research network.
The program is available here:
https://www.ensta-bretagne.fr/jaulin/swim13_prog.pdf
09:00 – 10:00 Registration and Coffee
10:00 – 10:05 Welcome – Opening SWIM 2013 — Luc Jaulin
10:05 – 10:30 Experimental Validation of Interval Sliding Mode Observers for Nonlinear Systems with Bounded Measurement and Parameter Uncertainty
Luise Senkel, Andreas Rauh, Harald Aschemann — University of Rostock, Germany
10:30 – 10:55 Interval Methods for the Implementation of Real-Time Capable Robust Controllers for Solid Oxide Fuel Cell Systems
Andreas Rauh, Luise Senkel, Ekaterina Auer, Harald Aschemann — University of Rostock, Germany
10:55 – 11:20 An Algorithm Approach for Model Order Reduction of Discrete Time Interval Systems
S. K. Bharadwaj, D. Kranthi Kumar — MANIT, India
11:20 – 11:45 Model Order Reduction of Interval Systems for Mixed Methods
D. Kranthi Kumar, S. K. Nagar — IIT (BHU), Varanasi, India
Lunch: 12:00 – 13:30
14:00 – 14:45 The Lorenz Attractor Exists — Warwick Tucker, Uppsala University, Sweden
14:45 – 15:10 Outer Approximation of Attractors Using an Interval Quantization — Luc Jaulin, ENSTA-Bretagne, France
15:10 – 15:35 Feedback-Induced Attractors in Controlled Aeroelastic Wings and Their Detection via Interval Analysis — Max Demenkov, Institute of Control Sciences, Russian Academy of Sciences, Moscow
Coffee Break: 15:35 – 16:05
16:05 – 16:30 Numerical Reproducibility in HPC: Issues in Interval Arithmetic — Nathalie Revol, Philippe Théveny, INRIA, ENS de Lyon, France
16:30 – 16:55 On Implementing the C++ Interval Library libieeep1788 — Marco Nehmeier, University of Würzburg, Germany
16:55 – 17:20 Current Developments in the Nonlinear Solver SONIC — Elke Just, University of Wuppertal, Germany
17:20 – 17:45 IaTestGen: A Unit Test Generator Written in Java for Implementations of the IEEE P1788 Interval Arithmetic Standard — M. Jedich, M. Nehmeier, A. Dallmann, J. Wol von Gudenberg, University of Würzburg, Germany
09:00 – 09:25 System Inversion and Actuator Fault Detection and Isolation for Linear Systems: Application to a Nuclear Reactor —
Fatma Sallem, Boutaib Dahhou (LAAS-CNRS, France), Zetao Li (University of Guizhou, China), Anas Kamoun (University of Sfax, Tunisia)
09:25 – 09:50 Subsquares Approach: A Simple but Efficient Scheme for Solving OILS — Jaroslav Horacek, Milan Hladik
09:50 – 10:15 Polyhedral Relaxations for Constraint Satisfaction Problems — Milan Hladik
Coffee Break: 10:15 – 10:45
10:45 – 11:10 Efficient Solution of a Class of Universally Quantified Constraints — Stefan Ratschan, Academy of Sciences of the Czech Republic
11:10 – 11:35 A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots — S. Caro, D. Chablat, A. Goldsztejn, D. Ishii, C. Jermann, Université de Nantes, France
11:35 – 12:00 Improving Newton Existence Test — Clément Aubry, IRENav, École Navale, Brest, France
Lunch: 12:15 – 13:30
14:00 – 14:25 On Continuation Methods for Non-Linear Multi-Objective Optimization — B. Martin, A. Goldsztejn, L. Granvilliers, C. Jermann, Université de Nantes, France
14:25 – 14:50 Interval-Based Dynamic Simulation in Chemical Process Design — Carlos Perez-Galvan, I. D. L. Bogle, University College London
14:50 – 15:15 Linear Relaxations in Global Optimization: Combine and Compare Reformulation Methods, Gradient-Based Method and Affine Arithmetic — Jordan Ninin, ENSTA-Bretagne, France
Coffee Break: 15:15 – 15:45
15:45 – 16:10 Localization Confidence Domains via Set-Inversion on Short-Term Trajectory — Vincent Drevelle, Philippe Bonnifait, Université de Technologie de Compiègne, France
16:10 – 16:35 Cooperative Localization of Underwater Robots with Unsynchronized Clocks — Aymeric Bethencourt, ENSTA-Bretagne
16:35 – 17:00 Phase-Based Localization Using Interval Analysis — Mohamed Saad Ibn Seddik, CGG Veritas – ENSTA-Bretagne
17:00 – 17:25 Set-Membership Simultaneous Localization and Mapping with the Interval Contractor Library IBEX — G. Chabert, École des Mines de Nantes
Dinner: Cercle Naval – 19:30
09:00 – 09:25 Presentation of Pseudo-Intervals Arithmetic: Applications to Linear Algebra, Optimization and Set Inversion Problems — Abdel Kenoufi, SCORE, Strasbourg, France
09:25 – 09:50 Classification of Stable Maps from a Simply Connected Subset of R² to R² — Nicolas Delanoue, Sébastien Lagrange, Université d’Angers, France
09:50 – 10:15 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, Portugal
Coffee Break: 10:15 – 10:45
10:45 – 11:10 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, V. S. Patsko, Institute of Mathematics and Mechanics, Ural Branch of Russian Academy of Sciences, Ekaterinburg
11:10 – 11:35 Improvements on Flow/Guard Intersection for Nonlinear Hybrid Reachability — M. Maiga, N. Ramdani, L. Trave-Massuyes, Université d’Orléans and LAAS, Toulouse, France
11:35 – 12:00 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 Universität Oldenburg, Université d’Orléans, and McMaster University
Lunch: 12:15 – 13:30