Biblio

Found 2 results
Filters: Author is Lygeros, John  [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.
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.