Control of linear discrete-time systems over a finite-time interval