Stability Checking of Markov Jump Linear Systems via Probabilistic Temporal Logic (Extended Version)

Lena Becker, Holger Hermanns

Markov jump linear systems (MJLSs) model dynamical phenomena subject to random switching among multiple linear modes, driven by an underlying Markov chain. Classical notions such a…