Leram - Discrete-Time Stochastic Sliding Mode Control Using Functional Observation