Beam-profile instrumentation for beam-halo measurement: overall description and operation | IEEE Conference Publication | IEEE Xplore