Analysis of Non-Linear Probabilistic Hybrid Systems

Joseph Assouramou, Josée Desharnais

This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic pro…