Probabilistic Analysis of Dynamic Systems