Dynamical Modeling of Passively Levitated Electrodynamic Thrust Self-Bearing Machines | IEEE Journals & Magazine | IEEE Xplore