semi Markov jump systems, stochastic nonlinear systems, distribution function, Lyapunov like functions