Discrete feedback stabilization of semilinear control systems Lars Grüne — 1996 ESAIM: Control, Optimisation and Calculus of Variations