Reachability Analysis for Discrete Time Stochastic Hybrid Systems
Saurabh Amin and Alessandro Abate and Maria Prandini and John Lygeros and Shankar Sastry
EECS Department, University of California, Berkeley
Technical Report No. UCB/ERL M05/34
, 2005
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2005/ERL-05-34.pdf
BibTeX citation:
@techreport{Amin:M05/34, Author= {Amin, Saurabh and Abate, Alessandro and Prandini, Maria and Lygeros, John and Sastry, Shankar}, Title= {Reachability Analysis for Discrete Time Stochastic Hybrid Systems}, Year= {2005}, Month= {Nov}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2005/28951.html}, Number= {UCB/ERL M05/34}, }
EndNote citation:
%0 Report %A Amin, Saurabh %A Abate, Alessandro %A Prandini, Maria %A Lygeros, John %A Sastry, Shankar %T Reachability Analysis for Discrete Time Stochastic Hybrid Systems %I EECS Department, University of California, Berkeley %D 2005 %@ UCB/ERL M05/34 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2005/28951.html %F Amin:M05/34