|
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) |
|
|