Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach
arXiv (2014) - Comments
arxiv: 1407.2730  issn: 2331-8422 

Majid Zamani, Alessandro Abate, Antoine Girard