Passive diamagnetic levitation: theoretical foundations and application to the design of a micro-nano force sensor | IEEE Conference Publication | IEEE Xplore