Jörg Raisch, Eberhard Klein, Siu O Young, Christian Meder, Alexander Itigin. Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control. 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 279-303, Springer, 1997. [doi]
Abstract is missing.