Trade-off modeling of superconducting levitation machines: theory and experiment | Publicación