Semi-analytical modeling and dynamic improvement of a high-speed on/off valve considering nonlinear flux leakage of working air gaps | Synapse