Nonlinear microelectromechanical systems (MEMS) analysis and design via the Lyapunov stability theory | IEEE Conference Publication | IEEE Xplore