Vitalsource Technologies, Inc. Analysis and Mathematical Models of Canned Electrical Machine Drives: In Particular a Canned Switched Reluctance Machine