Publications

Reprint Server

Selected recent publications and some frequently cited older publications

Books

An Introduction to Beam Physics M. Berz, K. Makino, W. Wan, Taylor & Francis, 2014, ISBN 978-0-7503-0263-0
Proceedings, Femtosecond Electron Imaging and Spectroscopy 2013, Key West, Florida
M. Berz, P. Duxbury, K. Makino, C.-Y. Ruan (Eds.), Advances in Imaging and Electron Physics 191, Elsevier, 2015
Special Issue on Taylor Model Methods K. Jackson, M. Neher, M. Berz (Eds.), Communications of the Fields Institute
Proceedings, FFAG 2009 International Conference, Fermilab, Illinois
C. Johnstone, M. Berz, P. Snopok (Eds.), International Journal of Modern Physics A 26,10-11, World Scientific, 2011, DOI 10.1142/S0217751X11053079
Proceedings, p-Adic and Non-Archimedean Analysis 10, East Lansing, Michigan
M. Berz, K. Shamseddine (Eds.), Contemporary Mathematics 508, American Mathematical Society, 2009, ISBN 978-0-8218-4740-4
Proceedings, Fifteenth Int. Workshop on Beam Dynamics and Optimization, St. Petersburg, Florida
D. Ovsyannikov, M. Berz, P. Snopok (Eds.), International Journal of Modern Physics A 24,5, World Scientific, 2009, ISSN 0217-751X
Proceedings, Eighth Int. Conf. on Computational Accelerator Physics, Saint Petersburg, Russia
D. Ovsyannikov, M. Berz, K. Makino (Eds.), Nuclear Instruments and Methods A 558,xvii-xxi, Elsevier, 2006, ISBN 0-168-9002558
Proceedings, Seventh Int. Conf. on Computational Accelerator Physics, East Lansing, Michigan
M. Berz, K. Makino (Eds.), Institute of Physics CS 175, IOP Publishing, 2004, ISBN 0-75-030939-3
Modern Map Methods in Particle Beam Physics M. Berz, Academic Press, 1999, ISBN 0-12-014750-5
Computational Differentiation: Techniques, Applications, and Tools, Proc. AD1996, Santa Fe, New Mexico M. Berz, C. Bischof, A. Griewank, G. Corliss (Eds.), SIAM, 1996, ISBN 0-89871-385-4
Proceedings, Int. Workshop on Nonlinear Effects in Accelerators, Berlin, Germany
M. Berz, S. Martin, K. Ziegler (Eds.), Institute of Physics CS 131, IOP Publishing, 1993, ISBN 0-7503-0238-0

Papers

