Optics studies for the CERN Proton Synchrotron: linear and nonlinear modeling using beam based measurements | IEEE Conference Publication | IEEE Xplore