› 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)
› 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)
› 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)
› 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)
› 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)
› 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)
› 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 finding an Invariant - Bibek Kabi, PhD Student
11:30-12:00 (30min)
1 place de l'École, ENS de Lyon, 69007 Lyon