Validation of Transfer Map Calculation for Electrostatic Deflectors in the Code COSY INFINITY E. Valetov, M. Berz, K. Makino, Int. Journal of Modern Physics A, in print
Phase Measurement for Driven Spin Oscillations in a Storage Ring N. Hempelmann et al. (JEDI Collaboration), Physical Review Accelerators and Beams 21 (2018) 042002. DOI: 10.1103/PhysRevAccelBeams.21.042002
Hybrid Methods for Muon Accelerator Simulations with Ionization Cooling J. Kunz, P. Snopok, M. Berz, K. Makino, Journal of Instrumentation (JINST), 13 (2018) P07026. DOI: 10.1088/1748-0221/13/07/P07026
Spin Tune Mapping as a Novel Tool to Probe the Spin Dynamics in Storage Rings A. Saleev et al. (JEDI Collaboration), Physical Review Accelerators and Beams 20 (2017) 072801. DOI: 10.1103/PhysRevAccelBeams.20.072801
Phase Locking the Spin Precession in a Storage Ring
N. Hempelmann et al. (JEDI Collaboration), Physical Review Letters 119 (2017) 014801. DOI: 10.1103/PhysRevLett.119.014801
Verified Computations Using Taylor Models and Their Applications
K. Makino, M. Berz, Lecture Notes in Computer Science 10381 (2017) 3-13
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models
M. Berz, K. Makino, Lecture Notes in Computer Science 10381 (2017) 90-97
Active Control of Bright Electron Beams with RF Optics for Femtosecond Microscopy J. Williams, F. Zhou, T. Sun, Z. Tao, K. Chang, K. Makino, M. Berz, P. M. Duxbury, C.-Y. Ruan, Structural Dynamics 4 (2017) 044035
BRho-Dependent Taylor Transfer Maps for the Super-FRS Dipole Magnets E. Kazantseva, O. Boine-Frankenheim, H. Weick, J. S. Winfield, M. Berz, R. Jagasia, K. Makino, in: 8th International Particle Accelerator Conference, (2017) 2631
Quasi-Frozen Spin Concept of Deuteron Storage Ring as an Instrument to Search for Electric Dipole Moment Y. Senichev, A. Aksentyev, S. Chekmenev, J. Pretz, S. Andrianov, A. Ivanov, M. Berz, E. Valetov, on behalf of the JEDI Collaboration, in: 8th International Particle Accelerator Conference, (2017) 2275
Spin Dynamics Investigation of Quasi-Frozen Spin Lattice for EDM Searches E. Valetov, Y. Senichev, M. Berz, on behalf of the JEDI Collaboration, in: Proceedings of Spin'16, University of Illinois at Urbana-Champaign, in print
A Storage Ring Experiment to Detect a Proton Electric Dipole Moment V. Anastassopoulos et al., Review of Scientific Instruments 87 (2016) 115116
How to Reach a Thousand-Second In-Plane Polarization Lifetime with 0.97-GeV/c Deuterons in a Storage Ring
G. Guidoboni et al. (JEDI Collaboration), Physical Review Letters 117 (2016) 054801
Hybrid Methods for Simulation of Muon Ionization Cooling Channels J. Kunz, P. Snopok, M. Berz, in: 2016 North American Particle Accelerator Conference (NAPAC16), (2016) 775
Comparison of Tracking Codes for the Determination of Dynamic Aperture in Storage Rings R. Hipple, M. Berz, in: 7th International Particle Accelerator Conference, (2016) 3114
Muon Beam Tracking and Spin-Orbit Correlations for Precision g-2 Measurements D. Tarazona, M. Berz, R. Hipple, K. Makino, M.J. Syphers, in: 7th International Particle Accelerator Conference, (2016) 3397
Hybrid Methods for Simulation of Muon Ionization Cooling Channels J. Kunz, P. Snopok, M. Berz, K. Makino, in: 7th International Particle Accelerator Conference, (2016) 1568
Systematic Errors Investigation in Frozen and Quasi-Frozen Spin Lattices of Deuteron EDM Ring Y. Senichev, B. Lorentz, S. Andrianov, A. Ivanov, S. Chekmenev, J. Pretz, M. Berz, E. Valetov, on behalf of the JEDI Collaboration, in: 7th International Particle Accelerator Conference, (2016) 3394
Computation of Nonlinear Fields and Orbit and Spin Transfer Maps of Electrostatic Elements using Differential Algebras K. Makino, E. Valetov, M. Berz, in: 12th International Computational Accelerator Physics Conference 2015, (2016) 168
Implementation of Benchmarks for Precision Tracking in Storage Rings R. Hipple, M. Berz, in: 12th International Computational Accelerator Physics Conference 2015, (2016) 13
Search for the Optimal Spin Decoherence Effect in a QFS Lattice E. Valetov, M. Berz, Yu. Senichev, on behalf of the JEDI Collaboration, in: 12th International Computational Accelerator Physics Conference 2015, (2016) 172
Hybrid Methods for Muon Accelerator Simulations with Ionization Cooling J. Kunz, P. Snopok, M. Berz, in: 12th International Computational Accelerator Physics Conference 2015, (2016) 66
Investigation of Lattice for Deuteron EDM Ring Y. Senichev, S. Andrianov, A. Ivanov, S. Chekmenev, M. Berz, E. Valetov, on behalf of the JEDI Collaboration, in: 12th International Computational Accelerator Physics Conference 2015, (2016) 17
Ionization Cooling Channels in COSY INFINITY B. Loseth, M. Berz, P. Snopok, in: 6th International Particle Accelerator Conference, (2015) 2652
The Advancement of Cooling Absorbers in COSY INFINITY J. Kunz, P. Snopok, M. Berz, K. Makino, in: 6th International Particle Accelerator Conference, (2015) 2655
Quasi-Frozen Spin Method for EDM Deuteron Search Y. Senichev, A. Lehrach, B. Lorentz, R. Maier, S. Andrianov, A. Ivanov, S. Chekmenev, M. Berz, E. Valetov, on behalf of the JEDI Collaboration and JARA-FAME, in: 6th International Particle Accelerator Conference, (2015) 213
Dynamics in Electrostatic Rings via High-Order Transfer Maps K. Makino, M. Berz, Microscopy and Microanalysis 21 Suppl. 4 (2015) 36
A Comparison of Storage Ring Modeling with COSY INFINITY, ZGOUBI, and MAD8 R. Hipple, M. Berz, Microscopy and Microanalysis 21 Suppl. 4 (2015) 2
The Poincaré Section Method for Accelerator Element Maps R. Jagasia, M. Berz, B. Loseth, Microscopy and Microanalysis 21 Suppl. 4 (2015) 14
Optics of Ionization Cooling Channels Under the Influence of Space Charge B. Loseth, M. Berz, H. Zhang, P. Snopok, J. Kunz, Microscopy and Microanalysis 21 Suppl. 4 (2015) 20
Matter-Dominated Muon Accelerator Lattice Simulation Tools for COSY INFINITY J. Kunz, P. Snopok, M. Berz, K. Makino, Microscopy and Microanalysis 21 Suppl. 4 (2015) 8
The Differential Algebra Based Multiple Level Fast Multipole Algorithm for 3D Space Charge Field Calculation and Photoemission Simulation H. Zhang, J. Portman, Z. Tao, P. Duxbury, C.-Y. Ruan, K. Makino, M. Berz, Microscopy and Microanalysis 21 Suppl. 4 (2015) 224
New Method for a Continuous Determination of the Spin Tune in Storage Rings and Implications for Precision Experiments
D. Eversmann et al. (JEDI Collaboration), Physical Review Letters 115 (2015) 094801
Space Charge Simulations of Photoemission Using the Differential Algebra-based Multiple-Level Fast Multipole Algorithm
H. Zhang, Z. Tao, C.-Y. Ruan, M. Berz, Advances in Imaging and Electron Physics 191 (2015) 56-66
Multiscale Modeling of the Ultrafast Electron Microscope: From the Photocathode to the Sample
J. Portman, H. Zhang, K. Makino, C.-Y. Ruan, M. Berz, P. Duxbury, Advances in Imaging and Electron Physics 191 (2015) 117-130
Propagation of Large Uncertainty Sets in Orbital Dynamics by Automatic Domain Splitting
A. Wittig, P. Di Lizia, R. Armellin, K. Makino, F. Bernelli-Zazzera, M. Berz, Celestial Mechanics and Dynamical Astronomy 122 (2015) 239-261
Untangling the Contributions of Image Charge and Laser Profile for Optimal Photoemission of High-Brightness Electron Beams
J. Portman, H. Zhang, K. Makino, C.-Y. Ruan, M. Berz, P. M. Duxbury, Journal of Applied Physics 116 (2014) 174302
The Perspectives of Femtosecond Imaging and Spectroscopy of Complex Materials using Electrons
C.-Y. Ruan, P. M. Duxbury, M. Berz, Proc. SPIE Ultrafast Nonlinear Imaging and Spectroscopy II 9198 (2014) 91980Q
High Order Optimal Control of Space Trajectories with Uncertain Boundary Conditions P. Di Liziaa, R. Armellina, F. Bernelli-Zazzeraa, M. Berz, Acta Astronautica 93 (2014) 217-229
Space Charge Simulation in COSY using The Fast Multipole Method B. Loseth, M. Berz, K. Makino, H. Zhang, P. Snopok, in: 5th International Particle Accelerator Conference, (2014) 460
The Development of Stochastic Processes in COSY INFINITY J. Kunz, P. Snopok, M. Berz, K. Makino, in: 5th International Particle Accelerator Conference, (2014) 457
Differential Algebraic Techniques M. Berz, Chapter in: "Handbook of Accelerator Physics and Engineering", A. Chao, K. H. Mess, M. Tigner, F. Zimmermann (Eds.), 2013
Differential Algebra based Magnetic Field Computations and Accurate Fringe Field Maps
B. Erdelyi, M. Berz, M. Lindemann, Vestnik Mathematica 10,4 (2015) 36-55
Computational and Experimental Characterization of High-Brightness Beams for Femtosecond Electron Imaging and Spectroscopy
J. Portman, H. Zhang, Z. Tao, K. Makino, M. Berz, P.M. Duxbury, C.-Y. Ruan, Applied Physics Letters 103 (2013) 253115
Efficient Treatment of Space Charge Effects Using DA-based FMM Methods
H. Zhang, M. Berz, Vestnik Mathematica 10,4 (2014) 97-107
Rigorous Global Optimization of System Parameters
K. Makino, M. Berz, Vestnik Mathematica 10,2 (2014) 61-71
Affine Invariant Measures in Levi-Civita Vector Spaces and the Erdös Obtuse Angle Theorem
M. Berz, S. Troncoso, AMS Contemporary Mathematics 596 (2013) 1-21
High Period Fixed Points, Stable and Unstable Manifolds, and Chaos in Accelerator Transfer Maps
A. Wittig, M. Berz, Vestnik Mathematica 10,2 (2014) 93-110
Rigorous High Precision Interval Arithmetic in COSY INFINITY A. Wittig, M. Berz, Proceedings of the Fields Institute, in print
Computer Assisted Proofs of the Existence of High-Period Fixed Points A. Wittig, M. Berz, S. Newhouse, Proceedings of the Fields Institute, in print
Space Charge Simulation in COSY Using Fast Multipole Method B. Loseth, M. Berz, K. Makino, H. Zhang, P. Snopok, in: Particle Accelerator Conference 2013, (2013) 195
Global Optimization of Interplanetary Transfers with Deep Space Maneuvers Using Differential Algebra P. Di Lizia, R. Armellin, F. Topputo, F. Bernelli-Zazzera, M. Berz, Springer Optimization and Its Applications, 73 (2013) 187-213
Space Charge Effects in Ultrafast Electron Diffraction and Imaging
Z. Tao, H. Zhang, P. M. Duxbury, M. Berz, C.-Y. Ruan, Journal of Applied Physics 111 (2012) 044316
Rigorous Global Optimization of Impulsive Planet-to-Planet Transfers in the Patched-Conics Approximation
R. Armellin, P. Di Lizia, K. Makino, M. Berz, Engineering Optimization 44,2 (2012) 133-155
Advanced Computational Methods for Nonlinear Spin Dynamics
M. Berz, K. Makino, IOP Journal of Physics 295 (2011) 012143
High-Order Out-of-Plane Expansion for 3D Fields K. Makino, M. Berz, C. Johnstone, Int. Journal of Modern Physics A 26 (2011) 1807-1821
Isochronous (CW) Non-Scaling FFAGs: Design and Simulation
C. Johnstone, M. Berz, K. Makino, P. Snopok, American Institute of Physics CP 1299 (2011) 682-687
Advances in Nonlinear Non-Scaling FFAGs C. Johnstone, M. Berz, K. Makino, S. Koscielniak, P. Snopok, Int. Journal of Modern Physics A 26 (2011) 1690-1712
High Order Optimal Feedback Control of Lunar Landing and Rendezvous Trajectories P. Di Lizia, R. Armellin, F. Bernelli-Zazzera, M. Berz, in: CEAS 2011 The International Conference of the European Aerospace Societies, (2011)
Optics and Nonlinear Effects in Repetitive Systems
M. Berz, K. Makino, Nuclear Instruments and Methods A645 (2011) 175-181
Optimal Correction and Design Parameter Search by Modern Methods of Rigorous Global Optimization
K. Makino, M. Berz, Nuclear Instruments and Methods A645 (2011) 332-337
The Fast Multipole Method in the Differential Algebra Framework
H. Zhang, M. Berz, Nuclear Instruments and Methods A645 (2011) 338-344
Rigorous and Accurate Enclosure of Invariant Manifolds on Surfaces
A. Wittig, M. Berz, J. Grote, K. Makino, S. Newhouse, Regular and Chaotic Dynamics 15,2-3 (2010) 107-126
Analysis on the Levi-Civita Field, a Brief Overview
K. Shamseddine, M. Berz, Contemporary Mathematics 508 (2010) 215-237
Progress of Dynamical Nanomaterial Imaging Using Ultrashort Electron Pulses
Z. Tao, H. Zhang, R.K. Raman, T.-T. Han, K. Chang, M. Berz, C.-Y. Ruan, Microscopy and Microanalysis, 16,S2 (2010) 498-499
Asteroid Close Encounters Characterization using Diffferential Algebra: the Case of Apophis
R. Armellin, P. Di Lizia, F. Bernelli-Zazzera, M. Berz, Celestial Mechanics and Dynamical Astronomy, 107,4 (2010) 451-470
Computing the Critical Points of the Distance Function Between Two Keplerian Orbits via Rigorous Global Optimization
R. Armellin, P. Di Lizia, M. Berz, K. Makino, Celestial Mechanics and Dynamical Astronomy, 107,3 (2010) 377-395
Nonlinear Mapping of Uncertainties: A Differential Algebra Approach R. Armellin, P. Di Lizia, F. Bernelli-Zazzera, M. Berz, 4th International Conference on Astrodynamics Tools and Techniques (2010)
Gravity Assist Space Pruning Based on Differential Algebra
R. Armellin, P. Di Lizia, F. Topputo, M. Lavagna, F. Bernelli-Zazzera, M. Berz, Celestial Mechanics and Dynamical Astronomy, 106,1 (2010) 1-24
Rigorous Global Search using Taylor Models M. Berz, K. Makino, Symbolic Numeric Computation 2009, (2009) 11-19
Rigorous Integration of Flows and ODEs using Taylor Models K. Makino, M. Berz, Symbolic Numeric Computation 2009, (2009) 79-84
High-Order Description of the Dynamics in FFAGs and Related Accelerators
K. Makino, M. Berz, P. Snopok, C. Johnstone, Int. Journal of Modern Physics A 24,5 (2009) 908-922
Calculation of Nonlinear Tune Shift Using Beam Position Measurement Results
P. Snopok, M. Berz, C. Johnstone, Int. Journal of Modern Physics A 24,5 (2009) 974-986
Taylor Models and Computaions in the Complex Plane
A. Ovsyannikov, M. Berz, Bulletin of St. Petersburg University, 10,4 (2009) 172-185
Field Reconstruction in Large Aperture Quadrupole Magnets
A. Lazzaro, F. Cappuzzello, A. Cunsolo, M. Cavallaro, A. Foti, S. Orrigo, M. Rodrigues, J. Winfield, M. Berz, Nuclear Instruments and Methods A 602 (2009) 494-500
Apophis Encounter 2029: Differential Algebra and Taylor Model Approaches R. Armellin, P. Di Lizia, F. Bernelli-Zazzera, K. Makino, M. Berz, 1st IAA Planetary Defense Conference: Protecting Earth from Asteroids (2009)
Validated Integration in Solar System Dynamics P. Di Lizia, R. Armellin, F. Bernelli-Zazzera, R. Jagasia, K. Makino, M. Berz, 1st IAA Planetary Defense Conference: Protecting Earth from Asteroids (2009)
Computation of High-Order Maps to Multiple Machine Precision
A. Wittig, M. Berz, Int. Journal of Modern Physics A 24,5 (2009) 1019-1039
Evolutionary Algorithm for the Neutrino Factory Front End Design
A. Poklonskiy, D. Neuffer, Int. Journal of Modern Physics A 24,5 (2009) 959-973
Conceptual Design of a Superconducting Quadrupole with Elliptical Acceptance and Tunable Higher Order Multipoles
S. Manikonda, J. Nolen, M. Berz, K. Makino, Int. Journal of Modern Physics A 24,5 (2009) 923-940
Effects of the Wiggler on the Hefei Light Source Storage Ring
H. Zhang, M. Berz, Int. Journal of Modern Physics A 24,5 (2009) 1057-1067
Chaos, The Large Hadron Collider, and Michigan Taffy (Commencement Address Connected to Conferral of Honorary Doctorate)
M. Berz, Saint Petersburg State University Newsletter 8 (3775) (2008) 19-20
On the Estimation of Topological Entropy on Surfaces
S. Newhouse, M. Berz, J. Grote, K. Makino, Contemporary Mathematics 469 (2008) 243-270
Taylor Model-based Enclosure of Invariant Manifolds for Planar Diffeomorphisms and Applications J. Grote, M. Berz, K. Makino, S. Newhouse, Proc. Applied Mathematics and Mechanics 7 (2008) 1022907
Intermediate Value Theorem for Analytic Functions on a Levi-Civita Field K. Shamseddine, M. Berz, Bulletin of the Belgian Mathematical Society 14 (2007) 1001-1015
Long-Term Stability of Large Particle Accelerators M. Berz, K. Makino, Y.-K. Kim, P. Snopok, in: ECMI Newsletter 39 (2007) (A. Frommer, B.Lang, Guest Editors)
Long-Term Stability of the Tevatron by Verified Global Optimization
M. Berz, K. Makino, Y.-K. Kim, Nuclear Instruments and Methods A558 (2006) 1-10
Generalized Power Series on a Non-Archimedean Field
K. Shamseddine, M. Berz, Indagationes Mathematicae 17,3 (2006) 457-477
High-Order DA Methods for the Determination of Poincaré Sections
J. Grote, M. Berz, K. Makino, Nuclear Instruments and Methods A558,1 (2006) 106-111
Staging Acceleration and Cooling in a Neutrino Factory
C. Johnstone, M. Berz, K. Makino, M. Berz, Nuclear Instruments and Methods A558,1 (2006) 282-291
Multipole Expansion Solution of the Laplace Equation using Surface Data
S. Manikonda, M. Berz, Nuclear Instruments and Methods A558,1 (2006) 175-183
Suppression of the Wrapping Effect by Taylor Model-based Verified Integrators: The Single Step K. Makino, M. Berz, International Journal of Pure and Applied Mathematics 36(2) (2006) 175-197
Suppression of the Wrapping Effect by Taylor Model-based Verified Integrators: Long-term Stabilization by Preconditioning K. Makino, M. Berz, International Journal of Differential Equations and Applications 10(4) (2005) 353-384. This paper won the 3rd Moore Prize for Applications of Interval Analysis in 2008.
Suppression of the Wrapping Effect by Taylor Model-based Verified Integrators: Long-term Stabilization by Shrink Wrapping M. Berz, K. Makino, International Journal of Differential Equations and Applications 10(4) (2005) 385-403
Simulation and Optimization of the Tevatron Accelerator P. Snopok, C. Johnstone, M. Berz, in: Lecture Notes on Computational Science and Engineering 50 (2005) 199-209, Springer
Study and Optimal Correction of a Systematic Skew Quadrupole Field in the Tevatron
P. Snopok, C. Johnstone, M. Berz, D. Ovsyannikov, A. Ovsyannikov, Nuclear Instruments and Methods A558 (2005) 142-146
Exploring the bunching section of the Neutrino Factory A.A. Poklonskiy, D.A. Ovsyannikov, A.D. Ovsyannikov, D. Neuffer, M. Berz, in: Proceedings, Physics and Control (2005) 272-277
Optimization of the Buncher and Phase Rotator for a Neutrino Factory A. A. Poklonskiy, D. Neuffer, M. Berz, D. A. Ovsyannikov, A. D. Ovsyannikov in: Proceedings, Stability and Control Processes (2005) 282-291 (D. A. Ovsyannikov, L. A. Petrosyan, Editors)
Performance of Taylor Model Methods for Validated Integration of ODEs
M. Berz, K. Makino, Lecture Notes in Computer Science 3732 (2005) 65-74
Verified Global Optimization with Taylor Model-based Range Bounders
K. Makino, M. Berz, Transactions on Computers 11,4 (2005) 1611-1618
Taylor Models and Floating-Point Arithmetic: Proof that Arithmetic Operations are Validated in COSY N. Revol, K. Makino, M. Berz, Journal of Logic and Algebraic Programming 64 (2005) 135-154 University of Lyon LIP Report RR 2003-11, MSU HEP report 30212
COSY INFINITY Version 9
K. Makino, M. Berz, Nuclear Instruments and Methods A558 (2005) 346-350
Optimizing the Adiabatic Buncher and Phase Rotator
A. Poklonskiy, D. Neuffer, C. Johnstone, M. Berz, K. Makino, D. Ovsyannikov, A. Ovsyannikov, Nuclear Instruments and Methods A558 (2005) 135-141
High-Order Verified Solutions of the 3D Laplace Equation
S. Manikonda, M. Berz, K. Makino, Transactions on Computers 11,4 (2005) 1604-1610
An Accurate High-Order Method to Solve the Helmholtz Boundary Value Problem for the 3D Laplace Equation
S. Manikonda, M. Berz, International Journal of Pure and Applied Mathematics 23,3 (2005) 365-378
Analytical Properties of Power Series on Levi-Civita Fields K. Shamseddine, M. Berz, Annales Mathematiques Blaise Pascal 12 (2005) 309-329
Verified Computation of High-Order Poincaré Maps
J. Grote, K. Makino, M. Berz, Transactions on Systems 11,4 (2005) 1986-1992
High-Order Representation of Poincaré Maps J. Grote, M. Berz, K. Makino, in: Lecture Notes on Computational Science and Engineering 50 (2005) 59-66, Springer
Solenoid Elements in COSY Infinity
K. Makino, M. Berz, Institute of Physics CS 175 (2004) 219-228
High Order Map Treatment of Superimposed Cavities, Absorbers, and Magnetic Multipole and Solenoid Fields
K. Makino, M. Berz, C. J. Johnstone, D. Errede, Nuclear Instruments and Methods A519 (2004) 162-174
The COSY Language Independent Architecture: Porting COSY Source Files
L. M. Chapin, J. Hoefkens, M. Berz, Institute of Physics CS 175 (2004) 37-45
Muon Beam Ionization Cooling in a Linear Quadrupole Channel
C. Johnstone, M. Berz, D. Errede, K. Makino, Nuclear Instruments and Methods A519 (2004) 472-482
Muon Beam Ring Cooler Simulations Using COSY Infinity
C. Maidana, M. Berz, K. Makino, Institute of Physics CS 175 (2004) 211-218
Stochastic Processes in Muon Ionization Cooling
D. Errede, K. Makino, M. Berz, C. Johnstone, A. van Ginneken, Nuclear Instruments and Methods A519 (2004) 466-471
Higher Order Multivariate Automatic Differentiation and Validated Computation of Remainder Bounds M. Berz, K. Makino, Transactions on Mathematics 3(1) (2004) 37-44
COSY Infinity's EXPO Symplectic Tracking for LHC
M. L. Shashikant, M. Berz, B. Erdelyi, Institute of Physics CS 175 (2004) 299-306
Local Theory and Applications of Extended Generating Functions B. Erdelyi, M. Berz, International Journal of Pure and Applied Mathematics 11(3) (2004) 241-282
New Approaches for the Validation of Transfer Maps using Remainder-Enhanced Differential Algebra
M. Berz, K. Makino, Nuclear Instruments and Methods A519 (2004) 53-62
Suppression of the Wrapping Effect by Taylor Model- based Validated Integrators K. Makino, M. Berz, MSU HEP Report 40910 (2003)
Computing Validated Solutions of Implicit Differential Equations J. Hoefkens, M. Berz, K. Makino, Advances in Computational Mathematics 19 (2003) 231-253
Taylor Models and Other Validated Functional Inclusion Methods K. Makino, M. Berz, International Journal of Pure and Applied Mathematics 4(4) (2003) 379-456
Constructive Generation and Verification of Lyapunov Functions around Fixed Points of Nonlinear Dynamical Systems
M. Berz, K. Makino, International Journal of Computer Research 12,2 (2003) 235-244
Recent Progress in Neutrino Factory and Muon Collider Research within the Muon Collaboration
M. Alsharoa et al., Physical Review STAB 6(081001) (2003) 1-52
High-Order Maps with Acceleration for Optimization of Electrostatic and Radio-Frequency Ion-Optical Elements A. Geraci, T. Barlow, M. Portillo, J. Nolen, K. Shepard, K. Makino, M. Berz, Review of Scientific Instruments 73(9) (2002) 3174-3180
Measure Theory and Integration on the Levi-Civita Field
K. Shamseddine, M. Berz, Contemporary Mathematics 319 (2002) 369-387
Cauchy Theory on Levi-Civita Fields
M. Berz, Contemporary Mathematics 319 (2002) 39-52
Intermediate Values and Inverse Functions on Non-Archimedean Fields K. Shamseddine, M. Berz, International Journal of Mathematics and Mathematical Sciences 30(3) (2002) 165-176
Verification of Invertibility of Complicated Functions over Large Domains J. Hoefkens, M. Berz, Reliable Computing 8(1) (2002) 1-16
Verified High-Order Inversion of Functional Dependencies and Interval Newton Methods M. Berz, J. Hoefkens, Reliable Computing 7(5) (2001) 379-398
Verified Integration of Dynamics in the Solar System M. Berz, K. Makino, J. Hoefkens, Nonlinear Analysis 47 (2001) 179-190
Verified High-Order Integration of DAEs and Higher-order ODEs J. Hoefkens, M. Berz, K. Makino, in "Scientific Computing, Validated Numerics and Interval Methods", W. Kraemer, J. W. v. Gudenberg (Eds.) (2001) Kluwer
New Applications of Taylor Model Methods K. Makino, M. Berz, in: "Automatic Differentiation: From Simulation to Optimization", G. Corliss, C. Faure, A. Griewank, L. Hascoet, U. Naumann (Eds.) (2001) Springer
Higher Order Verified Inclusions of Multidimensional Systems by Taylor Models K. Makino, M. Berz, Nonlinear Analysis 47 (2001) 3503-3514
Towards a Universal Data Type for Scientific Computing M. Berz, in: "Automatic Differentiation: From Simulation to Optimization", G. Corliss, C. Faure, A. Griewank, L. Hascoet, U. Naumann (Eds.) (2001) Springer
Efficient High-Order Methods for ODEs and DAEs J. Hoefkens, M. Berz, K. Makino, in: "Automatic Differentiation: From Simulation to Optimization", G. Corliss, C. Faure, A. Griewank, L. Hascoet, U. Naumann (Eds.) (2001) Springer
Optimal Symplectic Approximation of Hamiltonian Flows B. Erdelyi, M. Berz, Physical Review Letters 87(11) (2001) 114302
Towards Accurate Simulation of Fringe Field Effects
M. Berz, B. Erdelyi, K. Makino, Nuclear Instruments and Methods A472(3) (2001) 533-540
The WebCOSY System for Course Management in Distance Education J. Hoefkens, L. Diening, M. Berz, B. Erdelyi, Journal of Computers in Mathematics and Science Teaching 20(3) (2001) 307-321
Distance Education in Beam Physics B. Erdelyi, J. Hoefkens, K. Makino, M. Berz, in: "Towards the Virtual University - International On-Line Learning Perspectives", Mihai Jalobeanu, Nicolae Nistor, Susan English, Steve Wheeler (Eds.) (2001) Information Age Publishing
The Michigan State University M.Sc. and Ph.D. Online Degree Programs in Beam Physics B. Erdelyi, J. Hoefkens, L. Diening, K. Makino, M. Berz, Quarterly Review of Distance Education 1(4) (2000) 345-350
Perturbative Equations of Motion and Differential Operators in Nonplanar Curvilinear Coordinates K. Makino, M. Berz, International Journal of Applied Mathematics 3(4) (2000) 421-440
Preservation of Canonical Structure in Nonplanar Curvilinear Coordinates M. Berz, K. Makino, International Journal of Applied Mathematics 3(4) (2000) 401-419
Analytical and Computational Methods for the Levi-Civita Field
M. Berz, Lecture Notes in Pure and Applied Mathematics 222 (2000) 21-34
Convergence on the Levi-Civita Field and Study of Power Series
K. Shamseddine, M. Berz, Lecture Notes in Pure and Applied Mathematics 222 (2000) 283-299
The Differential Algebraic Structure of the Levi-Civita Field and Applications K. Shamseddine, M. Berz, International Journal of Applied Mathematics 3(4) (2000) 449-464
Non-Archimedean Analysis and Rigorous Computation M. Berz, International Journal of Applied Mathematics 2(5) (2000) 889-930
Fringe Field Effects in Small Rings of Large Acceptance M. Berz, B. Erdelyi, K. Makino, Physical Review STAB 3, 124001 (2000)
Effects of Kinematic Correction on the Dynamics in Muon Rings
K. Makino, M. Berz, American Institute of Physics CP 530 (2000) 217-227
Fringe Field Effects in Muon Rings
M. Berz, K. Makino, B. Erdelyi, American Institute of Physics CP 530 (2000) 38-47
The Influence of Fringe Fields on Particle Dynamics in the Large Hadron Collider
W. Wan, C. Johnstone, J. Holt, M. Berz, K. Makino, M. Lindemann, B. Erdelyi, Nuclear Instruments and Methods A427, 74-78 (1999)
High-Accuracy Field Description of Particle Spectrographs,
R. Degenhardt, M. Berz, Nuclear Instruments and Methods A427, 151-156 (1999)
Differential Algebraic Techniques M. Berz, Chapter in: "Handbook of Accelerator Physics and Engineering", M. Tigner, A.Chao (Eds.) (1999) World Scientific
Differential Algebraic Determination of High-Order Off-Energy Closed Orbits, Chromaticities, and Momentum Compactions
M. Berz, B. Erdelyi, W. Wan, K.-Y. Ng, Nuclear Instruments and Methods A427 (1999) 310-314
COSY Infinity Version 8
K. Makino, M. Berz, Nuclear Instruments and Methods A427 (1999) 338-343
Design of a Fifth-Order Achromat
W. Wan, M. Berz, Nuclear Instruments and Methods A423, 1 (1999) 1-6
Experiences with Interactive Remote Graduate Instruction in Beam Physics
M. Berz, B. Erdelyi, J. Hoefkens, Journal of Interactive Learning Research 10,1 (1999) 49-58
New Methods for High-Dimensional Verified Quadrature M. Berz, K. Makino, Reliable Computing 5 (1999) 13-22
Efficient Control of the Dependency Problem Based on Taylor Model Methods K. Makino, M. Berz, Reliable Computing 5 (1999) 3-12
Verified Integration of ODEs and Flows using Differential Algebraic Methods on High-Order Taylor Models M. Berz, K. Makino, Reliable Computing 4 (1998) 361-369
Computation and Application of Taylor Polynomials with Interval Remainder Bounds M. Berz, G. Hoffstätter, Reliable Computing 4 (1998) 83-97
From Taylor Series to Taylor Models M. Berz, Chapter in: "Nonlinear Problems in Accelerator Physics" (1997) 1-27, American Institute of Physics CP405
Arbitrary Order Maps, Remainder Terms, and Long Term Stability in Particle Accelerators
M. Berz, K. Makino, Proc. SPIE Charged Particle Optics III 3155 (1997) 186-192
Arbitrary Order Aberrations for Elements Characterized by Measured Fields
K. Makino, M. Berz, Proc. SPIE Charged Particle Optics III 3155 (1997) 221-227
Remainder Differential Algebras and their Applications K. Makino, M. Berz, in: "Computational Differentiation: Techniques, Applications, and Tools", M. Berz, C. Bischof, G. Corliss, A. Griewank (Eds.) (1996) 63-75, SIAM
Calculus and Numerics on Levi-Civita Fields M. Berz, in: "Computational Differentiation: Techniques, Applications, and Tools", M. Berz, C. Bischof, G. Corliss, A. Griewank (Eds.) (1996) 19-37, SIAM
Exception Handling in Derivative Computation with Nonarchimedean Calculus K. Shamseddine, M. Berz, in: "Computational Differentiation: Techniques, Applications, and Tools", M. Berz, C. Bischof, G. Corliss, A. Griewank (Eds.) (1996) 37-52, SIAM
Rigorous Lower Bounds on the Survival Time in Particle Accelerators G. Hoffstätter, M. Berz, Particle Accelerators 54 (1996) 193-202
COSY Infinity Version 7
K. Makino, M. Berz, American Institute of Physics CP 391 (1996) 253-258
Symplectic Scaling of Transfer Maps including Fringe Fields
G. Hoffstätter, M. Berz, Physical Review E 54,5 (1996) 5664-5672
Analytical Theory of Arbitrary-Order Achromats
W. Wan, M. Berz, Physical Review E 54,3 (1996) 2870-2883
COSY Infinity and its Applications to Nonlinear Dynamics M. Berz, K. Makino, K. Shamseddine, G. Hoffstätter, W. Wan, in: "Computational Differentiation: Techniques, Applications, and Tools", M. Berz, C. Bischof, G. Corliss, A. Griewank (Eds.) (1996) 363-367, SIAM
Modern Map Methods for Charged Particle Optics
M. Berz, Nuclear Instruments and Methods A363 (1995) 100-104
Exact Bounds on the Long Term Stability of Weakly Nonlinear Systems Applied to the Design of Large Storage Rings M. Berz, G. Hoffstätter, Interval Computations 2 (1994) 68-89
Reconstructive Correction of Aberrations in Nuclear Particle Spectrographs
M. Berz, K. Joh, J. A. Nolen, B. M. Sherrill, A. F. Zeller, Physical Review C 47,2 (1993) 537-544
Differential Algebraic Formulation of Normal Form Theory M. Berz, in "Proc. Nonlinear Effects in Accelerators", M. Berz, S. Martin, K. Ziegler (Eds.) (1992) 77-86, IOP Publishing
High-Order Computation and Normal Form Analysis of Repetitive Systems M. Berz, Chapter in: "Physics of Particle Accelerators", Melvin Month (Ed.) (1992) 456-489, AIP Publishing
Automatic Differentiation as Nonarchimedean Analysis M. Berz, in: "Computer Arithmetic and Enclosure Methods" (1992) 439-450, Elsevier
Design Overview of a Highly Stable Infrared Free Electron Laser at LBL
K.J. Kim, M. Berz, S. Chattopadhyay, C. Kim, J. Edighofer, R. Gough, C. Kim, A.H. Kung, W. Stein, M. Xie, Nuclear Instruments and Methods A304 (1991) 233-237
Algorithms for Higher Order Automatic Differentiation in Many Variables with Applications to Beam Physics M. Berz, in: "Automatic Differentiation of Algorithms: Theory, Implementation and Application" (1991) SIAM
Symplectic Tracking in Circular Accelerators with High Order Maps M. Berz, in: "Nonlinear Problems in Future Particle Accelerators" (1991) 288-296, World Scientific
Isochronous Beamlines for Free Electron Lasers
M. Berz, Nuclear Instruments and Methods A298 (1990) 106-112
Arbitrary Order Description of Arbitrary Particle Optical Systems
M. Berz, Nuclear Instruments and Methods A298 (1990) 426-440
Computational Aspects of Optics Design and Simulation: COSY INFINITY
M. Berz, Nuclear Instruments and Methods A298 (1990) 473-479
The Computation of the Aberrations of Fringing Fields of Magnetic Multipoles and Sector Magnets Using Differential Algebra
B. Hartmann, M. Berz, H. Wollnik, Nuclear Instruments and Methods A297 (1990) 343-353
Differential Algebraic Description of Beam Dynamics to Very High Orders M. Berz, Particle Accelerators 24 (1989) 109-124
Simulation of Intense Particle Beams with Regularly Distributed Gaussian Subbeams
M. Berz, H. Wollnik, Nuclear Instruments and Methods A267 (1988) 25-34
The Method of Power Series Tracking for the Mathematical Description of Beam Dynamics
M. Berz, Nuclear Instruments and Methods A258 (1987) 431-436
The Program HAMILTON for the Analytic Solution of the Equations of Motion in Particle Optical Systems through Fifth Order
M. Berz, H. Wollnik, Nuclear Instruments and Methods A258 (1987) 364-373
COSY 5.0 - The Fifth Order Code for Corpuscular Optical Systems
M. Berz, H. C. Hoffmann, H. Wollnik, Nuclear Instruments and Methods A258 (1987) 402-406
Relations between Elements of Transfer Matrices due to the Condition of Symplecticity
H. Wollnik, M. Berz, Nuclear Instruments and Methods A238 (1985) 127-140

