Summer Workshop on Interval Methods 2016

Sun. 19

Mon. 20

Tue. 21

Wed. 22

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

20:00

21:00

22:00

Computer-assisted proofs in dynamics

10:00 - 11:45 (1h45)

Computer-assisted proofs in dynamics

1 place de l'École, ENS de Lyon, 69007 Lyon

Daniel Wilczak

Lunch (at your own expenses)

12:00 - 13:30 (1h30)

Lunch (at your own expenses)

Le Ninkasi, 267 rue Mérieux, 69007 Lyon

Computer-assisted proofs in dynamics

13:45 - 18:00 (4h15)

Computer-assisted proofs in dynamics

1 place de l'École, ENS de Lyon, 69007 Lyon

Daniel Wilczak

Welcome

8:30 - 9:00 (30min)

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

9:00 - 10:00 (1h)

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

10:00 - 10:30 (30min)

Coffee and tea break

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

Planning and control theory

10:30 - 12:30 (2h)

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

12:30 - 14:00 (1h30)

Lunch

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

Interval methods and implementations

14:00 - 16:00 (2h)

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

16:00 - 16:30 (30min)

Coffee and tea break

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

Localization

16:30 - 18:30 (2h)

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

20:00 - 22:30 (2h30)

Dinner

La Gargotte, 15 rue Royale, 69001 Lyon

Interval methods for nonlinear problems

9:00 - 10:30 (1h30)

Interval methods for nonlinear problems

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

Olga Kosheleva

› A parametric Kantorovich theorem with application to tolerance synthesis - Gilles Chabert, École nationale supérieure des Mines de Nantes 09:00-09:30 (30min)

› Interval tools for computing the topology of projected curves - Rémi Imbach, VEGAS 09:30-10:00 (30min)

› Finding Zeros for Systems of Two Analytic Functions - Joel Dahne, Department of Mathematics [Uppsala] 10:00-10:30 (30min)

Coffee and tea break

10:30 - 11:00 (30min)

Coffee and tea break

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

Interval methods for dynamical systems

11:00 - 12:30 (1h30)

Interval methods for dynamical systems

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

Sylvie Putot

› Validated integration of dissipative PDEs -- chaos in the Kuramoto-Sivashinsky equations - Daniel Wilczak, Institute of Computer Science [Krakow] 11:00-11:30 (30min)

› Computing Attracting Ellipsoids for Nonlinear Systems using an Interval Lyapunov Equation - Gilles Chabert, École nationale supérieure des Mines de Nantes 11:30-12:00 (30min)

› Contraction, propagation and bisection on a validated simulation of ODE - Julien Alexandre dit Sandretto, École Nationale Supérieure de Techniques Avancées 12:00-12:30 (30min)

Lunch

12:30 - 14:00 (1h30)

Lunch

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

Set-based methods in programs and systems verification

14:00 - 15:00 (1h)

Set-based methods in programs and systems verification

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

Sylvie Putot and Éric Goubault

Planning and control theory

15:00 - 16:00 (1h)

Planning and control theory

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

Nathalie Revol

› Control of an Autonomous Underwater Vehicule under robustness constraints. - Juan Luis Rosendo, University of La Plata 15:00-15:30 (30min)

› Consensus Control: Fundamentals and Some Recent Developments - Eduard Codres, The University of Manchester 15:30-16:00 (30min)

Coffee and tea break

16:00 - 16:30 (30min)

Coffee and tea break

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

Estimation

16:30 - 18:30 (2h)

Estimation

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

Gilles Chabert

› Robust Hybrid State Estimation using Interval Methods - Nacim Ramdani, Laboratoire PRISME 16:30-17:00 (30min)

› An Interval Branch and Bound Algorithm for Parameter Estimation - Bertrand Neveu 17:00-17:30 (30min)

› OMNE is a Maximum Likelihood Estimator - Jeremy Nicola (ENSTA Bretagne) 17:30-18:00 (30min)

› Interval Analysis for the Representation of Phoneme Databases in Speech Recognition Systems: Fundamentals of a Computer-Based Assistance System in Speech Therapy - Andreas Rauh, University of Rostock 18:00-18:30 (30min)

Interval methods for dynamical systems
Coffee and tea break

9:00 - 10:30 (1h30)

Interval methods for dynamical systems

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

Andreas Rauh

› Inner approximation of a capture basin of a dynamical system - Luc JAULIN, Lab-STICC 09:00-09:30 (30min)

› Interval trajectory tracking with flatness - Olivier Mullier, Unité d'Informatique et d'Ingénierie des Systèmes 09:30-10:00 (30min)

10:00 - 10:30 (30min)

Coffee and tea break

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

Interval methods for linear problems

10:30 - 12:00 (1h30)

Interval methods for linear problems

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

Alexandru Stancu

› Exact solution to a parametric linear programming problem - Skalna Iwona, AGH University of Science and Technology [Pologne] - Lubomir Kolev, Technical University of Sofia 10:30-11:00 (30min)

› An implementation of a posteriori interval analysis technique and its application to linear algebra problems - Vladimir Glazachev, Saint-Petersburg state university 11:00-11:30 (30min)

› A Concoction of Zonotope Abstraction and Constraint Programming for ﬁnding an Invariant - Bibek Kabi, PhD Student 11:30-12:00 (30min)

Closing

12:00 - 12:30 (30min)

Closing

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