Modeling and simulation for dynamic system of electromagnetic aircraft launch | IEEE Conference Publication | IEEE Xplore