Anfonwch hwn fel neges destun: Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems