1. Abate, A., Amin, S., Prandini, M., Lygeros, J., Sastry, S.: Reachability analysis for controlled discrete-time stochastic hybrid systems. In: Hespanha, J., Tiwari A. (eds.) Lecture Notes in Computer Science, vol. 3927, pp. 49–63. Springer, Berlin (2006)
2. Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44, 2724–2734 (2008)
3. Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis. Springer, New York (2006)
4. Bensoussan, A., Lions, J.L.: Applications of Variational Inequalities in Stochastic Control. North-Holland, Amsterdam (1982) (pages are referred to the French edition)
5. Bensoussan, A., Lions, J.L.: Impulse Control and Quasi-Variational Inequalities. Gauthier-Villars, Paris (1984) (pages are referred to the French edition)