Summer Workshop on Interval Methods 2016

Welcome

amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon

Luc Jaulin, Nacim Ramdani

Interval methods in global optimization

amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon

Vladik Kreinovich

› Rigorous global optimization with interval unions - Tiago Montanher, University of Vienna 09:00-09:30 (30min)

› Bounding Nonlinear Functions by Combining Interval Arithmetic, Taylor Models, and Global Optimization - Matthias Althoff, Technische Universität München 09:30-10:00 (30min)

Coffee and tea break

salle passerelle - 4th floor, ENS de Lyon, 46 allée d'Italie, 69007 Lyon

Planning and control theory

amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon

Luc Jaulin

› An interval technique to check the performance of control laws applied to wind turbines - Nassim Loukkas, Grenoble Images Parole Signal Automatique 10:30-11:00 (30min)

› Convergence domain of image-based visual servoing with a line-scan camera - Vincent Drevelle, LAGADIC 11:00-11:30 (30min)

› Robust output-feedback control for a class of interval Model: Application to a piezoelectric tube actuator - Mounir Hammouche 11:30-12:00 (30min)

› Interval Methods for Robust Variable-Structure Control with One- and Two-Sided State Constraints - Andreas Rauh, University of Rostock 12:00-12:30 (30min)

Lunch

mensa - ENS de Lyon, place de la Fontaine, 69007 Lyon

Interval methods and implementations

amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon

Daniel Wilczak

› Decision Making Under Twin Interval Uncertainty - Vladik Kreinovich, University of Texas at El Paso 14:00-14:30 (30min)

› Interval arithmetic in GNU Octave - Oliver Heimlich, independent 14:30-15:00 (30min)

› Certification of Roundoff Errors with SDP Relaxations and Formal Interval Methods - Victor Magron, VERIMAG 15:00-15:30 (30min)

› Avoiding fake boundaries in interval analysis - 15:30-16:00 (30min)

Coffee and tea break

salle passerelle - 4th floor, ENS de Lyon, 46 allée d'Italie, 69007 Lyon

Localization

amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon

Nacim Ramdani

› Interval Based Parallel Computing of the Viability Kernel - Stéphane Le Ménec, MBDA 16:30-17:00 (30min)

› Guaranteed confidence region characterization for source localization using LSCR - Cheng-Yu Han, IEF - Institut d'Electronique Fondamentale - Orsay 17:00-17:30 (30min)

› Image-based Mobile Robot localization using Interval Methods - Ide Flore KENMOGNE, LAGADIC 17:30-18:00 (30min)

› Range only multistatic radar detection of a windfarm based on interval analysis - Eduard Alexandru Codres, The University of Manchester [Manchester] 18:00-18:30 (30min)

Dinner

La Gargotte, 15 rue Royale, 69001 Lyon

Program