Biblio

Found 1 results
Filters: Keyword is reachability analysis  [Clear All Filters]
2006
Abate, A., S. Amin, M. Prandini, J. Lygeros, and S. Sastry, "Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems", Proceedings of the 45th IEEE Conference on Decision and Control, pp. 258-263, Dec, 2006.