Modelling and Control of the HL-LHC Nested Magnet Circuits at CERN | IEEE Conference Publication | IEEE Xplore