Computational methods for reachability analysis of stochastic hybrid systems (2006)

by X D Koutsoukos, D Riley
Venue:in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science