Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction

Yu Wang, Nima Roohi, Matthew West +2

We present a scalable methodology to verify stochastic hybrid systems. Using the Mori-Zwanzig reduction method, we construct a finite state Markov chain reduction of a given stocha…