Design Criterion and Analysis of Hybrid-Excited Vernier Reluctance Linear Machine With Slot Halbach PM Arrays | Synapse