Biblio

Found 7 results
Filters: Author is A. Abate  [Clear All Filters]
2007
Abate, A., S. Amin, M. Prandini, J. Lygeros, and S. Sastry, "Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems", Hybrid Systems: Computation and Control, Berlin, Heidelberg, Springer Berlin Heidelberg, 2007.
Abate, A., S. Amin, M. Prandini, J. Lygeros, and S. Sastry, "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.
Abate, A., S. Amin, M. Prandini, J. Lygeros, and S. Sastry, "Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems", Proceedings of the 10th international conference on Hybrid systems: computation and control, 2007.
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.
Amin, S., A. Abate, M. Prandini, J. Lygeros, and S. Sastry, "Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems", HSCC, vol. 3927: Springer, 2006.
Amin, S., A. Abate, M. Prandini, J. Lygeros, and S. Sastry, "Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems", Hybrid Systems: Computation and Control, Berlin, Heidelberg, Springer Berlin Heidelberg, 2006.
Amin, S., A. Abate, M. Prandini, J. Lygeros, and S. Sastry, "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.