Alongkrit Chutinan, Bruce H. Krogh. Computing Approximating Automata for a Class of Linear Hybrid Systems. In Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry, editors, Hybrid Systems V. Volume 1567 of Lecture Notes in Computer Science, pages 16-37, Springer, 1997. [doi]
Abstract is missing.