10:00 - 11:45 Tutorial

Computer-assisted proofs in dynamics (slides) or (single archive)
Daniel Wilczak, Jagiellonian University - Institute of Computer Science and Computational Mathematics, Krakow, Poland

12:00 - 13:30 Lunch

13:45 - 18:00 Tutorial - part II

Computer-assisted proofs in dynamics (slides) or (single archive)
Daniel Wilczak, Jagiellonian University - Institute of Computer Science and Computational Mathematics, Krakow, Poland

08:30 - 09:00 Welcome

Luc Jaulin and Nacim Ramdani

09:00 - 10:00 Interval methods in global optimization

Chair: Vladik Kreinovich

09:00 - 09:30 Rigorous global optimization with interval unions (slides)
Tiago Montanher, Ferenc Domes, Hermann Schichl, and Arnold Neumaier

09:30 - 10:00 Bounding Nonlinear Functions by Combining Interval Arithmetic, Taylor Models, and Global Optimization
Matthias Althoff, and Dmitry Grebenyuk

10:00 to 10:30 Coffee and tea break

10:30 - 12:30 Planning and control theory

Chair: Luc Jaulin

10:30 - 11:00 An interval technique to check the performance of control laws applied to wind turbines (slides)
Nassim Loukkas, Nacim Meslem, and John-Jairo Martinez-Molina

11:00 - 11:30 Convergence domain of image-based visual servoing with a line-scan camera (slides)
Vincent Drevelle

11:30 - 12:00 Robust output-feedback control for a class of interval Model: Application to a piezoelectric tube actuator (slides)
Mounir Hammouche, Micky Rakotondrabe, and Philippe Lutz

12:00 - 12:30 Interval Methods for Robust Variable-Structure Control with One- and Two-Sided State Constraints (slides)
Andreas Rauh, and Harald Aschemann

12:30 - 14:00 Lunch

14:00 - 16:00 Interval methods and implementations

Chair: Daniel Wilczak

14:00 - 14:30 Decision Making Under Twin Interval Uncertainty (slides)
Barnabas Bede, Olga Kosheleva, and Vladik Kreinovich

14:30 - 15:00 Interval Arithmetic in GNU Octave (slides)
Oliver Heimlich

15:00 - 15:30 Certification of Roundoff Errors with SDP Relaxations and Formal Interval Methods (slides)
Victor Magron

15:30 - 16:00 Avoiding Fake Boundaries in Interval Analysis (slides)
Guilherme Schvarcz Franco, and Luc Jaulin

16:00 to 16:30 Coffee and tea break

16:30 - 18:30 Localization

Chair: Nacim Ramdani

16:30 - 17:00 Interval Based Parallel Computing of the Viability Kernel (slides)
Stéphane Le Ménec

17:00 - 17:30 Guaranteed Confidence Region Characterization for Source Localization using LSCR (slides)
Cheng-Yu Han, Alain Lambert, and Michel Kieffer

17:30 - 18:00 Image-Based Mobile Robot Localization using Interval Methods (slides)
Ide-Flore Kenmogne, and Vincent Drevelle

18:00 - 18:30 Range-Only Multistatic Radar Detection of a Windfarm Based on Interval Analysis (slides)
Eduard Codres, Waleed Al Mashhadani, Anthony Brown, Alexandru Stancu, and Luc Jaulin

20:00 to 22:30 Dinner

09:00 - 10:30 Interval methods for nonlinear problems

Chair: Olga Kosheleva

09:00 - 09:30 A Parametric Kantorovich Theorem with Application to Tolerance Synthesis (slides)
Alexandre Goldsztejn, Stéphane Caro, and Gilles Chabert

09:30 - 10:00 Interval Tools for Computing the Topology of Projected Curves (slides)
Rémi Imbach, Guillaume Moroz, and Marc Pouget

10:00 - 10:30 Finding Zeros for Systems of Two Analytic Functions (slides)
Joel Dahne

10:30 to 11:00 Coffee and tea break

11:00 - 12:30 Interval methods for dynamical systems

Chair: Sylvie Putot

11:00 - 11:30 Validated Integration of Dissipative PDEs (slides)
Daniel Wilczak, and Piotr Zgliczyński

11:30 - 12:00 Computing Attracting Ellipsoids for Nonlinear Systems using an Interval Lyapunov Equation (slides)
Léopold Houdin, Alexandre Goldsztejn, Gilles Chabert, and Frédéric Boyer

12:00 - 12:30 Contraction, Propagation and Bisection on a Validated Simulation of ODE (slides)
Julien Alexandre Dit Sandretto, and Alexandre Chapoutot

12:30 - 14:00 Lunch

14:00 - 15:00 Keynote

Chair: Nathalie Revol

Set-Based Methods in Programs and Systems Verification (slides)
Sylvie Putot and Éric Goubault

15:00 - 16:00 Planning and Control Theory

Chair: Nathalie Revol

15:00 - 15:30 Control of an Autonomous Underwater Vehicle under Robustness Constraints (slides)
Juan Luis Rosendo, Dominique Monnet, Benoît Clément, Fabricio Garelli, Irvin Probst, and Jordan Ninin

15:30 - 16:00 Consensus Control: Fundamentals and some Recent Developments
Alexandru Stancu and Zhengtao Ding, presented byEduard Codres

16:00 to 16:30 Coffee and tea break

16:30 - 18:30 Estimation

Chair: Gilles Chabert

16:30 - 17:00 Robust Hybrid State Estimation using Interval Methods (slides)
Moussa Maïga, Nacim Ramdani, and Louise Travé-Massuyès

17:00 - 17:30 An Interval Branch-and-Bound Algorithm for Parameter Estimation (slides)
Bertrand Neveu, Martin de la Gorce, and Gilles Trombettoni

17:30 - 18:00 OMNE is a Maximum Likelihood Estimator (slides)
Jérémy Nicola and Luc Jaulin

18:00 - 18:30 Interval Analysis for the Representation of Phoneme Databases in Speech Recognition Systems: Fundamentals of a Computer-Based Assistance System on Speech Therapy (slides)
Andreas Rauh, Susann Tiede, and Cornelia Klenke

MUSIC: Fête de la Musique - Music Uninterrupted & Songs In the City

09:00 - 10:00 Interval Methods for Dynamical Systems

Chair: Andreas Rauh

09:00 - 09:30 Inner Approximation of a Capture Basin of a Dynamical System (slides)
Thomas Le Mézo, Luc Jaulin, and Benoît Zerr

09:30 - 10:00 Interval Trajectory Tracking with Flatness (slides)
Olivier Mullier and Estelle Courtial

10:00 to 10:30 Coffee and tea break

10:30 - 12:00 Interval Methods for Linear Systems

Chair: Alexandru Stancu

10:30 - 11:00 Exact Solution to a Parametric Linear Programming Problem (slides)
Lubomir Kolev and Iwona Skalna

11:00 - 11:30 An Implementation of a Posteriori Interval Analysis Technique (slides)
Vladimir Glazachev

11:30 - 12:00 A Concoction of Zonotope Abstraction and Constraint Programming for Finding an Invariant (slides)
Bibek Kabi, Éric Goubault, and Sylvie Putot

12:00 - 12:30 Closing

Chair: Luc Jaulin and Nacim Ramdani

12:30 - 14:00 Lunch

14:00 - 15:00 Visit of the MMI