Force formulation of tubular linear machines with dual Halbach array | IEEE Conference Publication | IEEE Xplore