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