Reduced-order observers for nonlinear systems via contraction analysis and convex optimization | IEEE Conference Publication | IEEE Xplore