Dynamic Performance of Tubular Linear Actuator With Halbach Array and Mechanical Spring Driven by PWM Inverter | IEEE Journals & Magazine | IEEE Xplore