|
Program
https://www.ensta-bretagne.fr/jaulin/swim13_prog.pdf
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
|
|
|
Please note that there is NO FEES
for participation to the workshop. But you still need to complete the registration form
|
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
------------------------------------------------------------------------------------------------------------
|
Abstracts and slides 
