Pulse-actuated micromechanical resonator using digital Kalman observer | IEEE Conference Publication | IEEE Xplore