Title | Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems |
Publication Type | Conference Papers |
Year of Publication | 2006 |
Authors | Amin, S., A. Abate, M. Prandini, J. Lygeros, and S. Sastry |
Conference Name | Hybrid Systems: Computation and Control, 9th International Workshop, {HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings |
Pagination | 49–63 |
URL | http://dx.doi.org.ezproxy.canberra.edu.au/10.1007/11730637_7 |
DOI | 10.1007/11730637_7 |