Comparison of Linear Switched Reluctance Machines for Vertical Propulsion Application: Analysis, Design and Experimental Correlation | IEEE Conference Publication | IEEE Xplore