Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control. - Jörg Raisch; Eberhard Klein; Siu O'Young; Christian Meder; Alexander Itigin (Hybrid Systems, 1997)