Initial Propulsion System Study for the Futuristic Hyperloop Transportation System: Design, Modeling, and Hardware in the Loop Verification | IEEE Journals & Magazine | IEEE Xplore