Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems

TitleReachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems
Publication TypeConference Papers
Year of Publication2006
AuthorsAmin, S., A. Abate, M. Prandini, J. Lygeros, and S. Sastry
Conference NameHybrid Systems: Computation and Control, 9th International Workshop, {HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Pagination49–63
URLhttp://dx.doi.org.ezproxy.canberra.edu.au/10.1007/11730637_7
DOI10.1007/11730637_7