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