Nonlinear Model Predictive Control for the Superfluid Helium Cryogenic Circuit of the Large Hadron Collider | IEEE Conference Publication | IEEE Xplore