Biblio

Found 5 results
Filters: Author is John Lygeros  [Clear All Filters]
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.
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.
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, 9th International Workshop, {HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 49–63, 2006.