Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach

Majid Zamani, Alessandro Abate, Antoine Girard

Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a f…