John F. Kolen, Feng Zhao. A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems IV. Volume 1273 of Lecture Notes in Computer Science, pages 215-227, Springer, 1996.
Abstract is missing.