Symbolic Control of Stochastic Switched Systems via Finite Abstractions

Majid Zamani, Alessandro Abate. Symbolic Control of Stochastic Switched Systems via Finite Abstractions. In Kaustubh R. Joshi, Markus Siegle, Mariƫlle Stoelinga, Pedro R. D'Argenio, editors, Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Volume 8054 of Lecture Notes in Computer Science, pages 305-321, Springer, 2013. [doi]

Authors

Majid Zamani

This author has not been identified. Look up 'Majid Zamani' in Google

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google