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
------------------------------------------------------------------------------------------------------------
|