Taylor Model Methods VII

December 14 — 17, 2011 in Key West, Florida


Wednesday, December 14

morning Conference Registration
10:30am High Precision TM mini work group meeting
Chair: Makino
1:00pm - 1:15pm Welcome Remarks
1:15pm - 1:45pm Martin Berz, MSU An Introduction to Taylor Model Methods and Tools Slides Abstract
1:45pm - 2:15pm Markus Neher, KIT Interval Methods and Taylor Model Methods for ODEs Slides Abstract
2:15pm - 2:45pm Nathalie Revol, INRIA-LIP Formal Proof of Polynomial Models Slides Abstract
2:45pm - 3:15pm Alessandro Morselli, Politecnico di Milano Collision Risk Assessment for Perturbed Orbits via Validated Global Optimization Slides Abstract
3:15pm - 3:30pm Alexander Wittig, MSU Rigorous Fixed Point Enclosures and an Application to Beam Transfer Maps Slides Abstract
4:00pm High precision Beam Physics mini work group meeting

Thursday, December 15

Chair: Berz
9:00am - 9:30am Kyoko Makino, MSU Taylor Model-based Verified Integrators Slides Abstract
9:30am - 10:00am Tomas Dzetkulic, Czech Academy of Sciences Rigorous Integration of Non-Linear Ordinary Differential Equations in Chebyshev Basis Slides Abstract
10:00am - 10:15am Ben Loseth, MSU Heuristic Cross-Checks of Taylor Model Verified Integrators Slides Abstract
10:15am - 10:30am Markus Neher, KIT On Validated Exponential Integrators Slides Abstract
10:30am - 11:00am Mid-Morning Break (coffee)
11:00am - 11:30m Monica Gamba, Politecnico di Milano An Algorithm for the Study of the Parameter Dependence for PDEs Slides Abstract
11:30am - noon Ravi Jagasia, MSU Map Making: Cartography In Beam Physics Slides Abstract
noon - 3pm Lunch
2pm - 3pm High Precision TM mini work group meeting
Chair: Neher
3:00pm - 3:30pm Yosef Yomdin, Weizmann Institute of Science Limit Cycles of Planar Vector-Fields and Analytic Continuation of Taylor Series Slides Abstract
3:30pm - 4:00pm Alexander Wittig, MSU High-Order Taylor Model Enclosures of Invariant Manifolds of ODEs Slides Abstract
4:00pm - 4:30pm Gianni Arioli, Politecnico di Milano Examples of Taylor Methods for Computer Assisted Proofs Slides Abstract
4:30pm - 5:00pm Sheldon Newhouse, MSU Chaos in the Lorenz System for Many Parameters Slides Abstract
5:00pm - 5:15pm Break
5:15pm - 5:45pm Nathalie Revol, INRIA-LIP Current Status of the Work of the IEEE 1788 Working Group Slides Abstract

Friday, December 16

Chair: Newhouse
8:00am High precision Beam Physics mini work group meeting
9:00am - 9:30am Monica Valli, Politecnico di Milano Uncertainty Propagation and Nonlinear Filtering for Space Navigation using Differential Algebra Slides Abstract
9:30am - 10:00am Roberto Armellin, Politecnico di Milano High-order Uncertainty Management in Preliminary Orbit Determination Slides Abstract
10:00am - 10:30am Pierluigi Di Lizia, Politecnico di Milano High-Order Optimal Station Keeping of Geostationary Satellites Slides Abstract
10:30am - 11:00am He Zhang, MSU The Multiple Level Fast Multipole Algorithm in the Differential Algebra Framework for Space Charge Field Calculation Slides Abstract
1:00pm - 4:00pm Glass Bottom Boat Tour to Tropical Reef

Saturday, December 17

Chair: D. Ovsyannikov
9:00am - 9:30am Bernd Lorentz, FZ Jülich Spin Tracking for Polarized Beam Experiments at the Jülich Cooler Synchrotron COSY Slides Abstract
9:30am - 10:00am Denis Zyuzin, FZ Jülich Status of Study of Spin Dynamics in Electrostatic Rings to Search Electric Dipole Moment Slides Abstract
10:00am - 10:30am Pavel Snopok, IIT Consistent Beam Phase Space Measure for Matter-Dominated Lattices Slides Abstract
10:30am - 11:00am Mid-Morning Break (coffee)
11:00am - 11:30am Alexander Ovsyannikov, SPbSU RMS-Parameters and their Optimization Slides Abstract
11:30am - noon Bela Erdelyi, NIU Self-Consistent Transfer Maps for High Intensity Beams Slides Abstract
noon - 2:00pm Lunch
Chair: Lorentz
2:00pm - 2:30pm Dmitri Ovsyannikov, SPbSU On Determining of Dynamical System Velocity Field Slides Abstract
2:30pm - 3:00pm Shashikant Manikonda, ANL A New DA and TM Based Approach to Design Air-Core Magnets Slides Abstract
3:15pm High precision Beam Physics mini work group meeting