Model validation and set membership state estimation for continuous-time nonlinear systems: Contraction metric approach | IEEE Conference Publication | IEEE Xplore