Biblio
Found 7 results
Filters: Author is A. Abate [Clear All Filters]
"Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems",
Hybrid Systems: Computation and Control, Berlin, Heidelberg, Springer Berlin Heidelberg, 2007.
"Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems",
Hybrid Systems: Computation and Control, 10th International Workshop, {HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 4–17, 2007.
"Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems",
Proceedings of the 10th international conference on Hybrid systems: computation and control, 2007.
"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.
"Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems",
HSCC, vol. 3927: Springer, 2006.
"Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems",
Hybrid Systems: Computation and Control, Berlin, Heidelberg, Springer Berlin Heidelberg, 2006.
"Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems",
Hybrid Systems: Computation and Control, 9th International Workshop, {HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 49–63, 2006.