Mathematical model for the design of linear asynchronous electric motors and its software implementation | Synapse