Theses

Field Modeling, Symplectic Tracking, and Spin Decoherence for EDM and Muon G-2 Lattices E. Valetov (2017)
Applications of the DA based Normal Form Algorithm on Parameter-Dependent Perturbations A. Weisskopf (2016) (Master's Thesis)
The Fast Multipole Method in the Differential Algebra Framework for the Calculation of 3D Space Charge Fields H. Zhang (2013)
Rigorous High-Precision Enclosures of Fixed Points and Their Invariant Manifolds A. Wittig (2011)
Evolutionary Optimization Methods for Accelerator Design A. Poklonskiy (2009)
High-Order Computer-Assisted Estimates of Topological Entropy J. Grote (2008)
Damping Higher Order Modes in the PEP-II B-Factory Storage Ring Collider S. Weathersby (2007)
Optimization of Accelerator Parameters using Normal Form Methods on Higher-Order Transfer Maps P. Snopok (2007)
High Order Finite Element Methods to Compute Taylor Transfer Maps S. L. Manikonda (2006)
A Timeline of Major Particle Accelerators A. R. Steere (2005) (Master's Thesis)
Development of a HPGe Detector for the Longitudinal Emittance Measurement R. Taki (2003) (Master's Thesis)
Rigorous Numerical Analysis with High-Order Taylor Models J. Hoefkens (2001)
Symplectic Approximation of Hamiltonian Flows and Accurate Simulation of Fringe Field Effects B. Erdelyi (2001)
New Elements of Analysis on the Levi-Civita Field K. Shamseddine (1999)
Rigorous Analysis of Nonlinear Motion in Particle Accelerators K. Makino (1998)
Rigorous Field Analysis of Superconducting Magnets and the Influence on Nonlinear Dynamics in Particle Accelerators M. Lindemann (1998) (Master's Thesis)
Theory and Applications of Arbitrary-Order Achromats W. Wan (1995)
Rigorous Bounds on Survival Times in Circular Accelerators and Efficient Computation of Fringe-Field Transfer Maps G. H. Hoffstätter (1994)

Other

Derivation of Analytic Formulas for Electrostatic Deflector Aberrations, and Comparison with the Code COSY INFINITY
E. Valetov, M. Berz, MSUHEP-180212, Michigan State University (2018)
Direct Calculation of the Transfer Map of Electrostatic Deflectors, and Comparison with the Codes COSY INFINITY and GIOS
E. Valetov, M. Berz, K. Makino, MSUHEP-171023, Michigan State University (2017)
The COSY INFINITY Graphical User Interface Subsystem
A. Wittig, M. Berz, K. Makino, MSUHEP-111101, Michigan State University (2011)
Survey of FORTRAN Compiler Options and Their Impact on COSY INFINITY
R. Jagasia, A. Wittig, MSUHEP-090422, Michigan State University (2009)
Design and Implementation of a High Precision Arithmetic with Rigorous Error Bounds
A. Wittig, M. Berz, MSUHEP-081126, Michigan State University (2008)
Taylor Model Methods and Computer Assisted Proofs
M. Berz, K. Makino, Lecture Notes, Course Presented at Department of Mathematics, University of Barcelona, June 2008, MSUHEP-080609, Michigan State University (2008)
Studies on Performance of the COSY Infinity Optimizers on Constraint Satisfaction
A. Poklonskiy, MSUHEP-083117, Michigan State University (2008)
The COSY 8th Order Runge Kutta Integrator
K. Makino, MUC-NOTE-COOL_THEORY-238 (2002)
Detailed Analysis of Fringe Field Effects in the Large Hadron Collider
B. Erdelyi, M. Berz, K. Makino, MSUCL-1129, Michigan State University (1999).
Differential Algebra-based Magnetic Field Computations and Accurate Fringe Field Maps B. Erdelyi, M. Berz, M. Lindemann
Analysis on a Nonarchimedean Extension of the Real Numbers
M. Berz, Lecture Notes, 1992 and 1995 Mathematics Summer Graduate Schools of the German National Merit Foundation, MSUCL-933, Department of Physics and Astronomy, Michigan State University (1994)
Analysis auf einer Nichtarchimedischen Erweiterung der Reellen Zahlen
M. Berz, Monograph, in German MSUCL-753, Department of Physics and Astronomy, Michigan State University (1990)
Introduction to Beam Physics M. Berz, Lecture Notes, MSUPA PHY861

COSY Infinity

In addition to these publications you can access the COSY Infinity Reference Manual online.

This page is maintained by Kyoko Makino. Please contact her if there are any problems with it.