State Transition Probability Function