Analysis And Modeling Of The Eds Maglev System Based On The Halbach Permanent Magnet Array