Non-linear moving horizon state estimation and control for the superfluid helium cryogenic circuit at the large Hadron Collider | Publicación