Program

Sunday, June 19, 2016

Time Event  
10:00 - 11:45 Computer-assisted proofs in dynamics (1 place de l'École, ENS de Lyon, 69007 Lyon) - Daniel Wilczak  
12:00 - 13:30 Lunch (at your own expenses) (Le Ninkasi, 267 rue Mérieux, 69007 Lyon)  
13:45 - 18:00 Computer-assisted proofs in dynamics (1 place de l'École, ENS de Lyon, 69007 Lyon) - Daniel Wilczak  

Monday, June 20, 2016

Time Event  
08:30 - 09:00 Welcome (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Luc Jaulin, Nacim Ramdani  
09:00 - 10:00 Interval methods in global optimization (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Vladik Kreinovich  
09:00 - 09:30 › Rigorous global optimization with interval unions - Tiago Montanher, University of Vienna  
09:30 - 10:00 › Bounding Nonlinear Functions by Combining Interval Arithmetic, Taylor Models, and Global Optimization - Matthias Althoff, Technische Universität München  
10:00 - 10:30 Coffee and tea break (salle passerelle - 4th floor, ENS de Lyon, 46 allée d'Italie, 69007 Lyon)  
10:30 - 12:30 Planning and control theory (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Luc Jaulin  
10:30 - 11:00 › An interval technique to check the performance of control laws applied to wind turbines - Nassim Loukkas, Grenoble Images Parole Signal Automatique  
11:00 - 11:30 › Convergence domain of image-based visual servoing with a line-scan camera - Vincent Drevelle, LAGADIC  
11:30 - 12:00 › Robust output-feedback control for a class of interval Model: Application to a piezoelectric tube actuator - Mounir Hammouche  
12:00 - 12:30 › Interval Methods for Robust Variable-Structure Control with One- and Two-Sided State Constraints - Andreas Rauh, University of Rostock  
12:30 - 14:00 Lunch (mensa - ENS de Lyon, place de la Fontaine, 69007 Lyon)  
14:00 - 16:00 Interval methods and implementations (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Daniel Wilczak  
14:00 - 14:30 › Decision Making Under Twin Interval Uncertainty - Vladik Kreinovich, University of Texas at El Paso  
14:30 - 15:00 › Interval arithmetic in GNU Octave - Oliver Heimlich, independent  
15:00 - 15:30 › Certification of Roundoff Errors with SDP Relaxations and Formal Interval Methods - Victor Magron, VERIMAG  
15:30 - 16:00 › Avoiding fake boundaries in interval analysis  
16:00 - 16:30 Coffee and tea break (salle passerelle - 4th floor, ENS de Lyon, 46 allée d'Italie, 69007 Lyon)  
16:30 - 18:30 Localization (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Nacim Ramdani  
16:30 - 17:00 › Interval Based Parallel Computing of the Viability Kernel - Stéphane Le Ménec, MBDA  
17:00 - 17:30 › Guaranteed confidence region characterization for source localization using LSCR - Cheng-Yu Han, IEF - Institut d'Electronique Fondamentale - Orsay  
17:30 - 18:00 › Image-based Mobile Robot localization using Interval Methods - Ide Flore KENMOGNE, LAGADIC  
18:00 - 18:30 › Range only multistatic radar detection of a windfarm based on interval analysis - Eduard Alexandru Codres, The University of Manchester [Manchester]  
20:00 - 22:30 Dinner (La Gargotte, 15 rue Royale, 69001 Lyon)  

Tuesday, June 21, 2016

Time Event  
09:00 - 10:30 Interval methods for nonlinear problems (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Olga Kosheleva  
09:00 - 09:30 › A parametric Kantorovich theorem with application to tolerance synthesis - Gilles Chabert, École nationale supérieure des Mines de Nantes  
09:30 - 10:00 › Interval tools for computing the topology of projected curves - Rémi Imbach, VEGAS  
10:00 - 10:30 › Finding Zeros for Systems of Two Analytic Functions - Joel Dahne, Department of Mathematics [Uppsala]  
10:30 - 11:00 Coffee and tea break (salle passerelle - 4th floor, ENS de Lyon, 46 allée d'Italie, 69007 Lyon)  
11:00 - 12:30 Interval methods for dynamical systems (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Sylvie Putot  
11:00 - 11:30 › Validated integration of dissipative PDEs -- chaos in the Kuramoto-Sivashinsky equations - Daniel Wilczak, Institute of Computer Science [Krakow]  
11:30 - 12:00 › Computing Attracting Ellipsoids for Nonlinear Systems using an Interval Lyapunov Equation - Gilles Chabert, École nationale supérieure des Mines de Nantes  
12:00 - 12:30 › Contraction, propagation and bisection on a validated simulation of ODE - Julien Alexandre dit Sandretto, École Nationale Supérieure de Techniques Avancées  
12:30 - 14:00 Lunch (mensa - ENS de Lyon, place de la Fontaine, 69007 Lyon)  
14:00 - 15:00 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  
15:00 - 16:00 Planning and control theory (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Nathalie Revol  
15:00 - 15:30 › Control of an Autonomous Underwater Vehicule under robustness constraints. - Juan Luis Rosendo, University of La Plata  
15:30 - 16:00 › Consensus Control: Fundamentals and Some Recent Developments - Eduard Codres, The University of Manchester  
16:00 - 16:30 Coffee and tea break (salle passerelle - 4th floor, ENS de Lyon, 46 allée d'Italie, 69007 Lyon)  
16:30 - 18:30 Estimation (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Gilles Chabert  
16:30 - 17:00 › Robust Hybrid State Estimation using Interval Methods - Nacim Ramdani, Laboratoire PRISME  
17:00 - 17:30 › An Interval Branch and Bound Algorithm for Parameter Estimation - Bertrand Neveu  
17:30 - 18:00 › OMNE is a Maximum Likelihood Estimator - Jeremy Nicola (ENSTA Bretagne)  
18:00 - 18:30 › 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  

Wednesday, June 22, 2016

Time Event  
09:00 - 10:30 Interval methods for dynamical systems (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Andreas Rauh  
09:00 - 09:30 › Inner approximation of a capture basin of a dynamical system - Luc JAULIN, Lab-STICC  
09:30 - 10:00 › Interval trajectory tracking with flatness - Olivier Mullier, Unité d'Informatique et d'Ingénierie des Systèmes  
10:00 - 10:30 Coffee and tea break (salle passerelle - 4th floor, ENS de Lyon, 46 allée d'Italie, 69007 Lyon)  
10:30 - 12:00 Interval methods for linear problems (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon) - Alexandru Stancu  
10:30 - 11:00 › Exact solution to a parametric linear programming problem - Skalna Iwona, AGH University of Science and Technology [Pologne] - Lubomir Kolev, Technical University of Sofia  
11:00 - 11:30 › An implementation of a posteriori interval analysis technique and its application to linear algebra problems - Vladimir Glazachev, Saint-Petersburg state university  
11:30 - 12:00 › A Concoction of Zonotope Abstraction and Constraint Programming for finding an Invariant - Bibek Kabi, PhD Student  
12:00 - 12:30 Closing (amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon)  
  
Online user: 1