Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems

Spandan Das, Pavithra Prabhakar

In this paper, we consider the problem of probabilistic stability analysis of a subclass of Stochastic Hybrid Systems, namely, Polyhedral Probabilistic Hybrid Systems (PPHS), where…