Lyapunov-based nonlinear observer, design for stochastic systems