Verification of Switched Stochastic Systems via Barrier Certificates

Mahathi Anand, Pushpak Jagtap, Majid Zamani

The paper presents a methodology for temporal logic verification of continuous-time switched stochastic systems. Our goal is to find the lower bound on the probability that a compl…