Summer Workshop on Interval Methods 2016

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

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

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

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

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

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

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

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)

Program