Mathematical Models for the Control Program of the SLAC Linear Collider | IEEE Journals & Magazine | IEEE Xplore