Finite dimensional backstepping controller design