Modeling air-core permanent-magnet linear generators in free-rotating devices | IEEE Conference Publication | IEEE Xplore