Modeling and experimental validation of levitating systems for energy harvesting applications | IEEE Conference Publication | IEEE Xplore