A Formal Mathematical Framework for Modeling Probabilistic Hybrid