Modelling and control of the HL-LHC nested circuits at CERN